search

reprogrammer / keshmesh

Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.
http://keshmesh.cs.illinois.edu/
Other
16 stars 5 forks source link

Add the option to skip dumping the call and heap graphs #68

Closed reprogrammer closed 10 years ago

reprogrammer commented 10 years ago

The call and heap graph dumps can be large (e.g., 30M) and can also make the process slow. It would be nice to add an option to skip this step.