FileCheck'ize tests