Module Goblint_lib.ExpressionEvaluation

Transformation for evaluating expressions on the analysis results (expeval). Hack for Gobview.

val transformation_identifier : string
val transformation_query_file_name_identifier : string
type query = {
  1. kind : Syntacticsearch.CodeQuery.kind;
  2. target : Syntacticsearch.CodeQuery.target;
  3. find : Syntacticsearch.CodeQuery.find;
  4. structure : Syntacticsearch.CodeQuery.structure;
  5. limitation : Syntacticsearch.CodeQuery.constr;
  6. expression : string option;
  7. mode : [ `Must | `May ];
}
val query_to_yojson : query -> Yojson.Safe.t
val query_of_yojson : Yojson.Safe.t -> query Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> query Ppx_deriving_yojson_runtime.error_or
val gv_query : query option Batteries.ref
val gv_results : ((Stdlib.String.t * GoblintCil.Cil.location * Stdlib.String.t * int) * bool option) list Batteries.ref