Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
Class Tests Fail Error % Tests Success
AddVoTest 4 4 0 0 0 0 0.07 100%
 
Tests Started Status Message
AddVoTest.testGetNameAddVoTest.testGetName 139233187361513 Feb 22:51:13 1 PASS 0.0180.018  
AddVoTest.testAllAddVoTest.testAll 139233187393113 Feb 22:51:13 1 PASS 0.0370.037  
AddVoTest.testGetReferencesAddVoTest.testGetReferences 139233187390613 Feb 22:51:13 1 PASS 0.0140.014  
AddVoTest.testGetModusPonensAddVoTest.testGetModusPonens 139233187385513 Feb 22:51:13 1 PASS 0.00100.001