enable modulo theories in githubaction tests by downloading cvc5

Barnard-PL-Labs · Dec 23, 2023 · e55b7d6 · e55b7d6
1 parent cfb2d87
commit e55b7d6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml
@@ -16,4 +16,8 @@ jobs:
         with:
           enable-stack: true
           stack-version: 'latest'
+      - run: mkdir deps
+      - run: wget https://github.com/cvc5/cvc5/releases/latest/download/cvc5-Linux
+      - run: mv cvc5-Linux deps/cvc5
+      - run: chmod u+x deps/cvc5
       - run: stack test