Up – Package index » goblint-cil » Library goblint-cil » GoblintCil » Cilutil

Module `GoblintCil.Cilutil`Source

Sourceval doCheck : bool ref

Sourceval strictChecking : bool ref

Sourceval printStats : bool ref

Sourceval sliceGlobal : bool ref

Sourceval printStages : bool ref