Skip to content

Remove category sets that introduce duplicates

Thomas Lemberger requested to merge (removed):new-tasks into master

Sets that don't even add any unique tasks to the benchmarks are just removed; sets that would add new unique tasks to the benchmarks but also introduce duplicates are commented.

Because of above reason, this commit eliminates about 128 tasks from MemSafety from the current benchmark set.

Eliminated tasks: https://gist.github.com/lembergerth/2c4e0dc4b224860565aafec4340919ce

Merge request reports