Add simple breaking test case

sanket1729 · sanket1729 · commit 1176e1e248eb · 2023-01-21T15:41:36.000-08:00
diff --git a/src/modules/bulletproofs/tests_impl.h b/src/modules/bulletproofs/tests_impl.h
@@ -240,6 +240,10 @@ void rangeproof_test(size_t digit_base, size_t num_bits, uint64_t value, uint64_
 
     res = secp256k1_bulletproofs_pp_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_bulletproofs_pp_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_bulletproofs_tests(void) {

Original file line number	Diff line number	Diff line change
`@@ -240,6 +240,10 @@ void rangeproof_test(size_t digit_base, size_t num_bits, uint64_t value, uint64_`
`240`	`240`
`241`	`241`	`res = secp256k1_bulletproofs_pp_rangeproof_verify(secp_ctx, scratch, gs, &asset_genp, proof, plen, num_bits, digit_base, min_value, &commit, extra_commit, extra_commit_len);`
`242`	`242`	`CHECK(res == 1);`
	`243`	`+`
	`244`	`+ proof[plen - 1] += 1;`
	`245`	`+ res = secp256k1_bulletproofs_pp_rangeproof_verify(secp_ctx, scratch, gs, &asset_genp, proof, plen, num_bits, digit_base, min_value, &commit, extra_commit, extra_commit_len);`
	`246`	`+ CHECK(res == 0);`
`243`	`247`	`}`
`244`	`248`
`245`	`249`	`void run_bulletproofs_tests(void) {`