goblint-cil
Mergecil
goblint-cil.dataslicing
goblint-cil.liveness
goblint-cil.makecfg
goblint-cil.pta
goblint-cil.syntacticsearch
goblint-cil.zrapp
val ignore_merge_conflicts : bool ref
Set this to true to ignore the merge conflicts
val merge : Cil.file list -> string -> Cil.file
Merge a number of CIL files