Esempi in Python per Model.check_consistent

Esempio n. 1

def test_model_check_consistent2(macro_micro: Model) -> None:
    macro_micro.conduits[0].sender = Reference('marco.intermediate_state')
    with pytest.raises(RuntimeError):
        macro_micro.check_consistent()

Esempio n. 2

def test_model_check_consistent3(macro_micro: Model) -> None:
    macro_micro.conduits[1].receiver = Reference('Macro.state_update')
    with pytest.raises(RuntimeError):
        macro_micro.check_consistent()

Esempio n. 3

def test_model_check_consistent1(macro_micro: Model) -> None:
    macro_micro.check_consistent()