[klee-dev] SMT formulae from KLEE

[Paul Marinescu]

Have you tried the --use-query-log=all:smt2 option mentioned in the manual? (http://klee.github.io/klee/klee-options.html#logging)


On 6 May 2014, at 18:27, Mohammad Wamiq Saifi <wamiqsaifi at gmail.com> wrote:

> How can we get SMT formulae out of Klee..???
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed