From 3ebc714dbc6a3247edd08ed9828d3ea56c2d3641 Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Fri, 29 Nov 2024 00:15:02 +0100 Subject: [PATCH] techmap: test consistently with other equiv_make tests --- tests/techmap/han-carlson.tcl | 2 +- tests/techmap/kogge-stone.tcl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/techmap/han-carlson.tcl b/tests/techmap/han-carlson.tcl index 7029be57f..0d9068b5e 100644 --- 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 index b6a4ef54e..1209b1338 100644 --- 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