Module `Pulselib.PulseReport`

val report_result : IR.Tenv.t -> IR.Procdesc.t -> Absint.Errlog.t -> PulseDomainInterface.AbductiveDomain.t PulseDomainInterface.AccessResult.t -> PulseDomainInterface.ExecutionDomain.t list
val report_summary_error : IR.Tenv.t -> IR.Procdesc.t -> Absint.Errlog.t -> PulseDomainInterface.AbductiveDomain.summary PulseDomainInterface.AccessResult.error -> _ PulseDomainInterface.ExecutionDomain.base_t
val report_results : IR.Tenv.t -> IR.Procdesc.t -> Absint.Errlog.t -> PulseDomainInterface.AbductiveDomain.t PulseDomainInterface.AccessResult.t list -> PulseDomainInterface.ExecutionDomain.t list
val report_exec_results : IR.Tenv.t -> IR.Procdesc.t -> Absint.Errlog.t -> PulseDomainInterface.ExecutionDomain.t PulseDomainInterface.AccessResult.t list -> PulseDomainInterface.ExecutionDomain.t list