Differences

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

--- lab8 [2018/02/25 14:58] – franck
+++ lab8 [2019/02/19 17:45] (current) – franck
@@ Line 47: / Line 47: @@
 no errors detected
 ...
-</code>Submit your native peer class <b>and</b> your configuration file (name it Main-native-peer.jpf).
+</code>Submit your native peer class **and** your configuration file (name it Main-native-peer.jpf).
-  * Implement a peer class.  Add to the peer class a call to println with "peer class" so that JPF produces output for the above app similar to the following.  Information about the cubic root can be found {{|here}}.  Ensure that the modelled cbrt method satisfies the specification given in the API of the StrictMath class.  Some methods in the Double class might be useful.<code>
+  * Implement a peer class.  Add to the peer class a call to println with "peer class" so that JPF produces output for the above app similar to the following.  Information about the cubic root can be found {{https://en.wikipedia.org/wiki/Cube_root|here}}.  Ensure that the modelled cbrt method satisfies the specification given in the API of the StrictMath class.  Some methods in the Double class might be useful.<code>
 JavaPathfinder core system v8.0 (rev 29+) - (C) 2005-2014 United States Government. All rights reserved.
@@ Line 62: / Line 62: @@
 no errors detected
 ...
-</code>Submit your peer class <b>and</b> your configuration file (name it Main-model-class.jpf).
+</code>Submit your peer class **and** your configuration file (name it Main-model-class.jpf).
 To compile your classes, you may want to use
@@ Line 74: / Line 74: @@
 submit 4315 lab6 (name of file)
 </code>
-before Tuesday March 6.
+before Tuesday March 5.