Module Goblint_lib.SvcompSpec

SV-COMP specification strings and files.

type t =
  1. | UnreachCall of string
  2. | NoDataRace
  3. | NoOverflow
  4. | Termination
  5. | ValidFree
  6. | ValidDeref
  7. | ValidMemtrack
  8. | ValidMemcleanup
type multi = t list
val of_string : string -> multi
val of_file : string -> multi
val of_option : unit -> multi
val to_string : t list -> string