Please see http://klee.github.io/klee/klee-files.html
There is a command line options --write-smt2s that will cause .smt2 files to be generated for each generated test case. Hope that help. Thanks, Dan. On 6 May 2014 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
