******************* This email originates from outside Imperial. Do not click on links and attachments unless you recognise the sender. If you trust the sender, add them to your safe senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for this address. ******************* Dear all,
I tried to run SPEC benchmarks with klee but I found that they require highly formatted input. Is there any way to handle these situations? Does anyone have previously rewritten the parsing code of SPEC benchmarks with insertion of klee_assume for removing useless execution. Any other different way to tackle this situation is welcomed. -- Thanks and Regards Awanish Pandey PhD, CSE IIT Kanpur
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
