Function prover_lab::z3log::process_file
source · pub fn process_file(path: &str) -> Result<Model>Expand description
Read z3tracer model from file.
pub fn process_file(path: &str) -> Result<Model>Read z3tracer model from file.