Hello All,
I am aware of the query optimizations strategies that KLEE follows to
simplify the expressions before they each STP.
But what if even after applying these, the query is still complex. Will
KLEE simply give up by time out or it will try something like
concertizing some of the values of the complex constraint to make that
simpler (and thereby give up on exploring some of the paths).
Thanks in advance.
--
*With Thanks and Regards,*
Sandeep Dasgupta
Graduate ( PhD ) in Computer Science
Room : 1218 Siebel Center for Computer Science
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
