klee

KLEE configuration error

由 大兔子大兔子 提交于 2019-12-13 08:14:32
问题 I am trying to install KLEE by following the step at: http://klee.github.io/getting-started/ Unfortunately, at step 06 " Configure KLEE: From the KLEE source directory, run: " I get the following error: xxx@xxx18:~/klee$ ./configure --with-llvm=/home/xxx/llvm-2.9 --with-stp=/home/xxx/stp-r940/install checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross

How to force gcov to extract data, even when program is aborted

由 白昼怎懂夜的黑 提交于 2019-11-30 20:46:58
I'm using a test-generating tool called KLEE, that creates lots of tests for my C99-Code. Afterwards I run the tests and check line coverage with gcov. Gcov seems to update coverage data at the end of the run upon successful completion. However, some tests fail (assert statements that are not true), which leads to aborting the program and gcov not counting the lines covered in this run. Is there any way that gcov flushes information on any exit (not only on successful)? Call void __gcov_flush(void) (from libgcov.a which is linked in by -fprofile-arcs option of compiler) in your assert code,

How to force gcov to extract data, even when program is aborted

由 久未见 提交于 2019-11-30 04:41:43
问题 I'm using a test-generating tool called KLEE, that creates lots of tests for my C99-Code. Afterwards I run the tests and check line coverage with gcov. Gcov seems to update coverage data at the end of the run upon successful completion. However, some tests fail (assert statements that are not true), which leads to aborting the program and gcov not counting the lines covered in this run. Is there any way that gcov flushes information on any exit (not only on successful)? 回答1: Call void __gcov
订阅 klee