Merge pull request #202 from n-osborne/failure-message

Improve failure message

CHANGES.md

@@ -1,5 +1,7 @@
 # Unreleased
 
+- Improve test-failure message
+  [\#202](https://github.com/ocaml-gospel/ortac/pull/202)
 - Add a comment warning that the file is generated
   [\#198](https://github.com/ocaml-gospel/ortac/pull/198)
 - Add support for type invariants

dune-project

@@ -179,6 +179,24 @@
   ortac-core
   (ortac-qcheck-stm :with-test)))
 
+(package
+ (name ortac-runtime-qcheck-stm)
+ (synopsis "Runtime support library for Ortac/QCheck-STM-generated code")
+ (description
+  "\> The ortac-runtime-qcheck-stm library provides support for the code
+  "\> generated by the Ortac/QCheck-STM plugin (provided by the
+  "\> ortac-qcheck-stm package).
+  "\>
+  "\> Ortac (OCaml Runtime Assertion Checking) is a tool to turn
+  "\> executable Gospel specifications into code to test they hold.
+  )
+ (authors "Nicolas Osborne <[email protected]>")
+ (maintainers "Nicolas Osborne <[email protected]>")
+ (depends
+  (ocaml (>= 4.11.0))
+  qcheck-stm
+  ortac-runtime))
+
 (package
  (name ortac-examples)
  (synopsis

examples/dune.lwt_dllist.inc

@@ -56,7 +56,7 @@
   qcheck-stm.stm
   qcheck-stm.sequential
   qcheck-multicoretests-util
-  ortac-runtime)
+  ortac-runtime-qcheck-stm)
  (package ortac-examples)
  (action
   (run

examples/dune.varray.inc

@@ -56,7 +56,7 @@
   qcheck-stm.stm
   qcheck-stm.sequential
   qcheck-multicoretests-util
-  ortac-runtime)
+  ortac-runtime-qcheck-stm)
  (package ortac-examples)
  (action
   (run

examples/dune.varray_circular.inc

@@ -56,7 +56,7 @@
   qcheck-stm.stm
   qcheck-stm.sequential
   qcheck-multicoretests-util
-  ortac-runtime)
+  ortac-runtime-qcheck-stm)
  (package ortac-examples)
  (action
   (run