ResultPrinter (p.goblint-cil.1.8.0.doc.goblint-cil.syntacticsearch.ResultPrinter)

Sourceval contains : 'a list -> 'a -> bool

val get_max_lengths : 
  (string * Cil.location * string * int) list ->
  int ->
  int ->
  int ->
  int ->
  int ->
  int ->
  int * int * int * int * int * int

Source

val print_result : 
  (string * Cil.location * string * int) list ->
  CodeQuery.query ->
  string

Sourceval query_file_name : string ref

Sourceval feature : Feature.t