Module BufferOverrunProofObligations.ConditionTrace
val get_report_location : t -> IBase.Location.tval get_val_traces : t -> BO.BufferOverrunTrace.Issue.t
BufferOverrunProofObligations.ConditionTraceval get_report_location : t -> IBase.Location.tval get_val_traces : t -> BO.BufferOverrunTrace.Issue.t