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.

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

Consider returning CantTell on unanswered Applicability questions #1591

Open
Jym77 opened this issue Mar 27, 2024 · 0 comments
Open

Consider returning CantTell on unanswered Applicability questions #1591

Jym77 opened this issue Mar 27, 2024 · 0 comments

Comments

@Jym77
Copy link
Contributor

Jym77 commented Mar 27, 2024

When an Applicability question is not answered, Alfa returns Inapplicable.
We might instead be in a better place returning CantTell, as it conveys the information that some question was not answered. It seems to better align to the semantics of the outcomes, what other tools are doing, and how ACT rules evaluate consistency of implementations.

@Jym77 Jym77 added this to 📮 Backlog in ⚙️ Development via automation Mar 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
⚙️ Development
  
📮 Backlog
Development

No branches or pull requests

1 participant