Add missing dep + test on CI

codex-semantics-library · Apr 12, 2024 · 72338ee · 72338ee
1 parent bdf9cbc
commit 72338ee
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 4 deletions.
diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml
@@ -30,6 +30,11 @@ jobs:
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
-      - run: opam install . --deps-only --with-test
+      - name: Install dependencies
+        run: opam install . --deps-only --with-test
 
-      - run: opam exec -- dune build
+      - name: Build library
+        run: opam exec -- dune build
+
+      - name: Run unit tests
+        run: opam exec -- dune test
diff --git a/PatriciaTree.opam b/PatriciaTree.opam
@@ -16,6 +16,7 @@ depends: [
   "qcheck-core" {>= "0.21.2"}
   "zarith" {>= "1.13"}
   "dune" {>= "2.0"}
+  "ppx_inline_test" {>= "v0.16.0"}
 ]
 build: [
   ["dune" "subst"] {pinned}

diff --git a/dune-project b/dune-project
@@ -1,4 +1,5 @@
 (lang dune 2.0)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;  This file is part of the Patricia Tree library.                       ;;
 ;;                                                                        ;;
@@ -48,4 +49,6 @@
   (zarith
    (>= "1.13"))
   (dune
-   (>= "2.0"))))
+   (>= "2.0"))
+  (ppx_inline_test
+   (>= "v0.16.0"))))
diff --git a/patriciaTreeTest.ml b/patriciaTreeTest.ml
@@ -488,7 +488,7 @@ let%test_module _ = (module struct
       (* dump_test model1 model2 myres modelres; *)
       (* Printf.printf "res is %b\n%!" @@ IntMap.equal (=) modelres myres; *)
       modelres == myres)
-  let () = QCheck.Test.check_exn test_disjoint;;
+  let () = QCheck.Test.check_exn test_disjoint
 end)