added FileCheck to testing framework