From a52fd591dc2d402fd3602cffba3e7927a4cc87c9 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 fc21a4a9..74d5b0b0 100644 --- 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)