JPF: Advanced exercise

See the earlier assignment, JPF tutorial, on how to set up the environment for JPF.

• Description of the assignment (PDF) Download Description of the assignment (PDF).
• Script to generate a site.properties. Download Script to generate a site.properties. Instructions are in the assignment description. You can also edit ~/.jpf/site.properties by hand if you already have an existing file. The resulting configuration file should include the following:

jpf-home=${user.home}/jpf
jpf-core=${jpf-home}/jpf-core
jpf-nas=${jpf-home}/jpf-nas
extensions=${jpf-core}
extensions+=,${jpf-nas}

Watch out for typos (if you edit the configuration manually): In the configuration above, "user.home" is a predefined variable and uses a dot; the other variables are user-defined, and but have to use a hyphen in order to work with other scripts and configuration files. In particular, jpf-nas only builds if "jpf-home" is defined. Extension entries are enumerated by using the comma as a separator, hence every entry after the first one needs a comma when using "+=" to concatenate them.

• Source code (and scripts/configuration files for JPF) (.tar.gz). Download Source code (and scripts/configuration files for JPF) (.tar.gz).
  Unpack using tar -xzf chatserver.tar.gz.