These changes are in preparation for the upcoming integration in the test framework. The most important one is a new config format that separates the problem types to look for from the excluded classes. Essentially, we now have
instead of the old hacky solution. I've also moved a few things to the core module and removed the "tests" parameter from the Linter and the cmd module (this was a leftover from the dynamic tests).
These changes are in preparation for the upcoming integration in the test framework. The most important one is a new config format that separates the problem types to look for from the excluded classes. Essentially, we now have
instead of the old hacky solution. I've also moved a few things to the core module and removed the "tests" parameter from the Linter and the cmd module (this was a leftover from the dynamic tests).