Skip to main content

invariant_suite_paths

Function invariant_suite_paths 

Source
fn invariant_suite_paths(
    corpus_config: &mut FuzzCorpusConfig,
    persist_dir: PathBuf,
    contract_name: &str,
    invariant_name: &str,
    is_optimization: bool,
) -> PathBuf
Expand description

Sets the invariant corpus directory and returns the contract-level failure directory.