From c38ea9ae65b2a987d6a7ea790abf339944069f9a Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Thu, 6 Dec 2018 14:28:20 +0000
Subject: equiv_opt: new command, for verifying optimization passes.

---
 tests/lut/check_map.ys | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

(limited to 'tests/lut')

diff --git a/tests/lut/check_map.ys b/tests/lut/check_map.ys
index 6d659891f..dc0aaffc2 100644
--- a/tests/lut/check_map.ys
+++ b/tests/lut/check_map.ys
@@ -1,13 +1,4 @@
-design -save preopt
-
 simplemap
-techmap -map +/gate2lut.v -D LUT_WIDTH=4
+equiv_opt -assert techmap -map +/gate2lut.v -D LUT_WIDTH=4
+design -load postopt
 select -assert-count 1 t:$lut
-design -stash postopt
-
-design -copy-from preopt -as preopt top
-design -copy-from postopt -as postopt top
-equiv_make preopt postopt equiv
-prep -flatten -top equiv
-equiv_induct
-equiv_status -assert
-- 
cgit v1.2.3