add tests for zero l/r for AND, bigint generator/harness with a bunch…

… of identity and zero tests
noir-lang · Jul 16, 2024 · 1ed070e · 1ed070e
1 parent bd36dc5
commit 1ed070e
Show file tree

Hide file tree

Showing 2 changed files with 297 additions and 30 deletions.
diff --git a/acvm-repo/acvm/tests/solver.proptest-regressions b/acvm-repo/acvm/tests/solver.proptest-regressions
@@ -6,3 +6,4 @@
 # everyone who runs the test benefits from these saved cases.
 cc e4dd0e141df173f5dfdfb186bba4154247ec284b71d8f294fa3282da953a0e92 # shrinks to x = 0, y = 1
 cc 419ed6fdf1bf1f2513889c42ec86c665c9d0500ceb075cbbd07f72444dbd78c6 # shrinks to x = 266672725
+cc 0810fc9e126b56cf0a0ddb25e0dc498fa3b2f1980951550403479fc01c209833 # shrinks to modulus = [71, 253, 124, 216, 22, 140, 32, 60, 141, 202, 113, 104, 145, 106, 129, 151, 93, 88, 129, 129, 182, 69, 80, 184, 41, 160, 49, 225, 114, 78, 100, 48], zero_or_ones_constant = false, use_constant = false