class LTL_test:
def setUp(self):
self.f = LTL("[](p -> <>q)", input_variables={"p":"boolean"},
output_variables={"q":"boolean"})
def tearDown(self):
self.f = None
def test_loads_dumps_id(self):
# Dump/load identity test: Dumping the result from loading a
# dump should be identical to the original dump.
assert self.f.dumps() == LTL.loads(self.f.dumps()).dumps()
def test_loads_dumps_id(self):
# Dump/load identity test: Dumping the result from loading a
# dump should be identical to the original dump.
assert self.f.dumps() == LTL.loads(self.f.dumps()).dumps()
def setUp(self):
self.f = LTL("[](p -> <>q)", input_variables={"p":"boolean"},
output_variables={"q":"boolean"})
