Setup for TypeChef to check real errors in Linux. Errors were identified by Abal et al. (see corresponding technical report). Error files are available on repo.
TypeChef installation is in a folder parallel to this one. Run the following to scripts to obtain the results.
./prepare.sh
./check.sh