diff options
| author | Jack Koenig | 2017-11-16 13:33:22 -0800 |
|---|---|---|
| committer | GitHub | 2017-11-16 13:33:22 -0800 |
| commit | 4429e2112aa958acab2ab43b0bf1d4c43becb50e (patch) | |
| tree | f6b81113809c267688257aa2e9012640625dd97d | |
| parent | 7d86a35e19519d92dc436c07359d5120b44b5a85 (diff) | |
Make Yosys equivalence check more robust (#686)
Also let Travis know that equivalence checks can take a while
| -rw-r--r-- | .travis.yml | 2 | ||||
| -rw-r--r-- | scripts/formal_equiv.sh | 1 |
2 files changed, 2 insertions, 1 deletions
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 |