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.