Hi Loi, > Yes, what I want is the second option. However, I haven't got your point > about the first one, can you explain more about it?
If you want second option , I am afraid you might need to create your own solution. If you want first, you will achieve it by symbolically executing python interpreter running you code. Cheers, Greg _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
