This directory holds all files used specifically for helping the generation of
counterexamples.
