Make warning options more customizable
It would be great to have more flexibility over the warn opts, e.g. a parameter with a [WarnFlag]
, similar to how the frontend handles this directly. Currently only overlap warnings can be toggled.
The use case I would have in mind is that users of the KiCS2 REPL could easily toggle between different warnings. While passing these options as specials might alternatively be viable, this would also make the overlap warnings less of a special case. Thoughts?
Edited by Fredrik Wieczerkowski