-
Notifications
You must be signed in to change notification settings - Fork 30
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Shared library libz3.so.4.8 could not be opened
bugSomething isn't workingSomething isn't workingStatus: Open.#693 In UnitTestBot/UTBotCpp;- Status: Open.#692 In UnitTestBot/UTBotCpp;
Not able to setup the configuration in WSL2 Ubuntu 24
bugSomething isn't workingSomething isn't workingStatus: Open.#690 In UnitTestBot/UTBotCpp;VSCode plugin cannot find gRPC server on Ubuntu 24.04
bugSomething isn't workingSomething isn't workingStatus: Open.#689 In UnitTestBot/UTBotCpp;Ubuntu VM crash
bugSomething isn't workingSomething isn't workingStatus: Open.#687 In UnitTestBot/UTBotCpp;Segmentation fault on a simple program
bugSomething isn't workingSomething isn't workingStatus: Open.#686 In UnitTestBot/UTBotCpp;Add support for extern which not in target
enhancementNew feature or requestNew feature or requestStatus: Open.#684 In UnitTestBot/UTBotCpp;Generate for project generate not generate tests for some files
bugSomething isn't workingSomething isn't workingStatus: Open.#680 In UnitTestBot/UTBotCpp;Change solver to bitwuzla
enhancementNew feature or requestNew feature or requestStatus: Open.#674 In UnitTestBot/UTBotCpp;test run error Ubuntu 22.04
bugSomething isn't workingSomething isn't workingcustomerIssues from customersIssues from customersStatus: Open.#670 In UnitTestBot/UTBotCpp;Add the ability to run the initiation function before generating the test
enhancementNew feature or requestNew feature or requestStatus: Open.#669 In UnitTestBot/UTBotCpp;Support external CPP variables
enhancementNew feature or requestNew feature or requestStatus: Open.#659 In UnitTestBot/UTBotCpp;