Merge pull request #140 from shym/cram-dynlink

Load only the QCheck-STM plugin in its cram tests
ocaml-gospel · Sep 19, 2023 · 5dc2443 · 5dc2443
2 parents 310d048 + 55d7546
commit 5dc2443
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/plugins/qcheck-stm/test/test_errors.t b/plugins/qcheck-stm/test/test_errors.t
@@ -1,5 +1,7 @@
 In this file, we test the different ways to make the `ortac qcheck-stm`
-command-line fail.
+command-line fail, so we load only the `qcheck-stm` plugin:
+
+  $ export ORTAC_ONLY_PLUGIN=qcheck-stm
 
 We can make a syntax error in either the expression for the `init` function, or
 in the type declaration for the sytem under test: