package goblint-cil

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

OCaml

Innovation. Community. Security.