Assumptions (goblint.Assumptions)

val add : 
  ?loc:Messages.Location.t ->
  ?tags:Messages.Tag.t list ->
  ?final:string ->
  ('a, unit, GoblintCil.Pretty.doc, unit) Stdlib.format4 ->
  'a

Declare used assumption at current (or provided) location.

val add_noloc : 
  ?tags:Messages.Tag.t list ->
  ('a, unit, Messages.Pretty.doc, unit) Stdlib.format4 ->
  'a

Declare used assumption without location.

val message_to_dashboard_yojson : Messages.Message.t -> Yojson.Safe.t

val message_is_assumption : Messages.Message.t -> bool

val to_dashboard_yojson : unit -> Yojson.Safe.t