Message2006

Author jendrik
Recipients jendrik, malte, moritz
Date 2011-12-29.16:49:59
Content
Another thing: Shouldn't parser.add_enum_option() check that the default value 
is part of the enum? This is not done e.g. in shrink_bisimulation.cc line 439:

parser.add_enum_option(
        "greedy", greediness, "NOT_GREEDY",
        "use exact, somewhat greedy or greedy bisimulation");
History
Date User Action Args
2011-12-29 16:50:00jendriksetmessageid: <1325173800.36.0.804401711072.issue288@gmail.com>
2011-12-29 16:50:00jendriksetrecipients: + jendrik, malte, moritz
2011-12-29 16:50:00jendriklinkissue288 messages
2011-12-29 16:49:59jendrikcreate