Enum boogie_backend::boogie_wrapper::TraceEntry
source · pub enum TraceEntry {
AtLocation(Loc),
Temporary(QualifiedId<FunId>, TempIndex, ModelValue),
Result(QualifiedId<FunId>, usize, ModelValue),
Abort(QualifiedId<FunId>, ModelValue),
Exp(NodeId, ModelValue),
}
Expand description
A trace entry.