Fixing a bug: completing reachability graph with missing past traces.
[jpf-core.git] / lib / README
1 1) All JAR files need to be extracted into their directories (see run.sh for the necessary directory names).
2 2) JPF is then given the paths to both directories to model-check Groovy apps.
3 3) There might be some other libraries that Groovy apps might need and the JAR files can be found in the Groovy path on your system.