chore: test blackbox binary op instructions#5484

Merged

michaeljklein merged 20 commits intomasterfrom michaeljklein/test-binary-ops

Jul 30, 2024

+207-1

Commits on Jul 11, 2024

add simple acvm test for binary AND commutativity, add single-op solver helper, add wip slice control flow test (currently hitting the 'push_back'-panics-in-unevaluated-branch bug), add wip array c…
michaeljklein
committed
wip commutative tests for and/xor, converted and extended control flow test to arrays
michaeljklein
committed

Commits on Jul 12, 2024

add handling for witness vs constant inputs, wip testing bigint's, add tests for to/from le bytes, add tests for commutative/associative/identity and/xor
michaeljklein
committed

Commits on Jul 16, 2024

add tests for zero l/r for AND, bigint generator/harness with a bunch of identity and zero tests
michaeljklein
committed

Commits on Jul 24, 2024

Commits on Jul 25, 2024

Merge branch 'master' into michaeljklein/test-binary-ops
michaeljklein
authored

Commits on Jul 29, 2024

Commits on Jul 30, 2024