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 listval report_summary_error : IR.Tenv.t -> IR.Procdesc.t -> Absint.Errlog.t -> Pulselib.PulseDomainInterface.AbductiveDomain.summary Pulselib.PulseDomainInterface.AccessResult.error -> _ Pulselib.PulseDomainInterface.ExecutionDomain.base_tval report_results : IR.Tenv.t -> IR.Procdesc.t -> Absint.Errlog.t -> Pulselib.PulseDomainInterface.AbductiveDomain.t Pulselib.PulseDomainInterface.AccessResult.t list -> Pulselib.PulseDomainInterface.ExecutionDomain.t listval 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