Package - bmt

Package: bmt
apt-get install bmt

Manuals in package:

cpbm(1)

Documentations in package:

bmt

Primary informations

Download package: http://deb.debian.org/debian/pool/main/b/bmt/bmt_0.6-1.1_all.deb (Size: 30.2KiB)

Property	Value
Package	bmt
Version	0.6-1.1
Installed-Size	192
Maintainer	Michael Tautschnig
Architecture	all
Depends	perl:any, gcc, make, libtext-csv-perl
Recommends	wget
Suggests	ocaml-cil, runlim, pgf
Description	software analysis benchmarking toolkit
Description-md5	ac8c4455d4ad626dcc50667072549bfe
Homepage	https://github.com/tautschnig/bmt
Section	science
Priority	optional
Filename	pool/main/b/bmt/bmt_0.6-1.1_all.deb
Size	30908
MD5sum	6ed82d5cfc524c1eb805c2e77a0d1e40
SHA256	cf37e6eaa28e032cfae63991249751106c0def271181d6da02404002d50fbb8a

Files in package

/usr/bin/cpbm
/usr/share/bmt/VERSION
/usr/share/bmt/cil_wrapper.sh
/usr/share/bmt/list_claims.sh
/usr/share/bmt/make_csv.pl
/usr/share/bmt/make_graph.pl
/usr/share/bmt/make_jtl.pl
/usr/share/bmt/make_piechart.pl
/usr/share/bmt/make_table.pl
/usr/share/bmt/make_web.pl
/usr/share/bmt/parse-ai.pl
/usr/share/bmt/parse-astree.pl
/usr/share/bmt/parse-bfc.pl
/usr/share/bmt/parse-blast.pl
/usr/share/bmt/parse-blender.pl
/usr/share/bmt/parse-cbmc.pl
/usr/share/bmt/parse-checkfence.pl
/usr/share/bmt/parse-cpachecker.pl
/usr/share/bmt/parse-cseq.pl
/usr/share/bmt/parse-esbmc.pl
/usr/share/bmt/parse-llbmc.pl
/usr/share/bmt/parse-loopfrog.pl
/usr/share/bmt/parse-mmchecker.pl
/usr/share/bmt/parse-poirot.pl
/usr/share/bmt/parse-rr-aa.pl
/usr/share/bmt/parse-satabs.pl
/usr/share/bmt/parse-satabs2.pl
/usr/share/bmt/parse-scratch.pl
/usr/share/bmt/parse-threader.pl
/usr/share/bmt/parse-wolverine.pl
/usr/share/bmt/rules.cpbm.generic
/usr/share/bmt/rules.template
/usr/share/bmt/unpack.sh
/usr/share/bmt/update.sh
/usr/share/bmt/verify.sh
/usr/share/doc/bmt/README.gz
/usr/share/doc/bmt/changelog.Debian.gz
/usr/share/doc/bmt/changelog.gz
/usr/share/doc/bmt/copyright
/usr/share/lintian/overrides/bmt
/usr/share/man/man1/cpbm.1.gz