Author jendrik
Recipients jendrik, malte, moritz
Date 2015-01-03.19:18:12
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 
Date User Action Args
2015-01-03 19:18:12jendriksetmessageid: <>
2015-01-03 19:18:12jendriksetrecipients: + jendrik, malte, moritz
2015-01-03 19:18:12jendriklinkissue288 messages
2015-01-03 19:18:12jendrikcreate