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

Fast Downward chokes on some tasks #4

Open
haz opened this issue Apr 5, 2020 · 0 comments
Open

Fast Downward chokes on some tasks #4

haz opened this issue Apr 5, 2020 · 0 comments
Labels
bug Something isn't working

Comments

@haz
Copy link
Contributor

haz commented Apr 5, 2020

From Jendrik Seipp:

I tried to run an experiment for all tasks currently in the planning.domains collection with Fast Downward. Unfortunately, there are many tasks which Fast Downward can't translate or validate. I have attached a file with the task names and the error logs. In most of the cases, the translator fails to translate the task. In tyreworld, VAL returns "Error in type-checking!". For all errors we need to know whether they are caused by limitations in Fast Downward and VAL or incorrect task specifications.

pd-fd-errors.txt

@haz haz added the bug Something isn't working label Apr 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant