Search results

Not able to setup the configuration in WSL2 Ubuntu 24

bugSomething isn't workingSomething isn't working

Status: Open.

#690 In UnitTestBot/UTBotCpp;

· javierMolinero opened on Dec 3, 2024

VSCode plugin cannot find gRPC server on Ubuntu 24.04

bugSomething isn't workingSomething isn't working

Status: Open.

#689 In UnitTestBot/UTBotCpp;

· zacharytomlinson opened on Aug 29, 2024

Ubuntu VM crash

bugSomething isn't workingSomething isn't working

Status: Open.

#687 In UnitTestBot/UTBotCpp;

· Giancarlo1991 opened on Jul 17, 2024

Segmentation fault on a simple program

bugSomething isn't workingSomething isn't working

Status: Open.

#686 In UnitTestBot/UTBotCpp;

· ganli2015 opened on Jul 13, 2024

Generate for project generate not generate tests for some files

bugSomething isn't workingSomething isn't working

Status: Open.

#680 In UnitTestBot/UTBotCpp;

· ladisgin opened on Jun 4, 2024

test run error Ubuntu 22.04

bugSomething isn't workingSomething isn't working

customerIssues from customersIssues from customers

Status: Open.

#670 In UnitTestBot/UTBotCpp;

· ladisgin opened on Mar 1, 2024

Receive error "RESOURCE_EXHAUSTED: Received message larger than max (5124057 vs. 4194304)"

bugSomething isn't workingSomething isn't working

Status: Open.

#657 In UnitTestBot/UTBotCpp;

· bstee615 opened on Nov 27, 2023

Only one test generates for function

bugSomething isn't workingSomething isn't working

Status: Open.

#637 In UnitTestBot/UTBotCpp;

· ladisgin opened on Sep 11, 2023

Cannot compile klee file if typename equals variable name

bugSomething isn't workingSomething isn't working

Status: Open.

#631 In UnitTestBot/UTBotCpp;

· IDKWNTCMF opened on Aug 31, 2023

Nested structs as function parameters are not supported

bugSomething isn't workingSomething isn't working

Status: Open.

#630 In UnitTestBot/UTBotCpp;

· IDKWNTCMF opened on Aug 31, 2023

Conflicting definition of types for <code>curl</code> project

bugSomething isn't workingSomething isn't working

Status: Open.

#629 In UnitTestBot/UTBotCpp;

· IDKWNTCMF opened on Aug 31, 2023

Generated tests for files with extern variables cannot be executed

bugSomething isn't workingSomething isn't working

Status: Open.

#610 In UnitTestBot/UTBotCpp;

· IDKWNTCMF opened on Jul 31, 2023