package AeonKeyFob
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class AeonKeyFobs {
private int deviceNumbers
private List aeonKeyFobs
//methods
def eventsSince(Date dateObj) {
- return aeonKeyFobs[0].eventsSince(dateObj)
+ return aeonKeyFobs[0].eventsSince()
}