Add an internal test for Lin on uncaught exceptions

Author: shym

test/dune

@@ -54,3 +54,12 @@
  (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)
+ (action
+  (with-accepted-exit-codes 1
+   (run %{test} --verbose --seed 260395858))))

test/uncaught_lin.expected

@@ -0,0 +1,34 @@
+random seed: 260395858
+generated error fail pass / total     time test name
+[ ]    0    0    0    0 /   10     0.0s Lin DSL test of uncaught exceptions[ ]    0    0    0    0 /   10     0.0s Lin DSL test of uncaught exceptions (generating)[✗]    1    1    0    0 /   10     0.0s Lin DSL test of uncaught exceptions
+[ ]    0    0    0    0 /   10     0.0s neg Lin DSL test of uncaught exceptions[✗]    1    1    0    0 /   10     0.0s neg Lin DSL test of uncaught exceptions
+
+=== Error ======================================================================
+
+Test Lin DSL test of uncaught exceptions errored on (18 shrink steps):
+
+                           |             
+                     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 (18 shrink steps):
+
+                           |             
+                     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";
+    ]