Hi I am using Klee to test my program and currently having the following warning. Klee is able to execute until the end but I couldn't read the test case file. I run klee with the following command klee -posix-runtime --libc=uclibc ptPeak_Klee.o
And the outcome is KLEE: NOTE: Using model: /home/ttranthi/WORK/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca KLEE: output directory = "klee-out-11" KLEE: WARNING: undefined reference to function: __xstat64 KLEE: WARNING: undefined reference to function: fwrite KLEE: WARNING: undefined reference to function: klee_get_valuel KLEE: WARNING: executable has module level assembly (ignoring) KLEE: WARNING: calling external: syscall(54, 0, 21505, 179841968) KLEE: WARNING: calling __user_main with extra arguments. KLEE: WARNING: calling external: __xstat64(3, 179783112, 179856528) KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it ..... ...... //A long sequence of KLEE:WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: done: total instructions = 315755 KLEE: done: completed paths = 377 KLEE: done: generated tests = 377 I tried different command such as klee --libc=uclibc --only-output-states-covering-new -posix-runtime ptPeak_Klee.o And the outcome is KLEE: NOTE: Using model: /home/ttranthi/WORK/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca KLEE: output directory = "klee-out-13" KLEE: WARNING: undefined reference to function: __xstat64 KLEE: WARNING: undefined reference to function: fwrite KLEE: WARNING: undefined reference to function: klee_get_valuel KLEE: WARNING: executable has module level assembly (ignoring) KLEE: WARNING: calling external: syscall(54, 0, 21505, 177080824) KLEE: WARNING: calling __user_main with extra arguments. KLEE: WARNING: calling external: __xstat64(3, 177022080, 177235248) KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it ........ KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: unable to write output test case, losing it KLEE: done: total instructions = 315755 KLEE: done: completed paths = 377 KLEE: done: generated tests = 21 I also tried with run klee with parameter -max-memory=32 or 64 and the result is the same. And also tried to set ulimit -n 100000 didn't make any change Is it the problem in my program or within Klee? Could you please assist me resolving the problem? Thank you very much Regards Trang
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
