techmap: test consistently with other equiv_make tests

widlarizer · widlarizer · commit 3ebc714dbc6a · 2024-11-29T00:15:02.000+01:00
diff --git a/tests/techmap/han-carlson.tcl b/tests/techmap/han-carlson.tcl
@@ -8,7 +8,7 @@ for {set i 1} {$i <= 16} {incr i} {
     design -load init
     chparam -set WIDTH $i
     yosys proc
-    opt_clean -purge
+    opt_clean
     equiv_make lcu _80_lcu_han_carlson equiv
     equiv_simple equiv
     equiv_status -assert equiv
diff --git a/tests/techmap/kogge-stone.tcl b/tests/techmap/kogge-stone.tcl
@@ -8,7 +8,7 @@ for {set i 1} {$i <= 16} {incr i} {
     design -load init
     chparam -set WIDTH $i
     yosys proc
-    opt_clean -purge
+    opt_clean
     equiv_make lcu _80_lcu_kogge_stone equiv
     equiv_simple equiv
     equiv_status -assert equiv
