Frama-C:
Plug-ins:
Libraries:

Frama-C API - SharedCounter

Creates a counter that is shared among all projects, but which is marshalling-compliant.

  • since Carbon-20101201

Parameters

module _ : sig ... end

Signature

val next : unit -> int

Increments the counter and returns a fresh value

val get : unit -> int
  • returns

    the current value of the counter, without incrementing it.

  • since Fluorine-20130401
val reset : unit -> unit

Resets the counter to 0.

  • since 29.0-Copper
val self : State.t
  • since Oxygen-20120901