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

Return unknown status #116

Open
Shi-Raida opened this issue Dec 1, 2023 · 0 comments
Open

Return unknown status #116

Shi-Raida opened this issue Dec 1, 2023 · 0 comments
Assignees
@Shi-Raida
Labels
bug Something isn't working I-validator

Comments

@Shi-Raida
Copy link
Contributor

In timed satellite PDDL domain with fluents scaled to be integers, the validator returns that the plan is invalid.
In fact, an error occurred because number too large to fit in target type while parsing timepoints.
In similar cases, we should return that we cannot determine if the plan is valid.
@Shi-Raida Shi-Raida added bug Something isn't working I-validator labels Dec 1, 2023
@Shi-Raida Shi-Raida self-assigned this Dec 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Shi-Raida Shi-Raida

Labels
bug Something isn't working I-validator
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Shi-Raida