Skip to content

Commit a448810

Browse files
committed
Cut general incomplete check
1 parent 98989df commit a448810

File tree

1 file changed

+7
-6
lines changed

1 file changed

+7
-6
lines changed

src/test.rs

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -67,10 +67,6 @@ fn assert_tree(
6767
build_tree(params, halt_flag, tree, &|prog| {
6868
*access(&visited_count) += 1;
6969

70-
if prog.incomplete(params, halt_flag) {
71-
return;
72-
}
73-
7470
if pipeline(prog, params) {
7571
return;
7672
}
@@ -86,6 +82,7 @@ fn assert_tree(
8682
}
8783

8884
#[test]
85+
#[expect(clippy::too_many_lines)]
8986
fn test_tree() {
9087
assert_trees![
9188
(
@@ -172,7 +169,7 @@ fn test_tree() {
172169
}
173170
),
174171
(
175-
((2, 4), 1, 109, (33, 312_642)),
172+
((2, 4), 1, 109, (37, 312_642)),
176173
//
177174
|prog: &CompProg, prms: Params| {
178175
prog.cant_halt(0).is_settled()
@@ -184,7 +181,7 @@ fn test_tree() {
184181
}
185182
),
186183
(
187-
((2, 4), 0, 876, (1_399, 1_719_357)),
184+
((2, 4), 0, 876, (1_412, 1_719_357)),
188185
//
189186
|prog: &CompProg, prms: Params| {
190187
prog.cant_spin_out(2).is_settled()
@@ -194,6 +191,10 @@ fn test_tree() {
194191
|| prog.cps_cant_spin_out(6)
195192
|| prog.seg_cant_spin_out(prms, 4).is_refuted()
196193
|| check_inf(prog, prms, opt_block(prog, 300), 1000)
194+
|| (prog.incomplete(prms, false) && {
195+
prog.seg_cant_halt(prms, 5).is_refuted()
196+
|| prog.cps_cant_halt(6)
197+
})
197198
}
198199
),
199200
];

0 commit comments

Comments
 (0)