Module Gillian_result.Exc

exception Gillian_internal_error of {
  1. msg : string;
  2. additional_data : Yojson.Safe.t option;
}
exception Gillian_error of Gillian_result.Error.t
val internal_error : ?additional_data:(string * Yojson.Safe.t) list -> string -> exn
val analysis_failure : ?is_preprocessing:bool -> ?in_target:string -> ?loc:Location.t -> string -> exn