d13: correct number of changes

ekiwi · Jan 9, 2024 · 0f0b94b · 0f0b94b
1 parent 32eac9e
commit 0f0b94b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test.py b/test.py
@@ -153,7 +153,7 @@ def test_d4(self):
     def test_d13(self):
         """ simple AXIS frame len circuit with wrong calculatio / state update """
         # add_guard comes up with a plausible (but maybe incorrect) solution
-        self.synth_success(d13_dir, "d13", solver="yices2", init="zero", incremental=True, timeout=60)
+        self.synth_success(d13_dir, "d13", solver="yices2", init="zero", incremental=True, timeout=60, max_changes=3)
 
     def test_d12(self):
         """ AXIS Fifo with one-line fixable bug """