Frama-C API - Command
Useful high-level system operations.
Pretty from files
val pp_from_file : Stdlib.Format.formatter -> Filepath.t -> unit
pp_from_file fmt file
dumps the content of file
into the fmt
. Exceptions in pp
are re-raised after closing.
Timing Utility
Compute the elapsed time with Sys.time
. The rmax
timer is maximized and the radd
timer is cumulated. Computed result is returned, or exception is re-raised.
System commands
val async : ?stdout:Stdlib.Buffer.t -> ?stderr:Stdlib.Buffer.t -> string -> string list -> unit -> process_result
Same arguments as Unix.create_process
.