Opam Package profiler-plugin.1.01

Package info

opam-nameprofiler-plugin
opam-version1.01
synopsisAlt-Ergo, an SMT Solver for Software Verification: Profiler Plugin
description Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and Caveat. This package provides a profiler plugin for Alt-Ergo. It allows to monitor some important components of the solver. usage: alt-ergo -profiling 1. -profiling-plugin profiler-plugin.cmxs [other-options] <file.why>
authors
  • Alt-Ergo developers
homepagehttp://alt-ergo.ocamlpro.com/
licenseOCamlPro Non-Commercial License
deps (3)
revdeps(0)
metas(0)
libraries(0)

Package modules

Package sources

profiler-plugin

Package files

lib/alt-ergo/plugins/profiler-plugin.cmxs