symbiotic icon indicating copy to clipboard operation
symbiotic copied to clipboard
verified publisher icon staticafi

try more klee options

Open mchalupa opened this issue 9 years ago • 1 comments

-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

mchalupa avatar May 10 '16 06:05 mchalupa

check what is -const-array-opt

mchalupa avatar May 10 '16 06:05 mchalupa