Clover Test Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
App    Test    Results    Clouds   
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Class Tests Fail Error % Tests Success
AddVoTest 4 4 0 0 0 0 0.041 100%
 
Tests Started Status Message
AddVoTest.testGetNameAddVoTest.testGetName 136940313857424 May 13:45:38 1 PASS 0.0150.015  
AddVoTest.testAllAddVoTest.testAll 136940313862724 May 13:45:38 1 PASS 0.010.01  
AddVoTest.testGetReferencesAddVoTest.testGetReferences 136940313861124 May 13:45:38 1 PASS 0.010.01  
AddVoTest.testGetModusPonensAddVoTest.testGetModusPonens 136940313860124 May 13:45:38 1 PASS 0.00600.006  
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .