Add simple breaking test case

sanket1729 · sanket1729 · commit c0da897c3115 · 2023-02-08T13:07:06.000-08:00
diff --git a/src/modules/bppp/tests_impl.h b/src/modules/bppp/tests_impl.h
@@ -582,6 +582,10 @@ void rangeproof_test(size_t digit_base, size_t num_bits, uint64_t value, uint64_
 
     res = secp256k1_bppp_rangeproof_verify(secp_ctx, scratch, gs, &asset_genp, proof, plen, num_bits, digit_base, min_value, &commit, extra_commit, extra_commit_len);
     CHECK(res == 1);
+
+    proof[plen - 1] ^= 1;
+    res = secp256k1_bppp_rangeproof_verify(secp_ctx, scratch, gs, &asset_genp, proof, plen, num_bits, digit_base, min_value, &commit, extra_commit, extra_commit_len);
+    CHECK(res == 0);
 }
 
 void run_bppp_tests(void) {

Original file line number	Diff line number	Diff line change
`@@ -582,6 +582,10 @@ void rangeproof_test(size_t digit_base, size_t num_bits, uint64_t value, uint64_`
`582`	`582`
`583`	`583`	`res = secp256k1_bppp_rangeproof_verify(secp_ctx, scratch, gs, &asset_genp, proof, plen, num_bits, digit_base, min_value, &commit, extra_commit, extra_commit_len);`
`584`	`584`	`CHECK(res == 1);`
	`585`	`+`
	`586`	`+ proof[plen - 1] ^= 1;`
	`587`	`+ res = secp256k1_bppp_rangeproof_verify(secp_ctx, scratch, gs, &asset_genp, proof, plen, num_bits, digit_base, min_value, &commit, extra_commit, extra_commit_len);`
	`588`	`+ CHECK(res == 0);`
`585`	`589`	`}`
`586`	`590`
`587`	`591`	`void run_bppp_tests(void) {`