Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
Test
testGetSubstPred 1 PASS 13 Feb 22:52:30 0.018
 
  testGetSubstPred.
org.qedeq.base.trace.Trace   org.qedeq.base.trace.Trace 0.014652015 1.5%