Hi, I think what you want is --debug-crosscheck-core-solver.
Best,
Cristian
On 16/09/2020 18:54, Shuo Ding wrote:
Hi All,
My goal is to compare the outputs of two core solvers (e.g. Z3 and STP)
and get the query issued to those core solvers causing the mismatch.
However, it seems that the
Hi all,
I've just added to the KLEE website a list of external tutorials, blog
posts and other external resources on KLEE. In particular, I added a
link David Korczynski's video tutorials on KLEE; Dennis Yurichev's
"SAT/SMT by Example" book; Alastair Reid's project on checking Rust code
