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