LeBron

@ccadar > 1. Fix the TravisCI ASan failures by freeing memory accordingly I am still fixing memory issues > 2. Put the `max-forks-terminate` option into a separate commit, as it...

I keep having memory leak in function `generateAssignmentForDanglingState`, Address sanitizer report that the leak happen in new() function: ``` a = new Assignment(objects, values); ``` However I have added `maxForksMap.clear();`...

@ccadar Thanks for the suggestion! I have fixed the memory issues and added oracle in the test. What are the other issues?

> I fully agree QSYM is also a very good choice, but I did not see a major difference in "scalability" between KLEE and QSYM. And the truth is our...

I remember a paper last year evaluate the inflation rate of LLVM instruction and machine instruction and it does not look like the difference between the amount of these two...