bmt (0.6-2)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://nl.archive.ubuntu.com/ubuntu
Codename
stonking
Component
universe
Source
none
Architecture
amd64
Section
universe/science
Priority
extra
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
190 B
Size expected
29.5 kB
Size actual
29.5 kB
Size match

Dependencies

Required package dependencies

  • perl:any
  • gcc
  • make
  • libtext-csv-perl

Suggested packages

Recommended additional packages

  • ocaml-cil
  • runlim
  • texlive-pictures

Description

software analysis benchmarking toolkit

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD544018a93…a1eb8b76
SHA-155f5fe52…9ece1f2f
SHA-256b2238481…b2eb9ea1
SHA-5122b688bcf…e0be507b

Contents

Files and directories included

.
usr
usr/bin
usr/bin/cpbm
usr/share
usr/share/bmt
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
usr/share/doc/bmt
usr/share/doc/bmt/README.gz
usr/share/doc/bmt/changelog.Debian.gz
usr/share/doc/bmt/copyright
usr/share/lintian
usr/share/lintian/overrides
usr/share/lintian/overrides/bmt
usr/share/man
usr/share/man/man1
usr/share/man/man1/cpbm.1.gz