Module TCHCchanalyzeAssertion

val expect_safe_detail : ?msg:string -> po:CCHPreTypes.proof_obligation_int -> xdetail:string -> expl:string -> unit -> unit
val expect_violation_detail : ?msg:string -> po:CCHPreTypes.proof_obligation_int -> xdetail:string -> expl:string -> unit -> unit