Differences

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

--- lab5 [2020/01/19 20:32] – franck
+++ lab5 [2020/01/19 20:51] (current) – franck
@@ Line 1: / Line 1: @@
 ====== Lab 2 ======
-Write a listener, named LongestPath, that keeps track of the length of a longest  path in the state space.  The method getDepth of the class Search might be helpful.  To make it a little easier, you do not have to consider state spaces with cycles.  A sample run can be found below.  It shows what type of output your listener should produce.
+Write a listener, named LongestPath, that keeps track of the length of a longest  path in the state space.  The method getDepth of the class Search might be helpful (see [[https://www.eecs.yorku.ca/course_archive/2019-20/W/4315/api/jpf/|JPF's API]]).  To make it a little easier, you do not have to consider state spaces with cycles.  A sample run can be found below.  It shows what type of output your listener should produce.
 To compile your listener, use
@@ Line 13: / Line 13: @@
 To receive feedback, submit your listener, your app, and your application properties file using the submit command **before** Tuesday January 28:\\
+<code>
 submit 4315 lab2 LongestPath.java Path.java Path.jpf
+</code>
+Sample output:
 <code>
 JavaPathfinder core system v8.0 (rev d772dfa80ea692f916aa6718d04c4f7bfb2a746b) -
@@ Line 46: / Line 49: @@
 loaded code:        classes=62,methods=1341
-====================================================== search finished: 1/19/20
+====================================================== search finished: 1/19/20 4:08 PM
-:08 PM
 </code>