Hi, When I run KLEE, the llvm-ir (.ll) file is saved as assembly.ll However I would like to see the llvm instructions that Klee runs on for each call-path or trace of the program (like if there are 3 program paths that klee explores then I would like to get test00000.ll, test00001.ll, test00002.ll or something along those lines)
Is there a flag to get this information? Thanks!
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
