-
Notifications
You must be signed in to change notification settings - Fork 27
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.
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
Add support --report=terms
option
#439
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you! This is a very useful reporting feature!
I think the implementation is good. However, isn't it not possible to execute it as a command since there is no term
option?
lrama/lib/lrama/option_parser.rb
Lines 94 to 97 in 5bed7c9
BISON_REPORTS = %w[states itemsets lookaheads solved counterexamples cex all none] | |
OTHER_REPORTS = %w[verbose] | |
NOT_SUPPORTED_REPORTS = %w[cex none] | |
VALID_REPORTS = BISON_REPORTS + OTHER_REPORTS - NOT_SUPPORTED_REPORTS |
2745b77
to
d2b1d5c
Compare
Certainly, I had forgotten about the part about passing in terms option for command. |
d2b1d5c
to
c81d0ed
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks fine! Thank you!
@S-H-GAMELINKS Ah, sorry. Could you change the title of the commit message and PR to say that you have added support for the |
c81d0ed
to
28b1eb3
Compare
--report=terms
option
OK, I have rewritten PR titile and commit message. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you!
Add report_unused_terms private method to Lrama::StatesReporter for
TODO Unused terms
inlib/lrama/states_report.rb
However, I am not sure if the output format is what it is supposed to be, so I would appreciate your comments if it is different.