Markus Blatt d50ccf507d Fixes some problems with option parsing. ...

Namely, that m requires an argument and not n as indicated to
getopt. This caused the help message to be printed whenever users
did not want exceptions to be thrown.

Additionally we fix the error message for options that need an argument
but do not get one.

2017-04-19 15:14:25 +02:00

..

test_util

Fixes some problems with option parsing.

2017-04-19 15:14:25 +02:00