Python check_in_range Examples

Example #1

File: test_op.py Project: 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)"

Example #2

File: test_op.py Project: iafisher/hera-py

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

Example #3

File: test_op.py Project: 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"

Example #4

File: test_op.py Project: iafisher/hera-py

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

Example #5

File: test_op.py Project: 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

Example #6

File: test_op.py Project: 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)"