mina_tree::generators::zkapp_command

Function gen_invalid_protocol_state_precondition

Source 
fn gen_invalid_protocol_state_precondition(
    psv: &ProtocolStateView,
) -> ZkAppPreconditions
Expand description

https://github.com/MinaProtocol/mina/blob/2ff0292b637684ce0372e7b8e23ec85404dc5091/src/lib/mina_generators/zkapp_command_generators.ml#L443