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
FormalProofCheckerPluginTest 4 4 0 0 0 0 10.684 100%
 
Tests Started Status Message
FormalProofCheckerPluginTest.testPlugin3FormalProofCheckerPluginTest.testPlugin3 136940252237224 May 13:35:22 1 PASS 5.6055.605  
FormalProofCheckerPluginTest.testPlugin2FormalProofCheckerPluginTest.testPlugin2 136940251980724 May 13:35:19 1 PASS 2.5582.558  
FormalProofCheckerPluginTest.testPluginFormalProofCheckerPluginTest.testPlugin 136940251857624 May 13:35:18 1 PASS 1.181.18  
FormalProofCheckerPluginTest.testPlugin4FormalProofCheckerPluginTest.testPlugin4 136940252798224 May 13:35:27 1 PASS 1.3411.341  
 
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 .