def test_validate_state_no_error_2(): tpm = np.array([ [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1], ]) net = Network(tpm) # Globally impossible state. state = (1, 1, 0, 0) # But locally possible for first two nodes. subsystem = Subsystem(net, state, (0, 1)) validate.state_reachable(subsystem)
def test_validate_state_no_error_1(s): validate.state_reachable(s)