Hi,
First of all, thanks for creating KLEE. Experience with the tool till now has
been great.
I have a question on using -sym-arg parameter when using klee. I have a program
that takes numbers as input. I would like to use -sym-arg N (N is the number of
characters), and I would like to restrict the characters being generated to be
valid numbers. In other words, it should give as input to the program a valid
number of length N. Any other character will give an error?when the program is
run (and that path is well tested in the program). Is this possible to do that
with klee?
Thanks
Sree
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101010/325e7625/attachment.html
