Module Cgil_lib.LActions

Type definitions

type mem_ac =
  1. | Alloc
  2. | DropPerm
  3. | GetCurPerm
  4. | WeakValidPointer
  5. | Store
  6. | Load
  7. | Free
  8. | Move
  9. | SetZeros
type genv_ac =
  1. | GetDef
type ac =
  1. | AGEnv of genv_ac
    (*

    Actions related to the memory

    *)
  2. | AMem of mem_ac
    (*

    Actions related to the global environment

    *)
type ga =
  1. | Single
  2. | Array
  3. | Hole
  4. | Zeros
  5. | Bounds
  6. | Freed
val ga_to_yojson : ga -> Yojson.Safe.t
val ga_of_yojson : Yojson.Safe.t -> ga Ppx_deriving_yojson_runtime.error_or
val pp_ga : Ppx_deriving_runtime.Format.formatter -> ga -> Ppx_deriving_runtime.unit
val show_ga : ga -> Ppx_deriving_runtime.string

Serialization of actions

val str_ac : ac -> string

Serializes an action into a string

val ac_from_str : string -> ac

Deserializes a string into an action

Global assertion serialization

val str_ga : ga -> string
val ga_from_str : string -> ga
val is_overlapping_asrt_str : string -> bool