From e55b7d607f472c955c3208e73e583e5d401f0cc6 Mon Sep 17 00:00:00 2001
From: Mark Santolucito <msantolu@barnard.edu>
Date: Sat, 23 Dec 2023 05:25:14 -0500
Subject: [PATCH] enable modulo theories in githubaction tests by downloading
 cvc5

---
 .github/workflows/action.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml
index 3693b40..a0fd8c5 100644
--- 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