From Fast Downward mailing list:
On 14.05.2018 18:30, Michael Katz wrote:
> Hi,
>
> The planner seems to be changing the file name provided with
> /--plan-file /to a lowercase. Was it done on purpose? Is that a bug? Is
> that a feature?
Hi Michael,
I would say that's a bug. The command-line parser in general is
case-insensitive, and this is implemented by transforming everything to
lower-case very early on during the processing. But this should not have
been done for the plan file name. If you open an issue for this, we will
hopefully look into it soonish. (It should be in category "bug".)
> I cannot seem to find where it was actually done.
It is probably the line commented with "// Ignore case." in
OptionParser::parse_cmd_line, file src/search/options/option_parser.cc.
Looking at that code, the next step looks dubious, too. Newlines should
be replaced with spaces, not with nothing, because stuff like "lm
count" should not be a legal way to write "lmcount".
Best,
Malte
|