Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

teco.eval.specs is lack #2

Open
yz-qiang opened this issue Mar 18, 2023 · 0 comments
Open

teco.eval.specs is lack #2

yz-qiang opened this issue Mar 18, 2023 · 0 comments

Comments

@yz-qiang
Copy link

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.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yz-qiang