Searching in tests/genmc/fail