Issue168

Title lm_search method crashes
Priority bug Status resolved
Superseder Nosy List erez, malte
Assigned To erez Keywords 1.0
Optional summary

Created on 2010-12-21.00:10:31 by malte, last changed by malte.

Messages
msg1451 (view) Author: malte Date: 2011-08-04.17:42:51
Removed.
msg920 (view) Author: malte Date: 2010-12-23.04:13:30
Sounds good. But let's do this after the IPC.
msg917 (view) Author: erez Date: 2010-12-21.09:32:47
We may as well get rid of this landmark generation method.
It doesn't do anything useful anyway.
msg915 (view) Author: malte Date: 2010-12-21.00:10:30
This is on the first parcprinter instance on revision 930081c1dd5b:

# downward-debug --search 'eager_greedy(lmcount(lm_search()))' < output
Simplifying transitions... done!
Initializing Exploration...
Reading invariants from file...
done
Generating landmarks by search, verify using RPG method
downward-debug: landmarks/landmarks_graph.cc:162: LandmarkNode&
LandmarksGraph::landmark_add_disjunctive(const std::set<std::pair<int, int>,
std::less<std::pair<int, int> >, std::allocator<std::pair<int, int> > >&):
Assertion `!landmark_exists(make_pair(it->first, it->second))' failed.
Peak memory: 12760 KB
caught signal 6 -- exiting
Aborted



This has time until after the IPC, I think -- I doubt we'll want to use this
method. :-)
History
Date User Action Args
2011-08-04 17:42:51maltesetstatus: deferred -> resolved
messages: + msg1451
2011-01-20 03:09:47maltesetkeyword: + 1.0
2010-12-23 04:13:31maltesetstatus: chatting -> deferred
messages: + msg920
2010-12-21 09:32:47erezsetmessages: + msg917
2010-12-21 00:10:31maltecreate