From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 18 Dec 2019 00:11:54 +0000 (-0800)
Subject: Remove &verify -s
X-Git-Tag: working-ls180~881^2^2~67
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c9c77a90b32a1fea64823dbded7eeddf826617a1;p=yosys.git

Remove &verify -s
---

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 1f7585318..8027c5131 100644
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -30,7 +30,7 @@
 						"&st; &if -g -K 6; &synch2; &if {W} -v; &save; &load; "\
 						"&mfs; &ps -l"
 #else
-#define ABC_COMMAND_LUT "&st; &scorr; &sweep; &dc2; &st; &dch -f; &ps; &if {W} {D} -v; &mfs; &ps -l; &verify -s"
+#define ABC_COMMAND_LUT "&st; &scorr; &sweep; &dc2; &st; &dch -f; &ps; &if {W} {D} -v; &mfs; &ps -l"
 #endif