Hi, I tried to redo the experiment of KLEE showed in this instruction http://klee.llvm.org/CoreutilsExperiments.html. Firstly I checked several tools in 30 minutes for each, and then I increased the time to one hour. However, the result is not much different, some even keeps the same.
For example, *the sum tool:* result of 30 minute check | Path | Instrs | Time(s) | ICov(%) | BCov(%) | ICount | TSolver(%) | ----------------------------------------------------------------------------- | sum-default | 10829478 | 1801.79 | 44.94 | 33.31 | 8547 | 98.22 | result of 1 hour check | Path | Instrs | Time(s) | ICov(%) | BCov(%) | ICount | TSolver(%) | ----------------------------------------------------------------------------------- | sum-full-default | 13908615 | 3602.94 | 44.94 | 33.31 | 8547 | 98.68 | *the base64 tool* result of 30 minute check: | Path | Instrs | Time(s) | ICov(%) | BCov(%) | ICount | TSolver(%) | ------------------------------------------------------------------------------- | base64-default | 2268479 | 1820.04 | 50.13 | 37.71 | 9530 | 98.94 | result of one hour check | Path | Instrs | Time(s) | ICov(%) | BCov(%) | ICount | TSolver(%) | ------------------------------------------------------------------------------------- | base64-full-default | 3057484 | 3630.79 | 49.95 | 37.66 | 9530 | 99.21 | I am running on Ubuntu 12.10, 4G ram memory, Intel® Core™ i5-3210M CPU @ 2.50GHz × 4. So could you please tell me is this a normal result? if its not, please give me some hints to make it right. Thank you, -- Loi, Luu The (Mr.) University of Engineering and Technology, Vietnam National University, Hanoi.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
