Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
FormallyProvedStateTest 6 6 0 0 0 0 0.016 100%
 
Tests Started Status Message
FormallyProvedStateTest.testIsFailureFormallyProvedStateTest.testIsFailure 139236286947914 Feb 07:27:49 1 PASS 0.00  
FormallyProvedStateTest.testToStringFormallyProvedStateTest.testToString 139236286947514 Feb 07:27:49 1 PASS 0.00  
FormallyProvedStateTest.testGetCodeFormallyProvedStateTest.testGetCode 139236286944614 Feb 07:27:49 1 PASS 0.0160.016  
FormallyProvedStateTest.testEqualsFormallyProvedStateTest.testEquals 139236286948814 Feb 07:27:49 1 PASS 0.00  
FormallyProvedStateTest.testGetTextFormallyProvedStateTest.testGetText 139236286947014 Feb 07:27:49 1 PASS 0.00  
FormallyProvedStateTest.testHashCodeFormallyProvedStateTest.testHashCode 139236286949114 Feb 07:27:49 1 PASS 0.00