package soteria

You can search for identifiers within the package.

in-package search v0.2.0

Soteria is a toolkit for writing symbolic bug-finding tools

Install

dune-project

Dependency

md5=22e0fc3f97555ac35b96fae10817a887

sha512=10457c9d1302e3f3018dca652cdf81f0cdfd461a79eca1a8a8b754e964a47f7f35c10a8c07aff8f5193ee7e794440635d788d91925ce75fb8280b60b4f0d6663

val with_section : ?is_branch:bool -> string -> (unit -> 'a) -> 'a

with_section ~is_branch name f runs f and aggregates its log messages within a collapsible section of the log file (when logs are in HTML mode).

Sections should not be used while defining symbolic processes, as branching will cause a section to be opened once but closed several times.

val log : level:Level.t -> ('a, unit) msgf -> unit

Logs a message at a given level.

For instance, one can log the string "The number is 42" at level Info with

log ~level:Level.Info (fun m -> m "The number is %d" 42)

val smt : ('a, unit) msgf -> unit

smt is log ~level:Smt

val trace : ('a, unit) msgf -> unit

trace is log ~level:Trace

val debug : ('a, unit) msgf -> unit

debug is log ~level:Debug

val info : ('a, unit) msgf -> unit

info is log ~level:Info

val warn : ('a, unit) msgf -> unit

warn is log ~level:Warn

val error : ('a, unit) msgf -> unit

error is log ~level:Error

val failwith : ('a, Format.formatter, unit, 'b) format4 -> 'a

failwith fmt ... logs the formatted message at level Error and then raises Failure with that message.