Clover Coverage Cloud Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
10,201   35,331   4,333   6.38
4,270   20,547   0.42   8.11
1,598   182   2.71   9.85
197   20  
 
AsciiMathParser BasicKernel BasicKernel.LazyHolderTimeoutMethods ClassOperatorAlreadyExistsException ControlVisitor DefaultExistenceChecker DefaultInternalKernelServices DefaultKernelQedeqBo DynamicDirectInterpreter DynamicHeuristicCheckerExecutor DynamicHeuristicCheckerPlugin DynamicModel Element2LatexImpl Element2LatexImpl.Funcon Element2LatexImpl.Predcon Element2LatexImpl.Var ElementCheckException EverythingExists FormalProofCheckerExecutor FormalProofCheckerPlugin FormulaCheckException FormulaCheckerImpl FormulaUtility FourDynamicModel Function FunctionConstant FunctionKey FunctionVariableInterpreter HeuristicException IdentityOperatorAlreadyExistsException InternalModuleServiceCallImpl InternalServiceJobImpl KernelContext KernelModuleReferenceList KernelNodeBo KernelQedeqBoStorage Latex2UnicodeParser Latex2UnicodeSpecials LatexListDataException LatexMathParser LoadDirectlyRequiredModulesPlugin LoadRequiredModuleException LoadRequiredModulesExecutor LoadRequiredModulesPlugin LogListenerImpl LogicalCheckException LogicalCheckExceptionList MathParser MementoTextInput ModuleArbiterImpl ModuleConstantsExistenceCheckerImpl ModuleEventLog ModuleLabels ModuleLabelsCreator ModuleLogListenerImpl ModuleServicePluginResults ModusPonensBo Operator ParserException PluginManager PluginResultManager Predicate PredicateConstant PredicateKey PredicateVariableInterpreter ProofCheckException ProofChecker0Impl ProofChecker1Impl ProofChecker2Impl ProofCheckerFactoryImpl ProofFinderImpl ProofFinderImpl.SubstituteBase ProofFinderUtility ProofLineData Qedeq2LatexExecutor Qedeq2LatexPlugin Qedeq2UnicodeTextExecutor Qedeq2UnicodeTextPlugin Qedeq2UnicodeVisitor Qedeq2Utf8Executor Qedeq2Utf8Plugin QedeqBoDuplicateLanguageChecker QedeqBoSet QedeqLog QedeqVoBuilder ReferenceLinkException RuntimeVisitorException SeparatorNotFoundException ServiceProcessManager ServiceResultImpl SimpleMathParser SimpleProofFinderExecutor SimpleProofFinderPlugin SixDynamicModel StateManager SubjectVariable SubjectVariableAllocation SubjectVariableInterpreter SubstPredBo Term TermCheckException ThreeDynamicModel TraceListener UnaryDynamicModel WellFormedCheckerExecutor WellFormedCheckerPlugin