search

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation
0 stars 0 forks source link

[TestCov] execution error with size_t #49

Open izlatkin opened 2 years ago

izlatkin commented 2 years ago

fmfsu@fmfsu-OptiPlex-7090:~/PyCharm/sandbox/minepump_spec5_product12.cil/4TestCov$ /home/fmfsu/Dev/TestCov/test-suite-validator/bin/testcov --use-gcov --test-suite tests.zip../orig_minepump_spec5_product12.cil.c ⏳ Executing tests.ERROR:root:Compilation failed for harness output/harness.c: In file included from : ./../orig_minepump_spec5_product12.cil.c:519:51: error: unknown type name ‘size_t’ 519 | extern attribute((nothrow)) void *malloc(size_t size ) attribute((malloc__)) ;

fmfsu@fmfsu-OptiPlex-7090:~/PyCharm/sandbox/minepump_spec5_product12.cil/4TestCov$ /home/fmfsu/Dev/TestCov/test-suite-validator/bin/testcov --use-gcov --test-suite tests.zip../orig_minepump_spec5_product12.cil.c ⏳ Executing tests................................................................ ✔️ Done!

---Results--- Tests run: 63 Coverage: 32.81% Number of goals: 64 Result: DONE