Issues

• Shared library libz3.so.4.8 could not be opened

  bug
  UnitTestBot/UTBotCpp#693 · Filter by author stbornowski opened on May 20, 2026

• ERR| Resource directory doesn't exist

  UnitTestBot/UTBotCpp#692 · Filter by author wdfk-prog opened on Apr 10, 2025

• Not able to setup the configuration in WSL2 Ubuntu 24

  bug
  UnitTestBot/UTBotCpp#690 · Filter by author javierMolinero opened on Dec 3, 2024

• VSCode plugin cannot find gRPC server on Ubuntu 24.04

  bug
  UnitTestBot/UTBotCpp#689 · Filter by author zacharytomlinson opened on Aug 29, 2024

• Ubuntu VM crash

  bug
  UnitTestBot/UTBotCpp#687 · Filter by author Giancarlo1991 opened on Jul 17, 2024
  9

• Segmentation fault on a simple program

  bug
  UnitTestBot/UTBotCpp#686 · Filter by author ganli2015 opened on Jul 13, 2024

• Add support for extern which not in target

  enhancement
  UnitTestBot/UTBotCpp#684 · Filter by author ladisgin opened on Jun 11, 2024
  

• Generate for project generate not generate tests for some files

  bug
  UnitTestBot/UTBotCpp#680 · Filter by author ladisgin opened on Jun 4, 2024
  

• Change solver to bitwuzla

  enhancement
  UnitTestBot/UTBotCpp#674 · Filter by author ladisgin opened on Mar 22, 2024
  

• test run error Ubuntu 22.04

  bugcustomer
  UnitTestBot/UTBotCpp#670 · Filter by author ladisgin opened on Mar 1, 2024
  

• Add the ability to run the initiation function before generating the test

  enhancement
  UnitTestBot/UTBotCpp#669 · Filter by author ladisgin opened on Feb 13, 2024
  

• Support external CPP variables

  enhancement
  UnitTestBot/UTBotCpp#659 · Filter by author ladisgin opened on Nov 30, 2023
  

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

  bug
  UnitTestBot/UTBotCpp#657 · Filter by author bstee615 opened on Nov 27, 2023

• Only one test generates for function

  bug
  UnitTestBot/UTBotCpp#637 · Filter by author ladisgin opened on Sep 11, 2023
  1

  

• Cannot compile klee file if typename equals variable name

  bug
  UnitTestBot/UTBotCpp#631 · Filter by author IDKWNTCMF opened on Aug 31, 2023

• Nested structs as function parameters are not supported

  bug
  UnitTestBot/UTBotCpp#630 · Filter by author IDKWNTCMF opened on Aug 31, 2023

• Conflicting definition of types for curl project

  bug
  UnitTestBot/UTBotCpp#629 · Filter by author IDKWNTCMF opened on Aug 31, 2023

• Generated tests for files with extern variables cannot be executed

  bug
  UnitTestBot/UTBotCpp#610 · Filter by author IDKWNTCMF opened on Jul 31, 2023

• Plugin 'UTBotCppClion' (version '2022.12.0') is not compatible with the current version of the IDE, because it requires build 222.* or older but the current build is CL-231.9011.31

  bug
  UnitTestBot/UTBotCpp#596 · Filter by author jlzayas opened on Jun 1, 2023

• UTBot may break 'clients.json'

  bug
  UnitTestBot/UTBotCpp#595 · Filter by author ladisgin opened on Apr 17, 2023

• Incorrect pointer to function parameter in wrappers

  bug
  UnitTestBot/UTBotCpp#588 · Filter by author ladisgin opened on Feb 20, 2023

• incorrect namespace of global variable type

  bug
  UnitTestBot/UTBotCpp#587 · Filter by author ladisgin opened on Feb 20, 2023

• Flaky Syntax_Test.sort_array

  bugCI
  UnitTestBot/UTBotCpp#584 · Filter by author ladisgin opened on Feb 9, 2023

• Error: Render frame was disposed before WebFrameMain could be accessed

  bugCI
  UnitTestBot/UTBotCpp#582 · Filter by author ladisgin opened on Feb 3, 2023

• Flaky Server_Test.Datacom_Test

  bugCI
  UnitTestBot/UTBotCpp#581 · Filter by author ladisgin opened on Feb 3, 2023