From 73519c1a0a79aa3b474b0f69095b98738e373553 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 7 Aug 2024 16:33:07 +0200 Subject: [PATCH] Roll back fork attempt --- 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 [