From c3563f47786dd12f4cdd364e254c78e70113f489 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Sat, 21 Dec 2024 13:47:57 +0100 Subject: [PATCH] Code clean-ups --- src/gc/stm_tests_spec.ml | 20 +++----------------- 1 file changed, 3 insertions(+), 17 deletions(-) diff --git a/src/gc/stm_tests_spec.ml b/src/gc/stm_tests_spec.ml index 570848349..68c1ef8bb 100644 --- a/src/gc/stm_tests_spec.ml +++ b/src/gc/stm_tests_spec.ml @@ -225,11 +225,9 @@ let alloc_cmds, gc_cmds = else gc_cmds in alloc_cmds, gc_cmds -let arb_cmd _s = - QCheck.make ~print:show_cmd (Gen.frequency gc_cmds) +let arb_cmd _s = QCheck.make ~print:show_cmd (Gen.frequency gc_cmds) -let arb_alloc_cmd _s = - QCheck.make ~print:show_cmd (Gen.frequency alloc_cmds) +let arb_alloc_cmd _s = QCheck.make ~print:show_cmd (Gen.frequency alloc_cmds) let next_state n s = match n with | Stat -> s @@ -264,17 +262,6 @@ let next_state n s = match n with | PreAllocBigarray _ -> s | AllocBigarray _ -> s -(* -BUG -... - Set stack_limit 3283 : () -... - Get : { minor_heap_size = 8192; major_heap_increment = 0; space_overhead = 183; verbose = 0; max_overhead = 0; stack_limit = 3284; allocation_policy = 0; window_size = 0; custom_major_ratio = 44; custom_minor_ratio = 100; custom_minor_max_size = 70000 } - -calls 'caml_change_max_stack_size' in runtime/fiber.c:70 which may expand the size slightly it see - -also `caml_maybe_expand_stack` may do so -*) type sut = { mutable int64s : int64 list; mutable strings : string array; @@ -297,8 +284,7 @@ let cleanup sut = Gc.compact () end -let precond n _s = match n with - | _ -> true +let precond _n _s = true type _ ty += Tup3 : 'a ty * 'b ty * 'c ty -> ('a * 'b * 'c) ty | GcStat: Gc.stat ty