test: fix expectations

test.py

@@ -244,7 +244,8 @@ def test_counter_kgoliya1(self):
         # CirFix: correct repair
         changes = self.synth_success(counter_dir, "kgoliya_buggy1", solver=self.solver, init=self.init,
                                      incremental=self.incremental, timeout=self.timeout)
-        self.assertEqual(2, changes)
+        # almost correct, needs extended testbench
+        self.assertEqual(1, changes)
 
     def test_counter_wadden1(self):
         # CirFix: correct repair
@@ -348,9 +349,11 @@ def test_reed_out_stage(self):
 
     def test_sdram_wadden1(self):
         # CirFix: correct repair (minimization fails)
-        changes = self.synth_success(sd_dir / "no_tri_state.toml", "wadden_buggy1", solver=self.solver, init=self.init,
-                                     incremental=self.incremental, timeout=self.timeout)
-        self.assertEqual(1, changes)
+        # unfortunatelly with the new conditional_overwrite instead of the assign const template,
+        # we can no longer repair this
+        # can be fixed by increasing window size or improving conditional overwrite template
+        self.synth_cannot_repair(sd_dir / "no_tri_state.toml", "wadden_buggy1", solver=self.solver, init=self.init,
+                                 incremental=self.incremental, timeout=self.timeout)
 
     def test_sdram_wadden2(self):
         # CirFix: timeout
@@ -438,7 +441,10 @@ def test_wadden_buggy2_orig_tb(self):
 
     def test_wadden_buggy1_orig_tb(self):
         # missing reset (only one of the two removed is actually needed)
-        self.synth_success(sd_dir / "no_tri_state.toml", "wadden_buggy1", incremental=True)
+        # unfortunatelly with the new conditional_overwrite instead of the assign const template,
+        # we can no longer repair this
+        # can be fixed by increasing window size or improving conditional overwrite template
+        self.synth_cannot_repair(sd_dir / "no_tri_state.toml", "wadden_buggy1", incremental=True)
 
     def test_kgoliya_buggy2_orig_tb(self):
         # missing default case