From 708dbb5a5f2f92b41fdb59c8aa7289337a696818 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= Date: Tue, 9 Jan 2024 10:13:30 -0800 Subject: [PATCH] test: update expectations --- test.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/test.py b/test.py index 629568c..e4a8277 100755 --- a/test.py +++ b/test.py @@ -244,7 +244,7 @@ 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(1, changes) + self.assertEqual(2, changes) def test_counter_wadden1(self): # CirFix: correct repair @@ -253,8 +253,10 @@ def test_counter_wadden1(self): def test_counter_wadden2(self): # CirFix: correct repair - self.synth_cannot_repair(counter_dir, "wadden_buggy2", solver=self.solver, init=self.init, - incremental=self.incremental, timeout=self.timeout) + changes = self.synth_success(counter_dir, "wadden_buggy2", solver=self.solver, init=self.init, + incremental=self.incremental, timeout=self.timeout) + # solved with conditional overwrite + self.assertEqual(changes, 2) def test_flip_flop_wadden1(self): # CirFix: correct repair @@ -567,7 +569,8 @@ def test_wadden_buggy1_orig_tb(self): def test_wadden_buggy2_orig_tb(self): # cannot be repaired with just literal replacement # this would need an if() condition to modified - self.synth_cannot_repair(counter_dir, "wadden_buggy2", "orig_tb", init='random') + # repaired with conditional overwrite + self.synth_success(counter_dir, "wadden_buggy2", "orig_tb", init='random') def test_kgoliya_buggy1_orig_tb(self): # this can be repaired through the assign_const template