Ejemplos de check_in_range en Python

Ejemplo n.º 1

Archivo: test_op.py Proyecto: iafisher/hera-py

def test_check_in_range_with_another_out_of_range_integer():
    err = check_in_range(INT(128), {}, lo=0, hi=128)
    assert err == "integer must be in range [0, 128)"

Ejemplo n.º 2

Archivo: test_op.py Proyecto: iafisher/hera-py

def test_check_in_range_with_non_integer():
    assert check_in_range(R(1), {}, lo=0, hi=128) == "expected integer"

Ejemplo n.º 3

Archivo: test_op.py Proyecto: iafisher/hera-py

def test_check_in_range_with_data_label():
    err = check_in_range(SYM("n"), {"n": DataLabel(1)}, lo=0, hi=128)
    assert err == "cannot use label as constant"

Ejemplo n.º 4

Archivo: test_op.py Proyecto: iafisher/hera-py

def test_check_in_range_with_undefined_symbol():
    assert check_in_range(SYM("n"), {}, lo=0, hi=128) == "undefined constant"

Ejemplo n.º 5

Archivo: test_op.py Proyecto: iafisher/hera-py

def test_check_in_range_with_valid_integers():
    assert check_in_range(INT(50), {}, lo=0, hi=128) is None
    assert check_in_range(INT(0), {}, lo=0, hi=128) is None
    assert check_in_range(INT(127), {}, lo=0, hi=128) is None
    assert check_in_range(SYM("n"), {"n": Constant(127)}, lo=0, hi=128) is None

Ejemplo n.º 6

Archivo: test_op.py Proyecto: iafisher/hera-py

def test_check_in_range_with_out_of_range_symbol():
    err = check_in_range(SYM("n"), {"n": Constant(128)}, lo=0, hi=128)
    assert err == "integer must be in range [0, 128)"