Hi, I recently ran some experiments with klee with the --optimize switch and without --optimize switch. It seems that the solving using --optimize switch is much faster than without it.
In default mode, klee uses dfs search strategy with incremental solving. What additional optimisations does Klee perform with the --optimize switch ? Any help is appreciated. Best regards, Rajdeep
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
