-
Notifications
You must be signed in to change notification settings - Fork 86
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
Fix to have constants and numeric fluents in the goal #305
Fix to have constants and numeric fluents in the goal #305
Conversation
…uncions/constants/types declared to avoid printing the entry, thus generating a valid PDDL file
Thanks for the PR @roveri-marco . I hope to have fixed the CI next week. Now it is failing for other reasons.... |
CI seems to be fixed, but it is applying old pipeline. Can you rebase/merge? |
@fmrico I'm not able to understand why some tests fail. It seems the failure is not related to the changes. Can you help me in isolating the cause if this PR is the cause of the failure? |
Let me check... |
CI is passing now. I don't know if any tests are necessary to verify that this continues working after future changes. If you consider it necessary, please, open a new PR Thanks!!! merging 🚀 |
If needed. I'll add a new PR. Thanks. |
With this pull I fixed the possibility to have constants in the predicates/functions while setting them, and in the goal.
This will close #261