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.