Differences

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

--- lab4a [2018/01/23 16:17] – franck
+++ lab4a [2018/01/23 16:18] (current) – franck
@@ Line 4: / Line 4: @@
   * Consider the interfaces VMListener and SearchListener, which are part of the packages gov.nasa.jpf.vm and gov.nasa.jpf.search, respectively.
   * Consider subclasses of the class Instruction, which is part of the package gov.nasa.jpf.vm.
-  * If you cannot count the number of reads and writes of array cells within the main method of an app, then count the number of reads and writes of array cells of the entire app.
+  * If you do not know how to count the number of reads and writes of array cells within the main method of an app, then count the number of reads and writes of array cells of the entire app.
   * If you do not know how to print the total at the end, then print a star (*) every time a read or write of an array cell occurs.