This directory contains default configuration files for CPAchecker.

All configurations in this directory can be used with a shortcut on the command line:
Instead of "-config config/foo.properties" one can simply write "-foo".
