Commit 802fcee5 authored by Fabian Kosmale's avatar Fabian Kosmale
Browse files

fix stupid loop bug

parent a04ea363
......@@ -590,7 +590,8 @@ class Z3Compiler:
def _replay_manually_added_assertions(self) -> Tuple[bool, int]:"replaying assertions")
for count, assertion in enumerate(self._manually_added_assertions):
self._manually_added_assertions, assertions = [], self._manually_added_assertions
for count, assertion in enumerate(assertions):
sat = self.add_constraint(assertion)
if not sat:
return False, count
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment