[klee-dev] KLEE strategies in solving complex contraints

[Sandeep]

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