Small fixes and adds cvc5 CI

.github/workflows/test-bitwuzla.yml

@@ -33,4 +33,4 @@ jobs:
         run: opam exec -- dune build @install
 
       - name: Test
-        run: opam exec -- dune exec ./test/test_bitwuzla.exe
+        run: opam exec -- dune runtest

.github/workflows/test-colibri2.yml

@@ -33,4 +33,4 @@ jobs:
         run: opam exec -- dune build @install
 
       - name: Test
-        run: opam exec -- dune exec ./test/test_colibri2.exe
+        run: opam exec -- dune runtest

.github/workflows/test-cvc5.yml

@@ -0,0 +1,36 @@
+name: Test cvc5
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  test-cvc5:
+    runs-on: ubuntu-latest
+    env:
+      OPAMCONFIRMLEVEL: unsafe-yes
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup OCaml 4.14
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: "4.14"
+          dune-cache: true
+          allow-prerelease-opam: true
+
+      - name: Install dependencies
+        run: |
+          opam install -y . --deps-only --with-test
+          opam install cvc5
+
+      - name: Build
+        run: opam exec -- dune build @install
+
+      - name: Test
+        run: opam exec -- dune runtest