Exemple #1
0
 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")
Exemple #2
0
 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")
Exemple #3
0
 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"))