search

UnitTestBot / UTBotCpp

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Apache License 2.0
158 stars 27 forks source link

Change KLEE runtime build type #665

Closed ladisgin closed 11 months ago

ladisgin commented 11 months ago

fixes #338