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
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
