Hi, I am running the coreutils case study and I am having issues with failing system calls. Below is the command I am using to generate the test cases for pwd. The below command generates code coverage of 21.24%. I have added the argument -max-fail 1 to the command, but the resulting coverage is still the same. I have checked the klee-dev archives, but I did not have any luck. Any insight or comments would be greatly appreciated. Thanks.
I am using the .bc files that were included in the installation package in klee-cde-package\cde-root\home\pgbovine\coreutils-6.11\obj-llvm\src. I am using gcov to measure coverage after running the native program on the .ktest inputs. klee.cde --simplify-sym-indices --output-module --max-memory=1000 --disable-inlining --optimize --use-forked-stp --use-cex-cache --libc=uclibc --posix-runtime --allow-external-sym-calls --only-output-states-covering-new --max-sym-array-size=4096 --max-instruction-time=10. --max-time=3600. --watchdog --max-memory-inhibit=false --max-static-fork-pct=1 --max-static-solve-pct=1 --max-static-cpfork-pct=1 --switch-type=internal --randomize-fork --use-random-path --use-interleaved-covnew-NURS --use-batching-search --batch-instructions 10000 --init-env pwd.bc --sym-args 0 1 10 --sym-args 0 2 2 --sym-files 1 8 --sym-stdout Fredrick Mainor Instrumentaiton Software Engineer Flight Sciences - Instrumentation & Test L-3 Communications/Integrated Systems Waco, TX Office : 254-412-5273 [email protected] <mailto:[email protected]>
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
