EECS4315

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Part 1 of Project ======


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
<code java>
package lab;

public class HelloWorld {
  public static void main(String[] args) {
    System.out.println("Hello World!");
  }
}
</code>
  * Run JPF on this app.
  * Run JPF on the HelloWorld class of the default package.
  * Print the state space 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.
To determine which version of Java is used by eclipse, you can run the following app in eclipse.
<code java>
public class Version {
  public static void main(String[] args) {
    System.out.println(System.getProperty("java.version"));
  }
}
</code>