[klee-dev] Use of --optimize flag

[RAJDEEP MUKHERJEE]

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