dpkg
-based systems.
It provides
BenchExec,
CPAchecker,
and
CPU Energy Meter.
The signing key for the repository is the GPG key with fingerprint 1E1085AA00783DB44C172F5C935C713E0E253CC8.
mkdir -p /etc/apt/keyrings/
wget -q -O - https://apt.sosy-lab.org/gpg.key | gpg --dearmor > /etc/apt/keyrings/sosy-lab.gpg
echo "deb [signed-by=/etc/apt/keyrings/sosy-lab.gpg] https://apt.sosy-lab.org stable main" | tee /etc/apt/sources.list.d/sosy-lab.list
apt update
Now the following packages are available for installation with apt install
:
benchexec
cpachecker
cpu-energy-meter