Skip to content

Commit 85ebaea

Browse files
committed
Remove test.
1 parent f124db1 commit 85ebaea

File tree

1 file changed

+0
-13
lines changed

1 file changed

+0
-13
lines changed

executor/src/witgen/jit/witgen_inference.rs

-13
Original file line numberDiff line numberDiff line change
@@ -759,17 +759,4 @@ Xor::B[6] = (Xor::B[5] + (Xor::B_byte[5] * 65536));
759759
Xor::B[7] = (Xor::B[6] + (Xor::B_byte[6] * 16777216));"
760760
);
761761
}
762-
763-
#[test]
764-
fn range_constraints_from_fixed() {
765-
let input = "
766-
namespace Main(256);
767-
col fixed x = [0, 1, 0]*;
768-
col fixed y = [7, 9, 13]*;
769-
col witness a, b;
770-
[a, b] in [x, y];
771-
";
772-
let code_0 = solve_on_rows(input, &[2], vec![("Main::a", 1)], Some(16));
773-
//let code_1 = solve_on_rows(input, &[2], vec![("Main::a", 1)], Some(16));
774-
}
775762
}

0 commit comments

Comments
 (0)