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