Add simple breaking test case

sanket1729 · sanket1729 · commit e0c243f2eb52 · 2023-02-13T22:16:18.000-08:00
diff --git a/src/modules/bppp/tests_impl.h b/src/modules/bppp/tests_impl.h
@@ -600,6 +600,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
`@@ -600,6 +600,10 @@ void rangeproof_test(size_t digit_base, size_t num_bits, uint64_t value, uint64_`
`600`	`600`
`601`	`601`	`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);`
`602`	`602`	`CHECK(res == 1);`
	`603`	`+`
	`604`	`+ proof[plen - 1] ^= 1;`
	`605`	`+ 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);`
	`606`	`+ CHECK(res == 0);`
`603`	`607`	`}`
`604`	`608`
`605`	`609`	`void run_bppp_tests(void) {`