Message3990

Author jendrik
Recipients jendrik, malte, moritz
Date 2015-01-03.19:18:12
Content
Patrick just stumbled over a parser subtlety. I'll use a config that is present 
in the master branch to demonstrate:

When a user wants to run lazy_greedy with ff() and cea() he might forget the 
square brackets:

./downward-release --search "lazy_greedy(ff(), cea())"

The parser happily accepts this and cea() is used to calculate preferred 
operators. We should maybe think about ways to prevent such subtle usage 
errors.
History
Date User Action Args
2015-01-03 19:18:12jendriksetmessageid: <1420309092.85.0.10233028717.issue288@unibas.ch>
2015-01-03 19:18:12jendriksetrecipients: + jendrik, malte, moritz
2015-01-03 19:18:12jendriklinkissue288 messages
2015-01-03 19:18:12jendrikcreate