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

Message from verifier references non-existent task index #23

Open
rpgoldman opened this issue Nov 1, 2023 · 1 comment
Open

Message from verifier references non-existent task index #23

rpgoldman opened this issue Nov 1, 2023 · 1 comment

Comments

@rpgoldman
Copy link
Contributor

Running the verifier, I got this in the output:

Checking the given plan ...
Task id=0 has itself as a subtask.
IDs of subtasks used in the plan exist: false

But there is not task with id=0 in the input plan.

See this gist for all of the inputs.

Note that validation should fail here, it's just that this error message doesn't seem to make sense.

@galvusdamor
Copy link
Collaborator

This is strange. I have just downloaded your gist - and I get a completely different output from the verifier:

pandaPIparser is configured as follows
  Colors in output: true
  Mode: plan verification
  Verbosity: 0
  Lenient mode: false
  Ignore given order: false

Checking the given plan ...
IDs of subtasks used in the plan exist: true
Task with id=2 and task name "have_image" is not declared in the domain.
Task with id=5 and task name "take-image_t" is not declared in the domain.
Task with id=12 and task name "take_image_a" is not declared in the domain.
Task with id=13 and task name "have_image" is not declared in the domain.
Task with id=16 and task name "take-image_t" is not declared in the domain.
Task with id=20 and task name "take_image_a" is not declared in the domain.
Task with id=21 and task name "have_image" is not declared in the domain.
Task with id=24 and task name "take-image_t" is not declared in the domain.
Task with id=28 and task name "take_image_a" is not declared in the domain.
Tasks declared in plan actually exist and can be instantiated as given: false
Methods don't contain duplicate subtasks: true
Methods don't contain orphaned tasks: true
Plan verification result: false

The not declared in the domain issues arise from a difference in spelling. In the plan they are written as have_image, but the domain declares them as have-image.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants