gillian » Gillian » Utils » Exec_mode

Module Utils.Exec_mode

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