def test_add_mod_fast_general(x, y): """Exercise the fast modular addition interface's claimed precondition.""" assume(x + y < 2**65 - 8) assert C.add_mod_fast(x, y) % MODULO == (x + y) % MODULO
def test_add_mod_fast(x, y): """Check fast modular addition, for the case we care in practice.""" assert C.add_mod_fast(x, y) % MODULO == (x + y) % MODULO