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
PredicateVariableTest 5 5 0 0 0 0 0.019 100%
 
Tests Started Status Message
PredicateVariableTest.testEqualsPredicateVariableTest.testEquals 136939763628724 May 12:13:56 1 PASS 0.00200.002  
PredicateVariableTest.testHashCodePredicateVariableTest.testHashCode 136939763632124 May 12:13:56 1 PASS 0.00  
PredicateVariableTest.testToStringPredicateVariableTest.testToString 136939763630324 May 12:13:56 1 PASS 0.00  
PredicateVariableTest.testGetNamePredicateVariableTest.testGetName 136939763627124 May 12:13:56 1 PASS 0.00  
PredicateVariableTest.testGetArgumentNumberPredicateVariableTest.testGetArgumentNumber 136939763622324 May 12:13:56 1 PASS 0.0170.017  
 
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 .