package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

dune-project

Dependency

sha256=868d57ef8007fe6c0836cd151d8c294003af34aa678285eff9547662cad36aa3

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 -> 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.