2ed6835a

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Mutation redundancy: spell out the subsumption relation instead of using the ⊂ symbol

Render each dominated test on its own line followed by 'every mutation it
kills is also killed by <dominator>', and reword the section header to
match, rather than the ⊂ glyph.

Suite timing

Time to Start Worker time Duration Time to finish Idle
Config - - - - 34m09s
Eval - - - - -
Build - - - - -
Suite - - - - 34m09s