Module Utils.Exec_mode

Gillian's execution modes

type t =
  1. | Concrete
  2. | Verification
  3. | Symbolic
  4. | BiAbduction
val is_concrete_exec : t -> bool
val is_symbolic_exec : t -> bool
val is_verification_exec : t -> bool
val is_biabduction_exec : t -> bool

Exec_modes that satisfy conditions

val all_exec : t list

All modes

val exec_with_preds : t list

Modes that make use of predicates

val bi_exec : t list

Modes that use bi-abduction

val non_bi_exec : t list

Modes that don't use bi-abduction

val ver_exec : t list

Modes that use verification

val non_ver_exec : t list

Modes that don't use verification

val concrete_exec : t list
val non_concrete_exec : t list

String converters

val to_string : t -> string
val of_string : string -> t