Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
Class Tests Fail Error % Tests Success
FormallyProvedStateTest 6 6 0 0 0 0 0.054 100%
 
Tests Started Status Message
FormallyProvedStateTest.testEqualsFormallyProvedStateTest.testEquals 139233196092913 Feb 22:52:40 1 PASS 0.00  
FormallyProvedStateTest.testGetCodeFormallyProvedStateTest.testGetCode 139233196080913 Feb 22:52:40 1 PASS 0.0520.052  
FormallyProvedStateTest.testHashCodeFormallyProvedStateTest.testHashCode 139233196093613 Feb 22:52:40 1 PASS 0.00100.001  
FormallyProvedStateTest.testGetTextFormallyProvedStateTest.testGetText 139233196088913 Feb 22:52:40 1 PASS 0.00100.001  
FormallyProvedStateTest.testToStringFormallyProvedStateTest.testToString 139233196089613 Feb 22:52:40 1 PASS 0.00  
FormallyProvedStateTest.testIsFailureFormallyProvedStateTest.testIsFailure 139233196091813 Feb 22:52:40 1 PASS 0.00