[klee-dev] how to add label to assert statements

[Sumit Kumar]

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
-------------- next part --------------
HTML attachment scrubbed and removed