From e4bd5aaebf7e329236b10c93eac9ad113231f00e Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 2 Oct 2019 18:12:25 -0700
Subject: [PATCH] Fix test

---
 tests/various/peepopt.ys | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys
index 734a22408..1f18f1c74 100644
--- a/tests/various/peepopt.ys
+++ b/tests/various/peepopt.ys
@@ -188,8 +188,18 @@ endmodule
 EOT
 
 proc
-equiv_opt -assert peepopt
-design -load postopt
+#equiv_opt -assert peepopt
+
+design -save gold
+peepopt
+wreduce
+design -stash gate
+design -import gold -as gold
+design -import gate -as gate
+miter -equiv -flatten -make_assert -make_outputs gold gate miter
+sat -seq 1 -verify -prove-asserts -show-ports miter
+
+design -load gate
 select -assert-count 1 t:$dff r:WIDTH=4 %i
 select -assert-count 2 t:$mux
 select -assert-count 2 t:$mux r:WIDTH=4 %i
-- 
2.30.2