IBase.ScubaLoggingFunctionality for logging into "infer_events" Scuba table. The table is organized in form of key-value pairs. Two most important fields are "event" and "value". Other fields in the table correspond to things common for this particular run of Infer.
val log_many : LogEntry.t list -> unitLog several events in one go. Useful when you do custom aggregations and have a place to log all aggregated results at once.
Log anything that can be counted. Events will be prefixed with "count."
Log elapsed time. Events will be prefixed with "time."
Similar to log_message, but log only when --cost-scuba-logging option is given.
Similar to log_message, but log only when --pulse-scuba-logging option is given.
A helper to log execution time of a particular function. Use this to measure a performance of a given function. Example:
let f a b = <some code>
let f a b = ScubaLogging.execute_with_time_logging "f" (fun () -> f a b)