popf goes segfault on the problem in attach
roveri-marco opened this issue · comments
Considering the simple example in attach assuming it has been compiled and the proper setup loaded.
In one terminal I run the command:
ros2 launch plansys2_problem5 plansys2_problem5_launch.py
In the other terminal I run the command:
ros2 run plansys2_terminal plansys2_terminal
In the plansys2_terminal
I load the file contained in plansys2_problem5/launch/commands
and then I call the get plan
the answer I get is no plan. However, a more detailed analysis of the problem (since the PDDL problem admits a solution) pointed out that the popf
planner crashed with segfault. Indeed, if you then try to run it alone on the generated problem you'll see it.
ros2 run popf popf /tmp/domain.pddl /tmp/problem.pddl
[ros2run]: Segmentation fault
The complete source:
plansys2_problem5.zip
A more recent version of POPF (https://github.com/roveri-marco/popf
) successfully parses the problem and generates a solution. However, the local modifications to popf
in the ros
package have not been ported yet to this new version, thus it is not yet possible to completely replace it (there is a module that calls the planner to validate the domain file).