def test_all_noreplace_files_straightline(
self, noreplace_parsers: SmtlibParserHackAbc):
"""
Test that all benchmarks passed by noreplace_parsers are from the straightline fragment.
"""
query = noreplace_parsers.parse_query()
assert is_straightline(query.equations)
def test_two_on_left(self, straightline_equations):
straightline_equations[0].left = "mx"
assert not is_straightline(straightline_equations)
def test_double_assignement(self, straightline_equations):
new_eq = StringEquation("n", "lk")
straightline_equations.append(new_eq)
assert not is_straightline(straightline_equations)
def test_on_left_on_right(self, straightline_equations):
straightline_equations[1].right += straightline_equations[1].left
assert not is_straightline(straightline_equations)
def test_valid(self, straightline_equations):
assert is_straightline(straightline_equations)