Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was...

[jpf-core.git] / lib / README

diff --git a/lib/README b/lib/README
index 843b47d04b72232582c50f9873a3d438028784d3..ad0d8fea7af18ada0c09563a6334728104a1b62b 100644 (file)
--- a/lib/README
+++ b/lib/README
@@ -1,3 +1,3 @@
-1) All JAR files need to be extracted into their directories.
+1) All JAR files need to be extracted into their directories (see run.sh for the necessary directory names).

 2) JPF is then given the paths to both directories to model-check Groovy apps.
 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.
 2) JPF is then given the paths to both directories to model-check Groovy apps.
 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.