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 <wamiqsaifi at gmail.com> wrote: > How can we get SMT formulae out of Klee..??? >