diff options
| author | Jack Koenig | 2017-12-12 15:33:00 -0800 |
|---|---|---|
| committer | Jack Koenig | 2017-12-12 15:34:43 -0800 |
| commit | 0d794d57df7b388109d7a0834d3b5be8f79892be (patch) | |
| tree | f557811fb961a3125bbfef95815eb81f72ca8346 /.travis.yml | |
| parent | e39609a2bfbbd108fa1e5044e9c270685d75a816 (diff) | |
Refactor formal equivalence CI test
Make the check script allow different designs
Add FPU, ICache, and RocketCore to regress and use instead of Rob for CI
equivalence check
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 2964924d..97dbfd4e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -34,4 +34,10 @@ jobs: - bash .run_chisel_tests.sh - stage: test script: - - travis_wait 90 bash .run_formal_checks.sh + - ./.run_formal_checks.sh RocketCore + - stage: test + script: + - ./.run_formal_checks.sh FPU + - stage: test + script: + - ./.run_formal_checks.sh ICache |