def setUp(self):
filename = './modelchecker/models/test_model_t.json'
data = translators.read_json(filename)
self.model = models.TModel.from_json(data)
def setUp(self):
self.model = KModel()
json_data = utils.read_json('./modelchecker/models/test_model_km.json')
self.model = KModel.from_json(json_data)
def setUp(self):
self.model = KModel()
json_data = utils.read_json('modelchecker/models/test_model_km.json')
self.model = KModel.from_json(json_data)
self.lhs = Proposition('p')
def setUp(self):
self.url = '{url}/valuate'.format(url=url)
self.request_data = utils.read_json('./api/test_request.json')
