Module GoblintCil.MergecilSource

Sourceval ignore_merge_conflicts : bool ref

Set this to true to ignore the merge conflicts

Sourceval merge_inlines : bool ref

Try to merge definitions of inline functions. They can appear in multiple files and we would like them all to be the same. This can slow down the merger an order of magnitude !!!

Sourceval merge : Cil.file list -> string -> Cil.file

Merge a number of CIL files