uploaded archive for the false verifier (!181) · Merge requests · SoSy-Lab / SV-Comp / Verifier Archives 2021 · GitLab

The source project of this merge request has been removed.

Sudeep Kanav requested to merge (removed):verifier-false into master May 10, 2021

This MR adds a verifier based on the utility false in Ubuntu.

The verifier always produces the verdict FALSE, and never produces a witness.