Author jendrik
Recipients jendrik, malte, moritz
Date 2011-12-31.00:26:13
Something else: I think that assigning default values to int parameters when "-1" 
is specified is very error prone. I think raising an error is the better 
behaviour. If the user wants the default parameter the option should be left out 
or we should allow specifying "default".

$ ./downward --heuristic 
"hmas=merge_and_shrink(shrink_strategy=shrink_fh(max_states=-1))" --search 
"astar(hmas)" < output | grep "Abstraction size limit"
Abstraction size limit: 50000
Abstraction size limit right before merge: 50000

Probably this is restricted to shrink strategies. This behaviour has tricked at 
least Chris and me already.
Date User Action Args
2011-12-31 00:26:14jendriksetmessageid: <>
2011-12-31 00:26:14jendriksetrecipients: + jendrik, malte, moritz
2011-12-31 00:26:14jendriklinkissue288 messages
2011-12-31 00:26:13jendrikcreate