Add regression test for #213. As it's now possible to add tests with multiple cmdline options easily.
2024-01-17T02:58:12