Use the gospel file in examples

This only tests the `qcheck-stm` plugin, but it was also the only one modified with this new feature.
ocaml-gospel · Mar 26, 2024 · a52fd59 · a52fd59
1 parent 003676c
commit a52fd59
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/examples/dune b/examples/dune
@@ -34,6 +34,13 @@
 (rule
  (copy varray_spec.mli varray_circular_spec.mli))
 
+(rule
+ (alias runtest)
+ (package ortac-examples)
+ (targets varray_circular_spec.gospel)
+ (action
+  (run %{bin:gospel} check %{dep:varray_circular_spec.mli})))
+
 (library
  (name varray_circular_spec)
  (modules varray_circular_spec)