diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index d1d6cd64..2065cb56 100644 --- a/.travis.yml +++ b/.travis.yml @@ -77,5 +77,11 @@ jobs: - "travis_wait 30 sleep 1800 &" - ./.run_formal_checks.sh ICache - stage: test + name: "Formal equivalence: Ops" + script: + - yosys -V + - "travis_wait 30 sleep 1800 &" + - ./.run_formal_checks.sh Ops + - stage: test script: - benchmark/scripts/benchmark_cold_compile.py -N 2 --designs regress/ICache.fir --versions HEAD |