Skip to main content

register_generate_runtime_verification

melior::pass::transform

Function register_generate_runtime_verification 

Source 
pub fn register_generate_runtime_verification()
Expand description

Registers a GenerateRuntimeVerification pass.