diff options
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 |