Abductor (soteria-c.Soteria_c

module Bi_interp : sig ... end

module Summaries : sig ... end

val default_abductor_fuel : Soteria.Symex.Fuel_gauge.t

val generate_summaries_for : 
  Ail_tys.fundef ->
  Summary.after_exec Summary.t list

Generates summaries for a function given a function definitions. Has to be run within with_stats

val generate_all_summaries : 
  functions_to_analyse:string list option ->
  Ail_tys.linked_program ->
  (Cerb_frontend.Symbol.sym * Summary.after_exec Summary.t list) list