add script for coveritest

[izlatkin]

Binaries: https://test-comp.sosy-lab.org/2022/systems.php

https://gitlab.com/sosy-lab/test-comp/archives-2022/raw/testcomp22/2022/libkluzzer.zip https://gitlab.com/sosy-lab/test-comp/archives-2022/raw/testcomp22/2022/coveritest.zip

CoVeriTest

CPAchecker-2.0.1-svn-38826-unix

scripts/cpa_witness2test.py -witness -spec `

scripts/cpa_witness2test.py -witness /home/fmfsu/Benchs/sv-benchmarks/c/properties/coverage-branches.prp /home/fmfsu/Benchs/loop_benckmarks/loop-invariants/eq1.c

scripts/cpa_witness2test.py -spec /home/fmfsu/Benchs/sv-benchmarks/c/properties/coverage-branches.prp /home/fmfsu/Benchs/loop_benckmarks/loop-invariants/eq1.c

python2.7 ./scripts/verifuzz.py --testcomp --propertyFile /home/fmfsu/Benchs/sv-benchmarks/c/properties/coverage-branches.prp /home/fmfsu/Benchs/loop_benckmarks/loop-invariants/eq1.c

docker run -v $(pwd):/workdir -u $UID:$GID registry.gitlab.com/sosy-lab/software/cpachecker -default /workdir/example/s3_clnt_1.cil-1.c

https://gitlab.com/sosy-lab/software/coveriteam/-/blob/main/examples/tacas22_examples.sh

https://gitlab.com/sosy-lab/software/cpachecker

scripts/cpa.sh -config config/properties/coverage-branches.prp /home/fmfsu/Benchs/loop_benckmarks/loop-invariants/eq1.c

scripts/cpa.sh -config config/properties/coverage-branches.prp /home/fmfsu/Benchs/loop_benckmarks/loop-invariants/eq1.c