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

Segmentation Fault Error #115

Open
davidrjones77 opened this issue Feb 4, 2022 · 2 comments
Open

Segmentation Fault Error #115

davidrjones77 opened this issue Feb 4, 2022 · 2 comments

Comments

@davidrjones77
Copy link

Hello, I love this extension and have been very excited to use it!
However today I have encountered the following error when running the default planner:

Starting search with IW (time budget is 60 secs)...
/app/plan: line 3: 8754 Segmentation fault timeout 10 "$(dirname "$0")"/siw-then-bfsf --domain $1 --problem $2 --output $3
Suspected timeout.

It seems to be caused by the presence of certain actions simultaneously in the domain.
I can supply more details if needed.

Thanks!

@jan-dolejsi
Copy link
Owner

Glad you see value in this work and are enjoying the ride.

The error report you pasted looks like the output of the solver at planning.domains. I am actually not sure which one it is nowadays. That is the default planner, but you can bring it your own.

We can help you diagnose PDDL model issues, if you can save them into a session at http://editor.planning.domains/ and include a link to the session (the read-only link) here, or at stackoverflow or the planning Slack channel.

@haz
Copy link

haz commented Feb 21, 2023

This was solved after a discussion over on the slack channel. It was an error in the problem's initial state (had negated fluents) which the online solver didn't like.

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

3 participants