Up – Package index » goblint-cil » Library goblint-cil.syntacticsearch » Syntacticsearch » ResultPrinter

Module `Syntacticsearch.ResultPrinter`Source

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

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

Source

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

Sourceval query_file_name : string ref

Sourceval feature : GoblintCil.Feature.t