def setUp(self):
# import the generated Code
import Handler
import Stepper
self.stepper = Stepper.Stepper()
self.input = json.load(open("sample.input"))
self.fsm = parse("../sample.fsml")
def setUp(self):
self.determinismNotOkFsm = parse("../tests/determinismNotOk.fsml")
self.idsNotOkFsm = parse("../tests/idsNotOk.fsml")
self.initialNotOkFsm1 = parse("../tests/initialNotOk1.fsml")
self.initialNotOkFsm2 = parse("../tests/initialNotOk2.fsml")
self.reachabilityNotOkFsm = parse("../tests/reachabilityNotOk.fsml")
self.resolutionNotOkFsm = parse("../tests/resolutionNotOk.fsml")
def setUp(self):
self.syntaxErrorFsm = "../tests/syntaxError.fsml"
self.correctFsm = parse("../sample.fsml")
self.illegalEventInput = json.load(open("tests/illegalEvent.input"))
self.infeasibleEventInput = json.load(open("tests/infeasibleEvent.input"))
