Module Config.Verification

val procs_to_verify : string list Stdlib.ref
val lemmas_to_verify : string list Stdlib.ref
val verify_only_some_of_the_things : bool Stdlib.ref
val set_procs_to_verify : string list -> unit
val set_lemmas_to_verify : string list -> unit