gillian » Gillian » Command_line » Act_console » Make » Abductor

Parameter Make.Abductor

type init_data = ID.t

type annot = PC.Annot.t

val test_prog :
  init_data:init_data ->
  ?call_graph:Utils.Call_graph.t ->
  annot Engine.MP.prog ->
  bool ->
  IncrementalAnalysis.SourceFiles.t option ->
  unit