Ran coverage on TestVoting