Differences

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

--- lab7 [2020/02/24 02:48] – franck
+++ lab7 [2020/02/25 19:35] (current) – franck
@@ Line 1: / Line 1: @@
 ====== Lab 4 ======
-Test the listener BudgetChecker (see Section 4.2 of the notes).  Use the JPF framework (TestJPF).  To receive feedback, submit your code **before** March 5 using the submit command:\\
+Test the listener gov.nasa.jpf.StackDepthChecker.  Use the JPF framework (TestJPF).  To receive feedback, submit your code **before** March 5 using the submit command:\\
 <code>
 submit 4315 lab4 <name of class>.java