Frama-C:
Plug-ins:
Libraries:

Frama-C API - Rformat

val epsilon : float
val get_time : float array -> float -> int

get_time T t returns k such that T[k-1] <= t <= T[k], T is extended with T[-1]=0 and T[N]=+oo.

val pp_time : Stdlib.Format.formatter -> float -> unit

Pretty print time in hour, minutes, seconds, or milliseconds, as appropriate

val pp_time_range : float array -> Stdlib.Format.formatter -> float -> unit
type command =
  1. | CMD of string
  2. | ARG of string * string
  3. | TEXT
val command : string -> command
val pretty : (Stdlib.Format.formatter -> string -> string -> unit) -> Stdlib.Format.formatter -> string -> unit