Issue57

Title g/h overflow in ParcPrinter domain
Priority bug Status resolved
Superseder Nosy List erez, malte
Assigned To erez Keywords
Optional summary

Created on 2009-12-12.03:34:26 by malte, last changed by erez.

Files
File name Uploaded Type Edit Remove
parc13.pre malte, 2009-12-12.03:34:26 application/octet-stream
Messages
msg159 (view) Author: malte Date: 2009-12-12.03:34:26
In eager search in ParcPrinter, g and h values can overflow, leading to all
sorts of buggy behaviour, such as endless loops during plan extraction (where
presumably the problem wasn't actually solved properly).

If we don't fix this, we need to at least catch and report this.

This happens, for example, on ParcPrinter #13 (pre file attached) with options
"ou" in r3694 if we disable the LM-cut heuristic's abort on large action costs.

(Should also check other search algorithms and other spots where we use
bitfields for similar kinds of overflow.)
History
Date User Action Args
2010-03-22 13:59:17erezsetstatus: chatting -> resolved
2010-03-22 12:03:54maltesetassignedto: malte -> erez
nosy: + erez
2010-01-07 16:35:06maltesetstatus: unread -> chatting
2010-01-07 16:35:02maltesetstatus: chatting -> unread
2010-01-07 16:34:28maltesetassignedto: malte
2009-12-12 03:34:26maltecreate