dpkg
-based systems.
It provides
BenchExec,
CPAchecker,
and
CPU Energy Meter.
The signing key for the repository is the GPG key with fingerprint 1E1085AA00783DB44C172F5C935C713E0E253CC8.
wget -O /etc/apt/sources.list.d/sosy-lab.sources https://apt.sosy-lab.org/sosy-lab.sources
apt update
Now the following packages are available for installation with apt install
:
benchexec
cpachecker
cpu-energy-meter