coverageBased.snk 6.13 KB