This directory corresponds to the verifier based on the "false" utility from Ubuntu.
It contains only this README file.

The tool-info module of this verifier is available online
(https://github.com/sosy-lab/benchexec/blob/master/benchexec/tools/false.py).
The verifier always produces verdict FALSE, and does not produce any witness.
