From ea43e484959d4edd031a1420a775204aac41aa13 Mon Sep 17 00:00:00 2001
From: Adam Izraelevitz
Date: Thu, 21 Feb 2019 21:21:15 -0800
Subject: Bump yosys to 0.8 (#1029)

---
 scripts/formal_equiv.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh
index 407ae753..8214e56b 100755
--- a/scripts/formal_equiv.sh
+++ b/scripts/formal_equiv.sh
@@ -61,7 +61,7 @@ else
       equiv_make top1 top2 equiv
       hierarchy -top equiv
       clean -purge
-      equiv_simple
+      equiv_simple -short
       equiv_induct
       equiv_status -assert
     "
-- 
cgit v1.2.3