예제 #1
0
def test_reduce_engine_sexpr_equations(code, expected_code, message):
    string = sexpr_print(code)
    with skip_if_not_implemented():
        actual_string = main.reduce(string, engine='engine')
    expected_string = sexpr_print(expected_code)
    assert actual_string == expected_string, message
예제 #2
0
파일: lib_test.py 프로젝트: fritzo/pomagma
 def __str__(self):
     actual = sexpr_print(self.actual)
     expected = sexpr_print(self.expected)
     return "\nActual: {}\nExpected: {}".format(actual, expected)
예제 #3
0
def test_sexpr_print_parse(code):
    string = sexpr_print(code)
    assert isinstance(string, str)
    actual_code = sexpr_parse(string)
    assert actual_code == code
예제 #4
0
def test_sexpr_print_simplify(code):
    sexpr = sexpr_print(code)
    assert sexpr_simplify(sexpr) is code
예제 #5
0
def test_sexpr_print(example):
    actual = sexpr_print(example['code'])
    assert actual == example['sexpr']