Esempio n. 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
Esempio n. 2
0
 def __str__(self):
     actual = sexpr_print(self.actual)
     expected = sexpr_print(self.expected)
     return "\nActual: {}\nExpected: {}".format(actual, expected)
Esempio n. 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
Esempio n. 4
0
def test_sexpr_print_simplify(code):
    sexpr = sexpr_print(code)
    assert sexpr_simplify(sexpr) is code
Esempio n. 5
0
def test_sexpr_print(example):
    actual = sexpr_print(example['code'])
    assert actual == example['sexpr']