Skip to main content

load_artifact

Function load_artifact 

Source
fn load_artifact(path: &Path) -> Result<SymbolicCounterexampleArtifact>