up

README.md

@@ -23,7 +23,11 @@ Others papers about Nopol:
 
 Nopol requires Java and an SMT solver installed on the machine (e.g. Z3)
 
-Up to commit 80130c4c, Nopol required Java 8. Now it also works on Java 11, see https://github.com/SpoonLabs/nopol/pull/214
+Java version:
+
+* From 2013 to 2021, Nopol required Java 8. 
+* From Nov 19, 2021, Nopol works on Java 11, see https://github.com/SpoonLabs/nopol/pull/214
+* From August 8 2024, Nopol works with Java 18, see https://github.com/SpoonLabs/nopol/pull/234
 
 0) NoPol uses the `com.sun.jdi` that lives in `tools.jar`. Identify where `tools.jar` is and add the depencency in `pom.xml`
 

nopol/README.md

@@ -1,7 +1,7 @@
 
 To run the tests:
 
-* install a JDK, and ensure that maven uses it
+* install a JDK, see expected version in ../README.md, and ensure that maven uses it
 * check that `z3` works well on the command line (`$ lib/z3/z3_for_linux``) (see TestUtility.java: private String solverPath = "lib/z3/z3_for_linux";)`
-* first run `mvn test -DskipTests` in `../test-projects/`. This creates `../test-projects/target/test-classes` (but doesn(t run the tests since the examples are buggy)
+* first run `mvn test -DskipTests` in `../test-projects/`. This creates `../test-projects/target/test-classes` (but doesn't run the tests since the examples are buggy)
 * then `mvn test`