PulseReport (infer.Pulselib.PulseReport)

val report : 
  IR.Tenv.t ->
  is_suppressed:bool ->
  latent:bool ->
  IR.Procdesc.t ->
  Absint.Errlog.t ->
  Pulselib.PulseDomainInterface.Diagnostic.t ->
  unit

val report_summary_error : 
  IR.Tenv.t ->
  IR.Procdesc.t ->
  Absint.Errlog.t ->
  (Pulselib.PulseDomainInterface.AccessResult.error
   * Pulselib.PulseDomainInterface.AbductiveDomain.Summary.t) ->
  _ Pulselib.PulseDomainInterface.ExecutionDomain.base_t option

None means that the execution can continue but we could not compute the continuation state (because this only takes a AccessResult.error, which doesn't have the ok state)

val report_result : 
  IR.Tenv.t ->
  IR.Procdesc.t ->
  Absint.Errlog.t ->
  IBase.Location.t ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t
    Pulselib.PulseDomainInterface.AccessResult.t ->
  Pulselib.PulseDomainInterface.ExecutionDomain.t list

val report_results : 
  IR.Tenv.t ->
  IR.Procdesc.t ->
  Absint.Errlog.t ->
  IBase.Location.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 ->
  IBase.Location.t ->
  Pulselib.PulseDomainInterface.ExecutionDomain.t
    Pulselib.PulseDomainInterface.AccessResult.t
    list ->
  Pulselib.PulseDomainInterface.ExecutionDomain.t list