Make stack overflow less likely

mit-plv · Nov 20, 2022 · 8c2b677 · 8c2b677
1 parent 62fdc3c
commit 8c2b677
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap.v b/src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap.v
@@ -200,9 +200,9 @@ Definition max_input_of_kind (k : kind_of_rewrite) : option (Z * Z)
      | kind_red native
        => Some (110, 110) (* works with 130, 130, but we fallback to vm when native is not available *) (* stack overflows on (20880, 1) *)
      | kind_red cbv
-       => Some (140, 140) (* stack overflows on (25760, 1) *)
+       => Some (110, 110) (* stack overflows on (25760, 1) *)
      | kind_red lazy
-       => Some (140, 140) (* stack overflows on (22052, 1) *)
+       => Some (110, 110) (* stack overflows on (22052, 1) *)
      | kind_red cbn
        => None
      | kind_red simpl