Module Script.InstrSource

Sourcetype t =
  1. | Assign of LValue.t * Expr.t
  2. | Undef of LValue.t
  3. | Nondet of LValue.t
  4. | Assume of Expr.t
  5. | Assert of Expr.t
  6. | It of Expr.t * string
  7. | Goto of string
  8. | Jump of Expr.t
  9. | Label of string
  10. | Halt
Sourceval assign : LValue.t -> Expr.t -> t
Sourceval undef : LValue.t -> t
Sourceval nondet : LValue.t -> t
Sourceval assume : Expr.t -> t
Sourceval dynamic_assert : Expr.t -> t
Sourceval conditional_jump : Expr.t -> string -> t
Sourceval goto : string -> t
Sourceval dynamic_jump : Expr.t -> t
Sourceval label : string -> t
Sourceval halt : t
Sourceval pp_list : Format.formatter -> t list -> unit