Differences

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

--- lab4b [2019/01/29 01:20] – created franck
+++ lab4b [2019/01/29 01:21] (current) – franck
@@ Line 4: / Line 4: @@
   * Consider the interface SearchListener, which are part of the package gov.nasa.jpf.search.
-  * Consider subclasses of the class Instruction, which is part of the package gov.nasa.jpf.vm.
+  * Consider which methods of the interface SearchListener are relevant.
-  * If you cannot restrict to the local variables manipulated in the main method, then consider all local variables.
+  * Exclude the state with ID -1.
-  * If you cannot extract the ID of the local variables, then print a star (*) every time a local variable is manipulated.
 To compile your listener, use