add a failing test

TomWambsgans · TomWambsgans · commit 9db4b93f8baf · 2025-11-12T12:52:56.000+04:00
diff --git a/crates/lean_prover/tests/test_range_check.rs b/crates/lean_prover/tests/test_range_check.rs
@@ -135,3 +135,11 @@ fn test_range_check(num_test_cases: usize, valid: bool) {
         do_test_range_check(v, t, &whir_config_builder, &public_input, &private_input);
     }
 }
+
+// BUG HERE
+#[test]
+fn failing_test() {
+    let (public_input, private_input) = prepare_inputs();
+    let whir_config_builder = whir_config_builder();
+    do_test_range_check(16390, 1 << 16, &whir_config_builder, &public_input, &private_input);
+}

Original file line number	Diff line number	Diff line change
`@@ -135,3 +135,11 @@ fn test_range_check(num_test_cases: usize, valid: bool) {`
`135`	`135`	`do_test_range_check(v, t, &whir_config_builder, &public_input, &private_input);`
`136`	`136`	`}`
`137`	`137`	`}`
	`138`	`+`
	`139`	`+// BUG HERE`
	`140`	`+#[test]`
	`141`	`+fn failing_test() {`
	`142`	`+ let (public_input, private_input) = prepare_inputs();`
	`143`	`+ let whir_config_builder = whir_config_builder();`
	`144`	`+ do_test_range_check(16390, 1 << 16, &whir_config_builder, &public_input, &private_input);`
	`145`	`+}`