Module Functions

module Functions: sig .. end

val has_fundef : Cil_types.exp -> bool
val check : Cil_types.kernel_function -> bool
val instrument : Cil_types.kernel_function -> bool

RTL

Operations on function belonging to the runtime library of E-ACSL

module RTL: sig .. end

Libc

Operations on functions belonging to standard library

module Libc: sig .. end

Concurrency

Operations concerning the support of concurrency

module Concurrency: sig .. end