Hi I was able to find the problem. It seems that in KTest file, line 58 if (fwrite(value, len, 1, f)!=1) gave a false error report in case of len = 0
Trang 2011/8/9 Trần Thị Thùy Trang <[email protected]> > 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
