Hi, I have a relative small file (<200 loc's) which has about 15 global variables. Running klee on this file takes very long time, over 15 mins, at which point I just manually kill the process. I then manually convert all these global variables into local (by simply passing them to every function call) then rerun Klee on the modified file. This time it takes Klee just less than a min to finish running.
is such performance expected for using local vs global variables ? If it is the case then I will try to convert global vars to local ones whenever possible before running Klee. I compile the object file with the flags --optimize -emit-llvm -c and run klee on the resulting object file with the flags "--allow-external-sym-calls -optimize". Are there other relevant flags I should consider ? Also if interested I can send the file I use for this experiment. Vu,
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
