trace-tefversion
A simple backend for trace, emitting Catapult JSON into a file
Tags | trace tracing catapult |
---|---|
Author | Simon Cruanes |
License | MIT |
Published | |
Homepage | https://github.com/c-cube/ocaml-trace |
Issue Tracker | https://github.com/c-cube/ocaml-trace/issues |
Maintainer | Simon Cruanes |
Dependencies | |
Source [http] | https://github.com/c-cube/ocaml-trace/releases/download/0.3/trace-0.3.tbz sha256=2ababaa983bbb4a264b5346316b76638d3c77e3addf3522086c6fd9e61bd6505 sha512=63900b36513e67827744d9f656f2d2d3a707b0cea2ed67b571ddd30cedcaec2bf2e1791813add50ccaf846ee90f1195d9f86d3bddbefb2c30cefe2c81b57ed61 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/trace-tef/trace-tef.0.3/opam |
Required by
- fuseauwith-test
- fuseau-lwtwith-test
- moonpoolwith-test & >=0.5
- moonpool-iowith-test
- moonpool-lwtwith-test
- smtlib-utilswith-test & >=0.5