Hi, Can anyone please tell me how to add label to each of the assert statements in the smt2lib formula emitted by KLEE when getConstraintLog method in Executor.cpp is called with logFormat=STP ? Even if anyone has a faint idea of how it can be done please tell.
P.S:This will help me to get an unsat core when I feed the constraint log to z3 solver. -- Thanks and Regards, Sumit
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
