Hi all, This may seem like a ridiculous question, but please help me:
Is there a way to disable the queries that KLEE makes to the SMT solver? I would like to only get the path constraints in SMT2 format as outputs from KLEE. Many thanks, Jeff
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
