Module prover_lab::z3log

Structs

• IntoIterSorted

Traits

• ModelExt
  Helper trait to print es by their id.

Functions

• compute_instantiation_times
  Compute top instantiated terms and retrieve the “timestamps” at which instantiations occur for each of the top terms.
• plot_instantiations
  Plot the instantiations.
• process_file
  Read z3tracer model from file.