Test case generator for DSE problems

assigned to @volpe and unassigned @diewald

added 3 commits

• 31795e91...b9505765 - 2 commits from branch master
• 3356e5d3 - Merge remote-tracking branch 'origin/master' into 4008

Compare with previous version

added 7 commits

• 3356e5d3...c1f3be54 - 6 commits from branch master
• 549406ab - Merge remote-tracking branch 'origin/master' into 4008

Compare with previous version

added 1 commit

• f0a18f2f - Kernel: GREEN

Compare with previous version

assigned to @diewald and unassigned @volpe

added Code-Reviewed Verified labels

merged

mentioned in commit 035376eb