Finish the testing of the program GraphCoverage and start the testing of the program LogicCoverage