diff options
| author | Kevin Laeufer | 2021-08-25 12:38:56 -0700 |
|---|---|---|
| committer | GitHub | 2021-08-25 12:38:56 -0700 |
| commit | 3840fec3d918f23df07a18311136ac6a1bc365e1 (patch) | |
| tree | 2b8d2717c06f203a76bde408d477462b66f6949d /.github | |
| parent | bf46afcebcb13e51d1e8c96ea2755fdcb352db4c (diff) | |
replace custom model checker with chiseltest formal verify command (#2075)
* replace custom model checker with chiseltest formal verify command
* integration-tests can make use of chiseltest
This is a compromise solution to avoid issues
with binary compatibility breaking changes in chisel3.
* ci: move integration tests into separate job
* run integration tests only for one scala version
* ci: install espresso for integration tests
* Update build.sbt
Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>
Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/test.yml | 29 |
1 files changed, 28 insertions, 1 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 3438dcf9..a2240ff8 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -113,13 +113,40 @@ jobs: - name: Binary compatibility run: sbt ++${{ matrix.scala }} mimaReportBinaryIssues + integration: + name: Integration Tests (w/ chiseltest) + runs-on: ubuntu-20.04 + steps: + - name: Checkout + uses: actions/checkout@v2 + - name: Install Verilator and Z3 + run: | + sudo apt-get install -y verilator z3 + verilator --version + z3 --version + - name: Install Espresso + run: | + cd /tmp + wget https://github.com/chipsalliance/espresso/releases/download/v2.4/x86_64-linux-gnu-espresso + chmod +x x86_64-linux-gnu-espresso + sudo mv x86_64-linux-gnu-espresso /usr/local/bin/espresso + espresso || true + - name: Setup Scala + uses: olafurpg/setup-scala@v10 + with: + java-version: "adopt@1.11" + - name: Cache Scala + uses: coursier/cache-action@v5 + - name: Integration Tests + run: sbt integrationTests/test + # Sentinel job to simplify how we specify which checks need to pass in branch # protection and in Mergify # # When adding new jobs, please add them to `needs` below all_tests_passed: name: "all tests passed" - needs: [ci] + needs: [ci, integration] runs-on: ubuntu-20.04 steps: - run: echo Success! |