Increase rec check

nickdrozd · Jul 6, 2024 · 29306a9 · 29306a9
1 parent 990b270
commit 29306a9
Showing 1 changed file with 14 additions and 14 deletions.
diff --git a/src/tree.rs b/src/tree.rs
@@ -267,7 +267,7 @@ fn incomplete(comp: &CompProg, params: Params) -> bool {
 #[cfg(test)]
 fn skip(comp: &CompProg, params: Params, halt: bool) -> bool {
     incomplete(comp, params)
-        || quick_term_or_rec(comp, 50, true)
+        || quick_term_or_rec(comp, 100, true)
         || if halt { cant_halt } else { cant_spin_out }(comp)
 }
 
@@ -312,31 +312,31 @@ fn test_tree() {
         ((2, 2), 0, (0, 106)),
         //
         ((3, 2), 1, (21, 3_140)),
-        ((3, 2), 0, (44, 13_128)),
+        ((3, 2), 0, (39, 13_128)),
         //
-        ((2, 3), 1, (85, 2_447)),
-        ((2, 3), 0, (117, 9_168)),
+        ((2, 3), 1, (84, 2_447)),
+        ((2, 3), 0, (100, 9_168)),
     ];
 }
 
 #[test]
 #[ignore]
 fn test_tree_slow() {
     assert_trees![
-        ((4, 2), 1, (6_329, 467_142)),
-        ((4, 2), 0, (15_968, 2_291_637)),
+        ((4, 2), 1, (5_032, 467_142)),
+        ((4, 2), 0, (10_844, 2_291_637)),
         //
-        ((2, 4), 1, (19_987, 312_642)),
-        ((2, 4), 0, (70_614, 1_719_237)),
+        ((2, 4), 1, (15_803, 312_642)),
+        ((2, 4), 0, (42_510, 1_719_237)),
         //
-        ((5, 2), 1, (3_188_444, 95_310_168)),
-        // ((5, 2), 0, (8_302_219, 534_798_275)),
+        ((5, 2), 1, (1_538_974, 95_310_168)),
+        // ((5, 2), 0, (8_302_219?, 534_798_275)),
         //
-        ((2, 5), 1, (9_551_762, 70_028_531)),
-        // ((2, 5), 0, (45_934_961, 515_051_756)),
+        ((2, 5), 1, (4_935_708, 70_028_531)),
+        // ((2, 5), 0, (45_934_961?, 515_051_756)),
         //
-        ((3, 3), 1, (2_029_404, 25_306_222)),
-        ((3, 3), 0, (5_710_117, 149_365_898)),
+        ((3, 3), 1, (1_218_023, 25_306_222)),
+        ((3, 3), 0, (2_753_679, 149_365_898)),
     ];
 }