From e7fc127bf3328736f7325b9078d19301acd28b87 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Thu, 8 Aug 2024 09:19:41 +0200 Subject: [PATCH] Revert fork again --- src/domain/stm_tests_dls.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/domain/stm_tests_dls.ml b/src/domain/stm_tests_dls.ml index ae4bcf75..d6af667f 100644 --- a/src/domain/stm_tests_dls.ml +++ b/src/domain/stm_tests_dls.ml @@ -65,7 +65,7 @@ let agree_prop cs = match Domain.spawn (fun () -> Util.protect DLS_STM_seq.agree | Error e -> raise e let agree_test ~count ~name = - Test.make ~name ~count (DLS_STM_seq.arb_cmds DLSConf.init_state) (Util.fork_prop_with_timeout 10 agree_prop) + Test.make ~name ~count (DLS_STM_seq.arb_cmds DLSConf.init_state) agree_prop ;; QCheck_base_runner.run_tests_main [