derive & implement `Arbitrary` for better property based testing

TritonVM / triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

https://triton-vm.org

Apache License 2.0

241 stars 36 forks source link

derive & implement `Arbitrary` for better property based testing #231

Closed jan-ferdinand closed 11 months ago