def METHOD_NAME(self):
    try:
        sdfg = dace.SDFG('3sat')
        sdfg.validate()
        self.fail('Failed to detect invalid SDFG')
    except dace.sdfg.InvalidSDFGError as ex:
        print('Exception caught:', ex)