Frama-C:
Plug-ins:
Libraries:

Frama-C API - Event

type t = event

Pretty prints the event header and message. This function outputs the semantic tags if any in the event message.

  • parameter truncate

    if set, the output will be truncated if the message size is bigger than the given integer.

val pretty : ?truncate:Rich_text.truncation -> Stdlib.Format.formatter -> t -> unit

Pretty prints the event header and message. This function outputs the semantic tags if any in the event message.

  • parameter truncate

    if set, the output will be truncated if the message size is bigger than the given integer.

val message : t -> string

Extract the message as a string. The output will be truncated if the message is too long.