Issues

Issues

• UTBotCpp Project Status ?

  UnitTestBot/UTBotCpp#694 · opened on Oct 13, 2026

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

  UnitTestBot/UTBotCpp#693 · opened on May 20, 2026

• ERR| Resource directory doesn't exist

  UnitTestBot/UTBotCpp#692 · opened on Apr 10, 2025

• Not able to setup the configuration in WSL2 Ubuntu 24

  UnitTestBot/UTBotCpp#690 · opened on Dec 3, 2024

• VSCode plugin cannot find gRPC server on Ubuntu 24.04

  UnitTestBot/UTBotCpp#689 · opened on Aug 29, 2024

• Ubuntu VM crash

  UnitTestBot/UTBotCpp#687 · opened on Jul 17, 2024
  9

• Segmentation fault on a simple program

  UnitTestBot/UTBotCpp#686 · opened on Jul 13, 2024

• Add support for extern which not in target

  UnitTestBot/UTBotCpp#684 · opened on Jun 11, 2024

• Generate for project generate not generate tests for some files

  UnitTestBot/UTBotCpp#680 · opened on Jun 4, 2024

• Change solver to bitwuzla

  UnitTestBot/UTBotCpp#674 · opened on Mar 22, 2024

• test run error Ubuntu 22.04

  UnitTestBot/UTBotCpp#670 · opened on Mar 1, 2024

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

  UnitTestBot/UTBotCpp#669 · opened on Feb 13, 2024

• Support external CPP variables

  UnitTestBot/UTBotCpp#659 · opened on Nov 30, 2023

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

  UnitTestBot/UTBotCpp#657 · opened on Nov 27, 2023

• Only one test generates for function

  UnitTestBot/UTBotCpp#637 · opened on Sep 11, 2023
  1

• Cannot compile klee file if typename equals variable name

  UnitTestBot/UTBotCpp#631 · opened on Aug 31, 2023

• Nested structs as function parameters are not supported

  UnitTestBot/UTBotCpp#630 · opened on Aug 31, 2023

• Conflicting definition of types for curl project

  UnitTestBot/UTBotCpp#629 · opened on Aug 31, 2023

• Generated tests for files with extern variables cannot be executed

  UnitTestBot/UTBotCpp#610 · 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

  UnitTestBot/UTBotCpp#596 · opened on Jun 1, 2023

• UTBot may break 'clients.json'

  UnitTestBot/UTBotCpp#595 · opened on Apr 17, 2023

• Incorrect pointer to function parameter in wrappers

  UnitTestBot/UTBotCpp#588 · opened on Feb 20, 2023

• incorrect namespace of global variable type

  UnitTestBot/UTBotCpp#587 · opened on Feb 20, 2023

• Flaky Syntax_Test.sort_array

  UnitTestBot/UTBotCpp#584 · opened on Feb 9, 2023

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

  UnitTestBot/UTBotCpp#582 · opened on Feb 3, 2023