Fix Problems with Benchmark Set

sosy-lab / sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)

https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks

184 stars 169 forks source link

Fix Problems with Benchmark Set #1279

Closed Eiram closed 3 years ago

Eiram commented 3 years ago

Removed property coverage-error from one property file because it is no longer appropriate and initialize variables mainly in openssl tasks to avoid that they are used uniitialized, which causes problems with test case validation.

dbeyer commented 3 years ago

Changed title because this applies also to SV-COMP.

cedricrupb commented 3 years ago

This PR is also interesting for the verification community. Maybe related to issue #1270.

dbeyer commented 3 years ago

@Eiram and @mchalupa Many tahnks for your contribution. I propose to implement the suggested improvements in a new PR, such that we can go ahead with this one immediately.