gillian » Gillian » Utils » Config » Verification

Module Config.Verification

type things_to_verify =

1. | Specific
2. | All
3. | ProcsOnly
4. | LemmasOnly

val procs_to_verify : string list Stdlib.ref

val lemmas_to_verify : string list Stdlib.ref

val things_to_verify : things_to_verify Stdlib.ref

val things_to_exclude : Utils.Containers.SS.t Stdlib.ref

val set_procs_to_verify : string list -> unit

val set_lemmas_to_verify : string list -> unit