Download

The version of Forest submitted to the competition can be downloaded executing the following command in a x86_64 machine

wget teisa.unican.es/forest/images/install.sh -O - | bash

This should download and execute a script that installs the tool in the current path and performs some tests. A correct installation can be assessed if all tests are correct and terminate in time. The command-line options to be used in svcomp have been condensed to the `-svcomp' parameter. The C file to analyse can be indicated with `-file'.