From: Eddie Hung <eddie@fpgeh.com>
Date: Sat, 14 Sep 2019 01:19:07 +0000 (-0700)
Subject: Oops
X-Git-Tag: working-ls180~1058^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f492567c872c1f6bc864fe0a3d86021558f8101e;p=yosys.git

Oops
---

diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys
index 7c1c3b5bc..6bca62e2b 100644
--- a/tests/various/peepopt.ys
+++ b/tests/various/peepopt.ys
@@ -47,10 +47,10 @@ design -import gate -as gate peepopt_shiftmul_2
 
 miter -equiv -make_assert -make_outputs -ignore_gold_x -flatten gold gate miter
 sat -show-public -enable_undef -prove-asserts miter
+cd gate
 select -assert-count 1 t:$shr
 select -assert-count 1 t:$mul
 select -assert-count 0 t:$shr t:$mul %% t:* %D
-exit
 
 ####################