Check ground models with Dolmen

Halbaroth · Aug 24, 2023 · b66240a · b66240a
1 parent e9affab
commit b66240a
Show file tree

Hide file tree

Showing 5 changed files with 1,221 additions and 1,149 deletions.
diff --git a/Makefile b/Makefile
@@ -126,7 +126,7 @@ runtest: gentest bin
 
 # Run non-regression tests for the CI.
 runtest-ci: gentest bin
-	dune build @runtest @runtest-quick @runtest-ci
+	dune build @runtest @runtest-quick @runtest-ci @check-models
 
 # Promote new outputs of the tests.
 promote:

diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -20,6 +20,7 @@ depends: [
   "dolmen" {>= "0.9"}
   "dolmen_type" {>= "0.9"}
   "dolmen_loop" {>= "0.9"}
+  "dolmen_bin" {with-test}
   "ocplib-simplex" {>= "0.5"}
   "zarith" {>= "1.4"}
   "seq"

diff --git a/dune-project b/dune-project
@@ -80,6 +80,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
   (dolmen (>= 0.9))
   (dolmen_type (>= 0.9))
   (dolmen_loop (>= 0.9))
+  (dolmen_bin :with-test)
   (ocplib-simplex (>= 0.5))
   (zarith (>= 1.4))
   seq