Option `groups` and `group` exist in verify.py
It is a bit confusing to have two options with different meanings have a very similar name. Yesterday we had a case on this and now, exploring the config_file
branch, I stumbled upon this on the line 29 of verify.py
.
Is it possible to find a better name for that option?
@mguenther: I guess this is up to you.