package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val ignore_merge_conflicts : bool ref

Set this to true to ignore the merge conflicts

val 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 !!!

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

Merge a number of CIL files