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