Hi Lei,
Our choice was based on a high-level understanding of the Coreutils
apps: most behavior can be triggered with no more than 2 short options,
1 long option, and 2 small files (one of which is stdin).
Best wishes,
Cristian
On 14/01/13 14:58, Lei Zhang wrote:
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/klee-dev@imperial.ac.uk/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
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev