CLI: parsing regions with negative lower bound fails.

[tquatmann]

Parsing the command line switch

storm-pars --region '-1 <= x <= 1'

fails with

ERROR (SettingsManager.cpp:514): Non-optional argument <regioninput> of option:
--[region:]region (reg) <regioninput> Sets the region(s) considered for analysis. <regioninput>: The region(s) given in format a<=x<=b,c<=y<=d seperated by ';'. Can also be a file.
ERROR (cli.cpp:26): Unable to parse command line options. Type 'storm-pars --help' or 'storm-pars --help all' for help.

Apparently, the - is parsed as the beginning of a new command line switch.

[volkm]

Potential workaround: inserting a leading whitespace seemed to work for me --region ' -1 <= x <= 1'

[volkm]

Another workaround (thanks to @tquatmann) is to read the region from a text file:

echo "-1 <= x <= 1" > region.txt
storm-pars --region region.txt