therealyingtong fbffd60212 arithmetic_u32::tests: Add test_canonicity check.
This test should fail because its output is the non-canonical value
p = (u32::MAX, 1). However, since the U32ArithmeticGate currently
permits non-canonical outputs, this test passes.
2022-07-09 09:35:52 -04:00
..
2022-04-07 08:44:54 +02:00