From 4429e2112aa958acab2ab43b0bf1d4c43becb50e Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Thu, 16 Nov 2017 13:33:22 -0800
Subject: Make Yosys equivalence check more robust (#686)

Also let Travis know that equivalence checks can take a while---
 scripts/formal_equiv.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts')

diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh
index f7b0fa40..9e744d46 100644
--- a/scripts/formal_equiv.sh
+++ b/scripts/formal_equiv.sh
@@ -52,6 +52,7 @@ else
       hierarchy -top equiv
       clean -purge
       equiv_simple
+      equiv_induct
       equiv_status -assert
     "
 fi
-- 
cgit v1.2.3