fix cvc5 location

.github/workflows/action.yml

@@ -16,9 +16,10 @@ jobs:
         with:
           enable-stack: true
           stack-version: 'latest'
-      - run: mkdir deps-bin deps-src
+      - run: mkdir deps deps-src
+      - run: mkdir deps/bin
       - run: wget -P deps-src https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.1/cvc5-Linux-static.zip
       - run: unzip deps-src/cvc5-Linux-static.zip -d deps-src
-      - run: mv deps-src/cvc5-Linux-static/bin/cvc5 deps-bin
-      - run: chmod u+x deps-bin/cvc5
-      - run: PATH="deps-bin:$PATH" stack test
+      - run: mv deps-src/cvc5-Linux-static/bin/cvc5 deps/bin
+      - run: chmod u+x deps/bin/cvc5
+      - run: PATH="deps/bin:$PATH" stack test

package.yaml

@@ -11,7 +11,7 @@ author:
   - Gideon Geier <gideon.geier@cispa.de>
   - Marvin Stenger <marvin.stenger@cispa.de>
   - Wonhyuk Choi <wonhyuk.choi@columbia.edu>
-  - Feitong Leo Qiao <leo.qiao@columbia.edu>
+  - Feitong Leo Qiao <flq2101@columbia.edu>
 category: Synthesis
 build-type: Simple
 

test/ModuloTheoriesTests.hs

@@ -66,7 +66,7 @@ makeTestName :: String -> String
 makeTestName = ("Modulo Theories >> " ++)
 
 cvc5Path :: FilePath
-cvc5Path = "deps/cvc5"
+cvc5Path = "deps/bin/cvc5"
 
 predicatesTests :: [Test]
 predicatesTests = [convert2Cabal (makeTestName "Predicates") hUnitTest]