Hi All, We are working on a possible way to improve KLEE. So it would be nice to compare our method's results with the original KLEE's. For a fair comparison, we need to understand how the parameters used in your OSDI'08 paper were chosen. According to your reply on the KLEE mailing list ( http://www.mail-archive.com/[email protected]/msg00162.html), your OSDI paper uses
--sym-args 0 1 10 --sym-args 0 2 2 --sym-files 2 8 --sym-stdout Could you unveil the rationale/intuition behind these settings, such like why 10 and 2 are used as the maximal lengths? Any help is highly appreciated. Thanks in advance! Best regards, -- Lei Department of Electrical and Computer Engineering University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada N2L 3G1
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
