Files in this directory are executed using FileCheck in a batch mode.