add handling for witness vs constant inputs, wip testing bigint's, ad…

…d tests for to/from le bytes, add tests for commutative/associative/identity and/xor
noir-lang · Jul 12, 2024 · bd36dc5 · bd36dc5
1 parent ba58119
commit bd36dc5
Show file tree

Hide file tree

Showing 2 changed files with 291 additions and 55 deletions.
diff --git a/acvm-repo/acvm/tests/solver.proptest-regressions b/acvm-repo/acvm/tests/solver.proptest-regressions
@@ -0,0 +1,8 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc e4dd0e141df173f5dfdfb186bba4154247ec284b71d8f294fa3282da953a0e92 # shrinks to x = 0, y = 1
+cc 419ed6fdf1bf1f2513889c42ec86c665c9d0500ceb075cbbd07f72444dbd78c6 # shrinks to x = 266672725