[klee-dev] stp-optimize-divides option

[Ayrat Khalimov]

Hi guys,

Is the option "optimize-divides" still relevant?
In may tests I noticed that disabling it helps to prevent testing form hangs
in some cases (printf) and has almost no effect in general case.


Cheers,
Ayrat
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110818/d8cd6ab5/attachment.html