1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
Source: bmt
Section: science
Priority: extra
Maintainer: Michael Tautschnig <mt@debian.org>
Build-Depends: debhelper (>= 7.0.50~)
Standards-Version: 3.9.6
Homepage: https://github.com/tautschnig/bmt
Package: bmt
Architecture: all
Depends: ${perl:Depends}, ${misc:Depends}, gcc, make, libtext-csv-perl
Recommends: wget
Suggests: ocaml-cil, runlim, pgf
Description: software analysis benchmarking toolkit
The benchmarking toolkit consists of three main components:
.
- Patch set management tools to track changes over the original source of a
set of benchmarks;
- Benchmark execution helpers to prepare benchmarks for various tools, run
benchmarks in parallel, and limit execution;
- Result evaluation and presentation, generating LaTeX tables, HTML output,
and LaTeX/TikZ plots.
|
