From f4d0ca554203eaaade02fdbf490441ee7a65715e Mon Sep 17 00:00:00 2001 From: amiraj Date: Thu, 8 Aug 2019 17:04:52 -0700 Subject: [PATCH] Importing verify library for switch class! --- Switch/Switch.groovy | 4 ++++ Switch/Switches.groovy | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/Switch/Switch.groovy b/Switch/Switch.groovy index e017b55..4e28c34 100644 --- a/Switch/Switch.groovy +++ b/Switch/Switch.groovy @@ -2,6 +2,10 @@ package Switch import Timer.SimulatedTimer +//JPF's Verify API +import gov.nasa.jpf.vm.Verify + + public class Switch { private String id private String label diff --git a/Switch/Switches.groovy b/Switch/Switches.groovy index a0e191c..c27440d 100644 --- a/Switch/Switches.groovy +++ b/Switch/Switches.groovy @@ -2,6 +2,10 @@ package Switch import Timer.SimulatedTimer +//JPF's Verify API +import gov.nasa.jpf.vm.Verify + + public class Switches { int deviceNumbers List switches -- 2.34.1