Support external CPP variables

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

Open ladisgin opened 1 year ago

ladisgin commented 1 year ago

Description Then final IR module contains external CPP variable. KLEE fail with

KLEE: ERROR: Unable to load symbol

Solution For solution can be used globals from Annotation branch, which now in development.