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 · May 21, 2024 · 000f318 · 000f318
1 parent 98ea8a3
commit 000f318
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/examples/dune b/examples/dune
@@ -58,6 +58,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)