downward icon indicating copy to clipboard operation
downward copied to clipboard

PDDL Parser: more explicit error when facing empty expressions

Open victorpaleologue opened this issue 3 years ago • 1 comments

Supersedes https://github.com/aibasel/downward/pull/43

victorpaleologue avatar Jul 20 '21 08:07 victorpaleologue

As discussed in http://issues.fast-downward.org/issue1030, we do the check only for goals, where the absence of a goal is clearly not supported (and perhaps should not). For other conditions, the spec is not clear so nothing was changed.

victorpaleologue avatar Sep 06 '21 07:09 victorpaleologue

Superseded by #155, so I'm closing this. But thank you for bringing this to our attention! This was what ultimately triggered the more extensive rewrite of the PDDL parser.

maltehelmert avatar Oct 23 '23 10:10 maltehelmert