package bap-trace

You can search for identifiers within the package.

in-package search v0.2.0

A plugin to load and run program execution traces

Install

sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46

md5=5dbc6677d646bec59fd7414f23e88cf8

val uri_of_string : string -> Uri.t

val uri : Uri.t Config.converter

val dump : Uri.t option Config.param

val load : Uri.t list Config.param

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