Add simple breaking test case

sanket1729 · sanket1729 · commit a14b56255cd5 · 2023-02-08T03:29:32.000-08:00
diff --git a/src/modules/bppp/tests_impl.h b/src/modules/bppp/tests_impl.h
@@ -559,6 +559,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
`@@ -559,6 +559,10 @@ void rangeproof_test(size_t digit_base, size_t num_bits, uint64_t value, uint64_`
`559`	`559`
`560`	`560`	`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);`
`561`	`561`	`CHECK(res == 1);`
	`562`	`+`
	`563`	`+ proof[plen - 1] ^= 1;`
	`564`	`+ 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);`
	`565`	`+ CHECK(res == 0);`
`562`	`566`	`}`
`563`	`567`
`564`	`568`	`void run_bppp_tests(void) {`