Exemple #1
0
def test_satex():
    assert load_sat(SAT_F5_1).equivalent(F5)
Exemple #2
0
def test_satx():
    assert load_sat(SAT_F3_1).equivalent(F3)
Exemple #3
0
def test_sate():
    assert load_sat(SAT_F4_1).equivalent(F4)
Exemple #4
0
def test_sat():
    assert load_sat(SAT_F1_1).equivalent(F1)
    assert load_sat(SAT_F2_1).equivalent(F2)