Message4430

Author malte
Recipients jendrik, malte, silvan
Date 2015-07-24.12:10:11
Content
The default value "-1" there does not mean infinity. Unfortunately, it's not
possible to pick a single default value from the usual range of these variables
(a number or infinity) that would match the current default behaviour. The
rationale behind the current behaviour is that we want to permit the user to set
any of

1) max_states
2) max_states_before_merge
3) both
4) neither

and get somewhat reasonable behaviour. Infinity wouldn't satisfy this, as the
default behaviour (case 4) would be very poor.

I'm not sure what a good solution that avoids the current "special" value could be.
History
Date User Action Args
2015-07-24 12:10:11maltesetmessageid: <1437732611.21.0.347275815959.issue561@unibas.ch>
2015-07-24 12:10:11maltesetrecipients: + malte, jendrik, silvan
2015-07-24 12:10:11maltelinkissue561 messages
2015-07-24 12:10:11maltecreate