Skip to content

Commit

Permalink
Add equivalence-test
Browse files Browse the repository at this point in the history
  • Loading branch information
sinofp committed Aug 23, 2021
1 parent 34201a8 commit 2e4a3eb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/test.yml
Expand Up @@ -52,7 +52,7 @@ jobs:
- name: Download ESPRESSO-II
run: |
curl -L https://github.com/chipsalliance/espresso/releases/download/v2.4/x86_64-linux-gnu-espresso -o espresso2
sudo chown +x espresso2
sudo chmod +x espresso2
- name: Build current espresso
run: cmake -DBUILD_DOC=NO -B build && make -C build
- name: Use espresso2 -Dverify to check the equivalence
Expand Down

0 comments on commit 2e4a3eb

Please sign in to comment.