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 <[email protected]> wrote: > How can we get SMT formulae out of Klee..??? > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
