teco.eval.specs is lack

[yz-qiang]

Teco is pretty work. I'm trying to reproduce it. However, when I execute the following command, I meet some problems:

inv exp.gen-subset-preds --setup CSNm --model SingleEvaluator-teco-norr --from-set eval-any-stmt/test --to-set eval-runnable-any-stmt/test

The problem is caused by the lack of teco.eval.specs. Can you share this file with me? Thank you very much.