Python using_engine Examples

Example #1

def test_call(fun, args, expected):
    with using_engine(engine):
        if isinstance(expected, type) and issubclass(expected, Exception):
            with pytest.raises(expected):
                fun(*args)
        else:
            actual = fun(*args)
            assert actual == expected

Example #2

File: sudoku_test.py Project: fritzo/pomagma

def test_py_all_different(expected, xs):
    with using_engine(bohm):
        actual = sudoku.py_all_different(xs)
    assert actual == expected