Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
AddVoTest 4 4 0 0 0 0 0.017 100%
 
Tests Started Status Message
AddVoTest.testAllAddVoTest.testAll 139236282171314 Feb 07:27:01 1 PASS 0.00500.005  
AddVoTest.testGetNameAddVoTest.testGetName 139236282168614 Feb 07:27:01 1 PASS 0.00700.007  
AddVoTest.testGetModusPonensAddVoTest.testGetModusPonens 139236282170114 Feb 07:27:01 1 PASS 0.00100.001  
AddVoTest.testGetReferencesAddVoTest.testGetReferences 139236282170514 Feb 07:27:01 1 PASS 0.00400.004