package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

Module `Check`Source

Sourcetype checkFlags =

| NoCheckGlobalIds
| IgnoreInstructions of Cil.instr -> bool
(*
Ignore the specified instructions
*)

Sourceval checkFile : checkFlags list -> Cil.file -> bool