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