vscode-pddl
vscode-pddl copied to clipboard
jan-dolejsi
Segmentation Fault Error
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!
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.
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.
