Terminate parser when an unknown parser option is passed

prost-planner / prost

probabilistic planning system for tasks encoded in RDDL

MIT License

37 stars 17 forks source link

Terminate parser when an unknown parser option is passed #133

Open thomaskeller79 opened 3 years ago

thomaskeller79 commented 3 years ago

Currently, there is an assertion in the parser when an unknown option is passed to it. We would like to terminate the parser in this case instead (otherwise, one doesn't even realize that the wrong configuration is running if there is a typo in some parser option).