Differences

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

--- project1 [2018/01/31 02:31] – franck
+++ project1 [2019/01/24 17:07] (current) – franck
@@ Line 1: / Line 1: @@
 ====== Part 1 of Project ======
+Install JPF on your laptop.  On Friday January 25, bring your laptop to the lab and show the instructor how to run JPF.  If you have correctly installed JPF and you can run JPF successfully on the code provided below, then you will receive 5% towards the mark for your project (40% in total).  Otherwise, you can try again next week (1% penalty per week).
-Install JPF on your laptop.  On Friday February 2, bring your laptop to the lab and show the TA how to run JPF.  If you have correctly installed JPF and you can run JPF successfully on the code provided below, then you will receive 5% towards the mark for your project (30% in total).  Otherwise, you can try again next week (1% penalty per week).
   * Create the app
@@ Line 16: / 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 27: / 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.