Differences

This shows you the differences between two versions of the page.

--- project1 [2019/01/04 14:35] – franck
+++ project1 [2019/01/24 17:07] (current) – franck
@@ Line 15: / Line 15: @@
   * Run JPF on this app.
   * Run JPF on the HelloWorld class of the default package.
-  * Print the state space the created app.
+  * Print the state space of the created app.
+Note: it seems that the version of Java is important (see [[https://groups.google.com/forum/#!topic/java-pathfinder/IHhqtXJwy2M|here]]).  I managed the build JPF with Java 1.8.0_144 and 1.8.0_181.  I have not been able to build it with Java 9.  Students also had problems building it with Java 11.  You can have multiple different versions of Java on your machine.
-Note: it seems that the version of Java is important (see [[https://groups.google.com/forum/#!topic/java-pathfinder/IHhqtXJwy2M|here]]).  I managed the build JPF with Java 1.8.0_144.
 To determine which version of Java is used by eclipse, you can run the following app in eclipse.
 <code java>
@@ Line 26: / Line 27: @@
 }
 </code>
+The JPF plugin for eclipse seems not to work for the latest version of eclipse.  I managed to make it work with eclipse luna.