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
FormallyProvedStateTest 6 6 0 0 0 0 0.015 100%
 
Tests Started Status Message
FormallyProvedStateTest.testGetTextFormallyProvedStateTest.testGetText 136940318425324 May 13:46:24 1 PASS 0.00  
FormallyProvedStateTest.testHashCodeFormallyProvedStateTest.testHashCode 136940318426624 May 13:46:24 1 PASS 0.00  
FormallyProvedStateTest.testEqualsFormallyProvedStateTest.testEquals 136940318426324 May 13:46:24 1 PASS 0.00200.002  
FormallyProvedStateTest.testIsFailureFormallyProvedStateTest.testIsFailure 136940318425924 May 13:46:24 1 PASS 0.00  
FormallyProvedStateTest.testGetCodeFormallyProvedStateTest.testGetCode 136940318423424 May 13:46:24 1 PASS 0.0130.013  
FormallyProvedStateTest.testToStringFormallyProvedStateTest.testToString 136940318425524 May 13:46:24 1 PASS 0.00  
 
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 .