SvStein

In inheritance situations, do we want the `[[maybe_unused]]` only in the classes where the parameter is not used or in all sub-/super-classes with the function? Also, in the .cpp files...

If a parameter is marked as unused but is actually used but within a `#ifdef STORM_HAVE_SPOT` block (or similar `#ifdef` blocks), do we want to suppress the warnings there as...

Yeah, I think I'll use the `[[maybe_unused]]` as the `#ifdef` is inside the function. Thanks!

I noticed that for functions that need to have a certain signature, (e.g. for overrides of virtual functions) but which we don't use, it's possible to just not give the...

I don't mind either way, I'd just been wondering and thought I'd ask just in case it wasn't considered before or anything because I noticed a few unnamed parameters and...