Compile error file for KLEE

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

140 stars 26 forks source link

Closed ladisgin closed 9 months ago

ladisgin commented 12 months ago

For function with void* ctx argument

UTBotCpp generate

__attribute__ ((aligned(1404 unsigned char ctx;

ladisgin commented 9 months ago

Not reproduce on f366873