[][src]Function module_generation::generate_verified_modules

pub fn generate_verified_modules(
    rng: &mut StdRng,
    number: usize,
    options: ModuleGeneratorOptions
) -> (CompiledModule, Vec<CompiledModule>)