catchorg__Catch2-1422

unregistered reporter is not considered a command line error

Verdict: no gold-patch lines found in the issue text (rule check only, no model read).

No gold-patch lines found in the issue text (rule check only, no model read). Upstream fix commit 8b3c09c137 dated 2018-10-25.

All Multi-SWE-bench (flash) tasks · more catchorg/Catch2 tasks · How the check works · Report a correction