Message4090

Author silvan
Recipients jendrik, malte, moritz, silvan
Date 2015-03-18.17:27:34
Content
There is another example of the option parser should complain: it currently
accepts arbitrarily many commas as parameters:

astar(merge_and_shrink(,))
astar(merge_and_shrink(,,,,))
astar(merge_and_shrink(,shrink_strategy=shrink_bisimulation,,merge_strategy=merge_dfp))

all work correctly.
History
Date User Action Args
2015-03-18 17:27:34silvansetmessageid: <1426696054.22.0.527905910333.issue288@unibas.ch>
2015-03-18 17:27:34silvansetrecipients: + silvan, malte, jendrik, moritz
2015-03-18 17:27:34silvanlinkissue288 messages
2015-03-18 17:27:34silvancreate