Open yz-qiang opened 1 year ago
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.
Teco is pretty work. I'm trying to reproduce it. However, when I execute the following command, I meet some problems:
The problem is caused by the lack of teco.eval.specs. Can you share this file with me? Thank you very much.