Author moritz
Recipients jendrik, malte, moritz
Date 2011-12-30.11:50:03
Using the default value here will cause a Parse Error ("invalid enum argument not_greedy for option greedy at: 
shrink_strategy = shrink_bisimulation"). So I guess you mean an unconditional check for validity of the default value every time add_enum_option() is called?
Date User Action Args
2011-12-30 11:50:03moritzsetrecipients: + moritz, malte, jendrik
2011-12-30 11:50:03moritzlinkissue288 messages
2011-12-30 11:50:03moritzcreate