For constraints for each pass I think you can use the ‘—use-query-log=solver.smt2’ (or any other format you prefer) to log the queries sent for each path.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
