Clover Test Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Class Tests Fail Error % Tests Success
RigidContextChecker 0 0 0 0 0 0 0 -
 
Tests Started Status Message
 
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 .