symbiotic
symbiotic copied to clipboard
try more klee options
-pre-RA-sched -randomize-fork -search -simplify-sym-indices -use-construct-hash -use-fast-cex-solver -use-merge (probably nees instrumentation) -cex-cache-exp -cex-cache-superset -cex-cache-try-all
check what is -const-array-opt