From d9c7827ced85a3710123a862c7241542752c4bce Mon Sep 17 00:00:00 2001 From: Nicolas Osborne Date: Wed, 24 Jan 2024 16:53:24 +0100 Subject: [PATCH] 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. --- examples/dune | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/examples/dune b/examples/dune index 08f03a37..ec0ad0ad 100644 --- a/examples/dune +++ b/examples/dune @@ -56,6 +56,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)