Add an internal test for Lin on uncaught exceptions

Author: shym

test/dune

@@ -54,3 +54,17 @@
  (libraries qcheck-stm.sequential threads.posix)
  (action
   (with-accepted-exit-codes 1 (run ./%{test} --verbose --seed 229109553))))
+
+(test
+ (name uncaught_lin)
+ (package qcheck-lin)
+ (modules uncaught_lin)
+ (libraries qcheck-lin.domain)
+ (enabled_if (>= %{ocaml_version} 5))
+ (action
+  (pipe-outputs
+   (with-accepted-exit-codes 1
+    (run %{test} --no-colors --verbose --seed 260395858))
+   ; filter out output that is not deterministic enough across
+   ; versions and platforms
+   (run sed -e "/^[[]/d" -e "s/ ([0-9]* shrink steps)//"))))

test/uncaught_lin.expected

@@ -0,0 +1,32 @@
+random seed: 260395858
+generated error fail pass / total     time test name
+
+=== Error ======================================================================
+
+Test Lin DSL test of uncaught exceptions errored on:
+
+                           |             
+                     always_fail t       
+                           |             
+                .---------------------.
+                |                     |             
+
+
+exception Failure("unexpected") raised but not caught while running always_fail t
+
+
+=== Error ======================================================================
+
+Test neg Lin DSL test of uncaught exceptions errored on:
+
+                           |             
+                     always_fail t       
+                           |             
+                .---------------------.
+                |                     |             
+
+
+exception Failure("unexpected") raised but not caught while running always_fail t
+
+================================================================================
+failure (0 tests failed, 2 tests errored, ran 2 tests)

test/uncaught_lin.ml

@@ -0,0 +1,24 @@
+(* Test of the behaviour of Lin tests with uncaught exceptions *)
+
+let always_fail () = failwith "unexpected"
+
+module UncaughtExcConf = struct
+  open Lin
+
+  type t = unit
+
+  let init () = ()
+  let cleanup _ = ()
+  let api = [ val_ "always_fail" always_fail (t @-> returning unit) ]
+end
+
+module UncaughtExc_domain = Lin_domain.Make (UncaughtExcConf)
+
+let _ =
+  QCheck_base_runner.run_tests_main
+    [
+      UncaughtExc_domain.lin_test ~count:10
+        ~name:"Lin DSL test of uncaught exceptions";
+      UncaughtExc_domain.neg_lin_test ~count:10
+        ~name:"neg Lin DSL test of uncaught exceptions";
+    ]