def test_next_state_with_inputs(self):
fsm = self.model()
c2p = eval_simple_expression(fsm, "c2.payer")
(inputs, state) = choose_next_state(fsm, fsm.pick_one_state(fsm.init))
print()
if state is None:
print("No chosen state.")
else:
if inputs is not None:
values = inputs.get_str_values()
for var in values:
print(var, "=", values[var])
print("-" * 40)
values = state.get_str_values()
for var in values:
print(var, "=", values[var])
def test_next_state_with_inputs(self):
fsm = self.model()
c2p = eval_simple_expression(fsm, "c2.payer")
(inputs, state) = choose_next_state(fsm, fsm.pick_one_state(fsm.init))
print()
if state is None:
print("No chosen state.")
else:
if inputs is not None:
values = inputs.get_str_values()
for var in values:
print(var, "=", values[var])
print("-" * 40)
values = state.get_str_values()
for var in values:
print(var, "=", values[var])
def test_next_state_without_inputs(self):
glob.load_from_file("tests/pynusmv/models/modules.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
c2p = eval_simple_expression(fsm, "top")
(inputs, state) = choose_next_state(fsm, fsm.pick_one_state(fsm.init))
print()
if state is None:
print("No chosen state.")
else:
if inputs is not None:
values = inputs.get_str_values()
for var in values:
print(var, "=", values[var])
print("-" * 40)
values = state.get_str_values()
for var in values:
print(var, "=", values[var])
def test_next_state_without_inputs(self):
glob.load_from_file("tests/pynusmv/models/modules.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
c2p = eval_simple_expression(fsm, "top")
(inputs, state) = choose_next_state(fsm, fsm.pick_one_state(fsm.init))
print()
if state is None:
print("No chosen state.")
else:
if inputs is not None:
values = inputs.get_str_values()
for var in values:
print(var, "=", values[var])
print("-" * 40)
values = state.get_str_values()
for var in values:
print(var, "=", values[var])
