Logic And Accuracy Testing For Voting