acvm::pwg

Function is_predicate_false

Source 
pub(crate) fn is_predicate_false<F: AcirField>(
    witness: &WitnessMap<F>,
    predicate: &Option<Expression<F>>,
    pedantic_solving: bool,
    opcode_location: &ErrorLocation,
) -> Result<bool, OpcodeResolutionError<F>>
Expand description

Returns Ok(true) if the predicate is zero A predicate is used to indicate whether we should skip a certain operation. If we have a zero predicate it means the operation should be skipped.

Returns Ok(false) when the predicate is None.