Frama-C:
Plug-ins:
Libraries:

Frama-C API - Feedback

Lighter version than Consolidation

type t =
  1. | Never_tried
  2. | Considered_valid
  3. | Valid
  4. | Valid_under_hyp
  5. | Unknown
  6. | Invalid
  7. | Invalid_under_hyp
  8. | Invalid_but_dead
  9. | Valid_but_dead
  10. | Unknown_but_dead
  11. | Inconsistent

Same constructor than Consolidation.t, without argument.

val get : Property.t -> t
val get_conjunction : Property.t list -> t
val pretty : Stdlib.Format.formatter -> t -> unit