Message3418

Author florian
Recipients florian
Date 2014-09-17.12:36:33
Content
The following assertion fails for the unsolvable tasks that are created if the
translator detects unsolvability.
To reproduce, search with "astar(lmcount(lm_rhw()))" on mystery/prob07.pddl in
debug mode.

landmarks/landmark_factory_rpg_sasp.cc:109: int
LandmarkFactoryRpgSasp::min_cost_for_landmark(LandmarkNode*,
std::vector<std::vector<int> >&): Assertion `min_cost <
numeric_limits<int>::max()' failed.
History
Date User Action Args
2014-09-17 12:36:33floriansetrecipients: + florian
2014-09-17 12:36:33floriansetmessageid: <1410950193.25.0.765983386166.issue467@unibas.ch>
2014-09-17 12:36:33florianlinkissue467 messages
2014-09-17 12:36:33floriancreate