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---
 .travis.yml             | 2 +-
 scripts/formal_equiv.sh | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 00a1fca2..2964924d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -34,4 +34,4 @@ jobs:
         - bash .run_chisel_tests.sh
     - stage: test
       script:
-        - bash .run_formal_checks.sh
+        - travis_wait 90 bash .run_formal_checks.sh
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