[klee-dev] Some help with klee

[Udayan Tandon]

Hi guys,

Im trying to run klee on some programs but facing a lot of problems. Could
someone guide me as to what will be the most optimal way to run klee on the
attached program.
 NOTE: Wherever i make the variable symbolic, they were scanf statements in
the original program meant to take input from STDIN or files.
Anyhelp would be much appreciated havent been able to figure things out
from online resources related to klee.

Regards
Udayan Tandon
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: testing.c
Type: text/x-csrc
Size: 2972 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20151029/6534fcdc/attachment.bin>