Module snarkvm_circuit::macros::metrics
source · Macros
- Asserts the count for a given operation and case, and ensure the circuit is satisfied.
- Asserts the count for a given operation and case, and ensure the circuit is NOT satisfied.
- Asserts the output mode for a given operation and case.