Module test_utils

Source
Expand description

Utilities for testing M3 constraint systems and gadgets.

Structs§

ClosureFiller
An easy-to-use implementation of TableFiller that is constructed with a closure.

Functions§

validate_system_witness
Utility for M3 tests to validate a constraint system and witness.
validate_system_witness_with_prove_verify