Surefire Report

Summary

[Summary] [Package List] [Test Cases]


Tests Errors Failures Skipped Success Rate Time
1423 0 1 0 99.93% 377.803

Note: failures are anticipated and checked for with assertions while errors are unanticipated.


Package List

[Summary] [Package List] [Test Cases]


Package Tests Errors Failures Skipped Success Rate Time
org.qedeq.kernel.xml.common 2 0 0 0 100% 0.002
org.qedeq.base.io 209 0 0 0 100% 4.531
org.qedeq.kernel.bo.logic.proof.finder 3 0 0 0 100% 37.914
org.qedeq.kernel.se.common 51 0 0 0 100% 0.026
org.qedeq.kernel.xml.tracker 18 0 0 0 100% 0.116
org.qedeq.kernel.xml.mapper 9 0 0 0 100% 0.208
org.qedeq.kernel.bo.service.internal 10 0 0 0 100% 0.004
com.sun.syndication.io 3 0 0 0 100% 0.002
org.qedeq.kernel.bo.logic 2 0 0 0 100% 0.004
org.qedeq.kernel.se.test 1 0 0 0 100% 0.511
org.qedeq.kernel.bo.logic.wf 168 0 0 0 100% 2.728
org.qedeq.base.trace 33 0 0 0 100% 0.027
junit.framework 1 0 1 0 0% 0.001
org.qedeq.kernel.bo.service.basis 34 0 0 0 100% 4.639
org.qedeq.kernel.bo.service.logic 14 0 0 0 100% 194.819
org.qedeq.kernel.bo.logic.model 310 0 0 0 100% 80.147
org.qedeq.base.test 1 0 0 0 100% 0.428
org.qedeq.kernel.xml.parser 4 0 0 0 100% 0.108
org.qedeq.kernel.bo.logic.proof.checker 3 0 0 0 100% 0.402
org.qedeq.kernel.xml.dao 1 0 0 0 100% 19.879
org.qedeq.kernel.se.dto.list 41 0 0 0 100% 0.016
org.qedeq.kernel.bo.log 34 0 0 0 100% 1.862
org.qedeq.kernel.bo.parser 104 0 0 0 100% 0.644
org.qedeq.kernel.bo.logic.common 7 0 0 0 100% 0.035
org.qedeq.kernel.bo.service.unicode 31 0 0 0 100% 12.168
org.qedeq.base.utility 60 0 0 0 100% 0.065
org.qedeq.kernel.bo.test 1 0 0 0 100% 0.318
org.qedeq.kernel.se.state 39 0 0 0 100% 0.008
org.qedeq.kernel.bo.service.latex 14 0 0 0 100% 8.754
org.qedeq.kernel.se.config 25 0 0 0 100% 0.59
org.qedeq.kernel.se.visitor 17 0 0 0 100% 0.187
org.qedeq.kernel.bo.common 23 0 0 0 100% 0.042
org.qedeq.kernel.se.dto.module 109 0 0 0 100% 0.269
org.qedeq.kernel.bo 34 0 0 0 100% 0.128
org.qedeq.kernel.xml.schema 1 0 0 0 100% 0.338
org.qedeq.kernel.xml.test 1 0 0 0 100% 0.343
org.qedeq.kernel.bo.service.heuristic 5 0 0 0 100% 5.54

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.

org.qedeq.kernel.xml.common

Class Tests Errors Failures Skipped Success Rate Time
XmlSyntaxExceptionTest 2 0 0 0 100% 0.002

org.qedeq.base.io

Class Tests Errors Failures Skipped Success Rate Time
VersionSetTest 6 0 0 0 100% 0.01
SourcePositionTest 6 0 0 0 100% 0.001
StringOutputTest 3 0 0 0 100% 0.003
ResourceLoaderUtilityTest 3 0 0 0 100% 0.468
ParametersTest 11 0 0 0 100% 0.004
IoUtilityTest 50 0 0 0 100% 3.96
SubTextInputTest 21 0 0 0 100% 0.007
TextInputTest 28 0 0 0 100% 0.01
UrlUtilityTest 4 0 0 0 100% 0.036
VersionTest 12 0 0 0 100% 0.004
SourceAreaTest 7 0 0 0 100% 0.001
AbstractOutputTest 47 0 0 0 100% 0.007
PathTest 6 0 0 0 100% 0.002
TextOutputTest 5 0 0 0 100% 0.018

org.qedeq.kernel.bo.logic.proof.finder

Class Tests Errors Failures Skipped Success Rate Time
ProofFinderImplTest 3 0 0 0 100% 37.914

org.qedeq.kernel.se.common

Class Tests Errors Failures Skipped Success Rate Time
ModuleDataExceptionTest 3 0 0 0 100% 0.005
RuleKeyTest 4 0 0 0 100% 0.002
SourceFileExceptionTest 10 0 0 0 100% 0.003
DefaultModuleAddressTest 12 0 0 0 100% 0.007
IllegalModuleDataExceptionTest 3 0 0 0 100% 0.001
ModuleContextTest 5 0 0 0 100% 0.002
QedeqExceptionTest 4 0 0 0 100% 0.002
SourceFileExceptionListTest 10 0 0 0 100% 0.004

org.qedeq.kernel.xml.tracker

Class Tests Errors Failures Skipped Success Rate Time
XPathLocationParserTest 1 0 0 0 100% 0.038
SimpleXPathTest 8 0 0 0 100% 0.004
XPathLocationFinderTest 9 0 0 0 100% 0.074

org.qedeq.kernel.xml.mapper

Class Tests Errors Failures Skipped Success Rate Time
Context2SimpleXPathTest 9 0 0 0 100% 0.208

org.qedeq.kernel.bo.service.internal

Class Tests Errors Failures Skipped Success Rate Time
Element2LatexImplTest 10 0 0 0 100% 0.004

com.sun.syndication.io

Class Tests Errors Failures Skipped Success Rate Time
XmlReaderExceptionTest 3 0 0 0 100% 0.002

org.qedeq.kernel.bo.logic

Class Tests Errors Failures Skipped Success Rate Time
ProofCheckerFactoryImplTest 1 0 0 0 100% 0.002
FormulaCheckerFactoryImplTest 1 0 0 0 100% 0.002

org.qedeq.kernel.se.test

Class Tests Errors Failures Skipped Success Rate Time
KernelSeEachClassHasATest 1 0 0 0 100% 0.511

org.qedeq.kernel.bo.logic.wf

Class Tests Errors Failures Skipped Success Rate Time
FormulaCheckerGlobalTest 19 0 0 0 100% 0.008
FormulaCheckerClassTermTest 8 0 0 0 100% 0.007
FormulaCheckerFormulaTest 6 0 0 0 100% 0.004
FormulaCheckerContextTest 12 0 0 0 100% 2.379
FormulaCheckerNegationTest 3 0 0 0 100% 0.002
FormulaCheckerQuantifiersTest 30 0 0 0 100% 0.03
TestFormulaCheckerFactoryImpl 0 0 0 0 0% 0.001
FormulaCheckerSubjectVariableTest 4 0 0 0 100% 0.004
FormulaCheckerTest 21 0 0 0 100% 0.026
FormulaCheckerPredicateFormulaTest 13 0 0 0 100% 0.01
FormulaCheckerTermTest 14 0 0 0 100% 0.009
FormulaCheckerFunctionTermTest 14 0 0 0 100% 0.206
FormulaCheckerLogicalConnectivesTest 24 0 0 0 100% 0.042

org.qedeq.base.trace

Class Tests Errors Failures Skipped Success Rate Time
TraceTest 33 0 0 0 100% 0.027

junit.framework

Class Tests Errors Failures Skipped Success Rate Time
TestSuite$1 1 0 1 0 0% 0.001

org.qedeq.kernel.bo.service.basis

Class Tests Errors Failures Skipped Success Rate Time
DefaultKernelQedeqBoTest 5 0 0 0 100% 0.004
CheckRequiredModuleExceptionTest 2 0 0 0 100% 0.001
ModuleConstantsExistenceCheckerTest 13 0 0 0 100% 0.497
LoadRequiredModulesTest 14 0 0 0 100% 4.137

org.qedeq.kernel.bo.service.logic

Class Tests Errors Failures Skipped Success Rate Time
FormalProofCheckerPluginTest 5 0 0 0 100% 2.69
SimpleProofFinderPluginTest 3 0 0 0 100% 191.719
QedeqBoFormalLogicCheckerTest 1 0 0 0 100% 0.249
QedeqBoFormalLogicCheckerDirectTest 5 0 0 0 100% 0.161

org.qedeq.kernel.bo.logic.model

Class Tests Errors Failures Skipped Success Rate Time
PredicateVariableTest 5 0 0 0 100% 0.07
CalculateTruthUnaryModelTest 47 0 0 0 100% 0.562
DynamicDirectInterpreterTest 51 0 0 0 100% 67.558
DynamicInterpreterTest 45 0 0 0 100% 4.859
ModelFunctionConstantTest 5 0 0 0 100% 0.152
OperatorTest 5 0 0 0 100% 0.014
FunctionVariableTest 5 0 0 0 100% 0.123
CalculateTruthDynamicThreeModelTest 48 0 0 0 100% 5.968
CalculateTruthThreeModelTest 47 0 0 0 100% 0.523
ModelPredicateConstantTest 5 0 0 0 100% 0.1
CalculateTruthDynamicUnaryModelTest 47 0 0 0 100% 0.218

org.qedeq.base.test

Class Tests Errors Failures Skipped Success Rate Time
BaseEachClassHasATest 1 0 0 0 100% 0.428

org.qedeq.kernel.xml.parser

Class Tests Errors Failures Skipped Success Rate Time
QedeqParserTest 2 0 0 0 100% 0.024
CharsetParserTest 2 0 0 0 100% 0.084

org.qedeq.kernel.bo.logic.proof.checker

Class Tests Errors Failures Skipped Success Rate Time
ProofCheckerTest 3 0 0 0 100% 0.402

org.qedeq.kernel.xml.dao

Class Tests Errors Failures Skipped Success Rate Time
GenerateXmlTest 1 0 0 0 100% 19.879

org.qedeq.kernel.se.dto.list

Class Tests Errors Failures Skipped Success Rate Time
DefaultAtomTest 10 0 0 0 100% 0.004
DefaultElementListTest 17 0 0 0 100% 0.006
ElementSetTest 14 0 0 0 100% 0.006

org.qedeq.kernel.bo.log

Class Tests Errors Failures Skipped Success Rate Time
QedeqLogTest 11 0 0 0 100% 0.218
ModuleEventListenerLogTest 3 0 0 0 100% 0.627
DefaultModuleEventListenerTest 4 0 0 0 100% 0.744
TraceListenerTest 7 0 0 0 100% 0.155
LogListenerImplTest 9 0 0 0 100% 0.118

org.qedeq.kernel.bo.parser

Class Tests Errors Failures Skipped Success Rate Time
AsciiMathParserTest 58 0 0 0 100% 0.342
LatexMathParserTest 11 0 0 0 100% 0.106
SimpleMathParserTest 30 0 0 0 100% 0.175
OperatorTest 5 0 0 0 100% 0.021

org.qedeq.kernel.bo.logic.common

Class Tests Errors Failures Skipped Success Rate Time
FormulaUtilityReplaceSubjectVariableQuantifierTest 5 0 0 0 100% 0.011
FormulaUtilityReplaceOperatorVariableTest 2 0 0 0 100% 0.024

org.qedeq.kernel.bo.service.unicode

Class Tests Errors Failures Skipped Success Rate Time
Latex2UnicodeParserTest 12 0 0 0 100% 0.014
GenerateUtf8Test 10 0 0 0 100% 6.454
Qedeq2UnicodeTextExecutorTest 9 0 0 0 100% 5.7

org.qedeq.base.utility

Class Tests Errors Failures Skipped Success Rate Time
EqualsUtilityTest 4 0 0 0 100% 0.001
YodaUtilityTest 7 0 0 0 100% 0.051
SplitterTest 13 0 0 0 100% 0.003
EnumeratorTest 6 0 0 0 100% 0.003
StringUtilityTest 26 0 0 0 100% 0.006
DateUtilityTest 4 0 0 0 100% 0.001

org.qedeq.kernel.bo.test

Class Tests Errors Failures Skipped Success Rate Time
TestingProofCheckerFactoryImpl 0 0 0 0 0% 0.001
KernelBoEachClassHasATest 1 0 0 0 100% 0.317

org.qedeq.kernel.se.state

Class Tests Errors Failures Skipped Success Rate Time
DependencyStateTest 7 0 0 0 100% 0.001
LoadingImportsStateTest 7 0 0 0 100% 0.002
AbstractStateTest 7 0 0 0 100% 0.002
LoadingStateTest 6 0 0 0 100% 0.001
WellFormedStateTest 6 0 0 0 100% 0.001
FormallyProvedStateTest 6 0 0 0 100% 0.001

org.qedeq.kernel.bo.service.latex

Class Tests Errors Failures Skipped Success Rate Time
Qedeq2LatexTest 4 0 0 0 100% 0.534
GenerateLatexTest 10 0 0 0 100% 8.22

org.qedeq.kernel.se.config

Class Tests Errors Failures Skipped Success Rate Time
QedeqConfigTest 21 0 0 0 100% 0.015
ConfigAccessTest 4 0 0 0 100% 0.575

org.qedeq.kernel.se.visitor

Class Tests Errors Failures Skipped Success Rate Time
DefaultContextCheckerTest 1 0 0 0 100% 0.001
LatexList2TextTest 2 0 0 0 100% 0.002
InterruptExceptionTest 3 0 0 0 100% 0
QedeqNumbersTest 3 0 0 0 100% 0.111
AbstractModuleVisitorTest 2 0 0 0 100% 0.001
QedeqNotNullTraverserTest 6 0 0 0 100% 0.072

org.qedeq.kernel.bo.common

Class Tests Errors Failures Skipped Success Rate Time
BasicKernelTest 10 0 0 0 100% 0.037
QedeqBoSetTest 13 0 0 0 100% 0.005

org.qedeq.kernel.se.dto.module

Class Tests Errors Failures Skipped Success Rate Time
LatexListVoTest 1 0 0 0 100% 0.002
FormalProofLineVoTest 2 0 0 0 100% 0.008
RenameVoTest 4 0 0 0 100% 0.003
ModusPonensVoTest 6 0 0 0 100% 0.003
ConclusionVoTest 5 0 0 0 100% 0.053
LinkListVoTest 1 0 0 0 100% 0.002
ProofListVoTest 1 0 0 0 100% 0.003
HeaderVoTest 1 0 0 0 100% 0.011
SectionListVoTest 1 0 0 0 100% 0.004
ChangedRuleListVoTest 1 0 0 0 100% 0.003
ProofVoTest 1 0 0 0 100% 0.001
AuthorVoTest 2 0 0 0 100% 0.002
LocationListVoTest 1 0 0 0 100% 0.002
ImportVoTest 2 0 0 0 100% 0.002
PredicateDefinitionVoTest 2 0 0 0 100% 0.003
FormalProofLineListVoTest 1 0 0 0 100% 0.002
LocationVoTest 1 0 0 0 100% 0.005
ExistentialVoTest 4 0 0 0 100% 0.002
HypothesisVoTest 3 0 0 0 100% 0.002
SubstFuncVoTest 4 0 0 0 100% 0.003
AddVoTest 4 0 0 0 100% 0.002
SubsectionListVoTest 1 0 0 0 100% 0.007
ImportListVoTest 1 0 0 0 100% 0.001
ConditionalProofVoTest 4 0 0 0 100% 0.006
SpecificationVoTest 1 0 0 0 100% 0.003
ChapterVoTest 1 0 0 0 100% 0.007
FormulaVoTest 1 0 0 0 100% 0.001
PropositionVoTest 2 0 0 0 100% 0.008
FormalProofListVoTest 1 0 0 0 100% 0.004
ChangedRuleVoTest 1 0 0 0 100% 0.001
InitialPredicateDefinitionVoTest 2 0 0 0 100% 0.011
InitialFunctionDefinitionVoTest 2 0 0 0 100% 0.005
QedeqVoTest 1 0 0 0 100% 0.021
ChapterListVoTest 1 0 0 0 100% 0.008
TermVoTest 2 0 0 0 100% 0.003
LiteratureItemVoTest 1 0 0 0 100% 0.001
LiteratureItemListVoTest 1 0 0 0 100% 0.001
FunctionDefinitionVoTest 2 0 0 0 100% 0.008
UsedByListVoTest 1 0 0 0 100% 0.001
AuthorListVoTest 1 0 0 0 100% 0.001
SubstPredVoTest 4 0 0 0 100% 0.005
NodeVoTest 11 0 0 0 100% 0.005
SubsectionVoTest 3 0 0 0 100% 0.006
UniversalVoTest 4 0 0 0 100% 0.002
FormalProofVoTest 2 0 0 0 100% 0.006
AxiomVoTest 2 0 0 0 100% 0.003
SubstFreeVoTest 4 0 0 0 100% 0.002
LatexVoTest 1 0 0 0 100% 0.001
SectionVoTest 1 0 0 0 100% 0.004
RuleVoTest 2 0 0 0 100% 0.019

org.qedeq.kernel.bo

Class Tests Errors Failures Skipped Success Rate Time
KernelContextTest 34 0 0 0 100% 0.128

org.qedeq.kernel.xml.schema

Class Tests Errors Failures Skipped Success Rate Time
SchemaTest 1 0 0 0 100% 0.338

org.qedeq.kernel.xml.test

Class Tests Errors Failures Skipped Success Rate Time
KernelXmlEachClassHasATest 1 0 0 0 100% 0.343

org.qedeq.kernel.bo.service.heuristic

Class Tests Errors Failures Skipped Success Rate Time
DynamicHeuristicCheckerPluginTest 1 0 0 0 100% 0.102
HeuristicCheckerPluginTest 4 0 0 0 100% 5.438

Test Cases

[Summary] [Package List] [Test Cases]

ModuleDataExceptionTest

testConstructor 0.001
testHashCode 0
testEqualsObject 0

EqualsUtilityTest

testEqualsObject 0
testEqualsByteArray 0
testEqualsIntArray 0
testEqualsObjectArray 0

LatexListVoTest

testAll 0.001

BasicKernelTest

testGetBuildId 0.003
testGetKernelVersion 0.002
testGetDedicationVersion 0.002
testGetDescriptiveKernelVersion 0.004
testGetKernelCodeName 0.004
testGetKernelVersionDirectory 0.002
testIsRuleVersionSupported 0.004
testGetMaximalRuleVersion 0.003
testIsSetConnectionTimeOutSupported 0.003
testIsSetReadTimeoutSupported 0.008

FormulaUtilityReplaceSubjectVariableQuantifierTest

testClassTermPositive01 0.002
testClassTermPositive02 0.002
testClassTermPositive03 0.002
testClassTermPositive04 0.002
testClassTermPositive05 0.003

FormalProofLineVoTest

testConstructos 0
testAll 0.007

DefaultContextCheckerTest

testCheckHashCode 0

BaseEachClassHasATest

testIfEveryClassIsTested 0.428

RenameVoTest

testGetRename 0
testGetName 0
testGetReferences 0
testAll 0.002

ModusPonensVoTest

testGetName 0
testGetReferences 0
testGetModusPonens 0
testGetReference1 0
testGetReference2 0
testAll 0.001

QedeqConfigTest

testStore 0.003
testGetBasisDirectory 0
testGetSetBufferDirectory 0.001
testGetSetGenerationDirectory 0
testGetLocalModulesDirectory 0.001
testGetSetConnectTimeout 0
testGetSetReadConnectTimeout 0.001
testGetSetHttpProxyHost 0
testGetSetHttpProxyPort 0
testGetSetHttpNonProxyHosts 0.001
testGetLogFile 0
testGetSaveModuleHistory 0.001
testGetSetPreviouslyLoadedModules 0.002
testGetSetKeyValueString 0
testGetKeyValueStringBoolean 0.001
testGetKeyValueStringString 0
testGetKeyValueStringInt 0
testGetSetServiceValues 0.001
testCreateAbsolutePath 0
testIsSetIsTraceOn 0.001
testIsSetAutoReloadLastSessionChecked 0

TestSuite$1

warning
+ [ Detail ]
 0.001
No tests found in org.qedeq.kernel.bo.test.QedeqBoTestCase

PredicateVariableTest

testToString 0.001
testEquals 0.019
testHashCode 0.014
testGetName 0.022
testGetArgumentNumber 0.013

QedeqLogTest

testConstructor 0.003
testLogFailureReply 0.016
testLogSuccessfulReply 0.019
testLogMessageState 0.007
testLogFailureState 0.006
testLogSuccesfulState 0.01
testLogRequest 0.049
testLogMessage 0.032
testRemoveLog 0.041
testRemoveLog2 0.012
testAddLog 0.019

ConclusionVoTest

testToString 0
testHashCode 0
testGetLabel 0
testGetFormula 0.001
testAll 0.007

LinkListVoTest

testAll 0

VersionSetTest

testToString 0
testHashCode 0
testIterator 0
testConstructors 0.008
testAddAndContainsClearIsEmpty 0.001
testAddAndEquals 0

CalculateTruthUnaryModelTest

testTautology19 0.003
testTautology20 0.009
testTautology21 0.009
testTautology28 0.004
testTautology31 0.016
testTautology34 0.016
testTautology37 0.009
testTautology41 0.007
testTautology01 0.012
testTautology02 0.01
testTautology03 0.018
testTautology04 0.009
testTautology05 0.022
testTautology06 0.018
testTautology07 0.01
testTautology08 0.008
testTautology09 0.005
testTautology10 0.012
testTautology11 0.014
testTautology12 0.009
testTautology13 0.08
testTautology14 0.016
testTautology15 0.009
testTautology16 0.021
testTautology17 0.002
testTautology18 0.005
testTautology22 0.003
testTautology23 0.008
testTautology24 0.007
testTautology25 0.011
testTautology26 0.006
testTautology27 0.008
testTautology29 0.02
testTautology30 0.006
testTautology32 0.008
testTautology33 0.007
testTautology35 0.003
testTautology36 0.007
testTautology38 0.009
testTautology39 0.007
testTautology40 0.032
testTautology42 0.025
testTautology44 0.008
testTautology45 0.004
testTautology46 0.008
testTautology47 0.004
testTautology43 0.009

YodaUtilityTest

testGetFieldValue 0.004
testGetField 0
testExecuteMethod 0.001
testExecuteMethod2 0
testExistsMethod 0
testSetFieldValue 0
testExistsMethod2 0

RuleKeyTest

testToString 0
testEquals 0
testHashCode 0
testGet 0.001

SourceFileExceptionTest

testConstructor 0.001
testToString 0
testHashCode 0
testEqualsObject 0
testGetCause 0.001
testGetMessage 0
testGetDescription 0
testGetPlugin 0
testGetSourceArea 0
testGetRefrenceArea 0

LatexList2TextTest

testGetLatex 0.001
testTransform 0

DefaultAtomTest

testConstructor 0.001
testToString 0
testEquals 0
testHashCode 0
testGet 0
testGetList 0
testIsAtom 0
testIsList 0
testGetAtom 0
testReplace 0

AsciiMathParserTest

testReadMaximalTerm00 0.005
testReadMaximalTerm01 0.004
testReadMaximalTerm02 0.003
testReadMaximalTerm03 0.003
testReadMaximalTerm04 0.003
testReadMaximalTerm05 0.004
testReadMaximalTerm06 0.004
testReadMaximalTerm07 0.003
testReadMaximalTerm08 0.003
testReadMaximalTerm09 0.004
testReadMaximalTerm10 0.003
testReadMaximalTerm11 0.003
testReadMaximalTerm12 0.004
testReadMaximalTerm13 0.003
testReadMaximalTerm14 0.005
testReadMaximalTerm15 0.003
testReadMaximalTerm16 0.009
testReadMaximalTerm17 0.004
testReadMaximalTerm18 0.003
testReadMaximalTerm19 0.004
testReadMaximalTerm20 0.003
testReadMaximalTerm21 0.004
testReadMaximalTerm22 0.012
testReadMaximalTerm23 0.004
testReadMaximalTerm24 0.005
testReadMaximalTerm26 0.003
testReadMaximalTerm27 0.004
testReadMaximalTerm28 0.003
testReadMaximalTerm29 0.004
testReadMaximalTerm30 0.004
testReadMaximalTerm31 0.004
testReadMaximalTerm32 0.004
testReadMaximalTerm33 0.003
testReadMaximalTerm34 0.004
testReadMaximalTerm35 0.004
testReadMaximalTerm36 0.003
testReadMaximalTerm37 0.007
testReadMaximalTerm38 0.004
testReadMaximalTerm39 0.003
testReadMaximalTerm40 0.003
testReadMaximalTerm41 0.004
testReadMaximalTerm42 0.003
testReadMaximalTerm43 0.004
testReadMaximalTerm44 0.004
testReadMaximalTerm45 0.011
testReadMaximalTerm46 0.004
testReadMaximalTerm47 0.003
testReadMaximalTerm48 0.004
testReadMaximalTerm49 0.003
testReadMaximalTerm50 0.004
testException00 0.003
testException01 0.003
testException02 0.004
testException03 0.003
testException04 0.004
testException05 0.003
testException06 0.003
testAllTogether 0.109

FormalProofCheckerPluginTest

testPlugin 0.15
testPlugin2 0.611
testPlugin3 1.366
testPlugin4 0.294
testProof_003 0.265

DynamicHeuristicCheckerPluginTest

testQedeqSampleScript1 0.102

SourcePositionTest

testToString 0
testHashCode 0
testEqualsObject 0
testSourcePosition 0
testGetLine 0
testGetEndPosition 0

FormulaUtilityReplaceOperatorVariableTest

test_Positive01 0.007
test_Positive02 0.017

DefaultModuleAddressTest

testConstructor 0.001
testToString 0
testHashCode 0
testEqualsObject 0
testDefaultModuleAddressURL 0
testDefaultModuleAddressFile 0.002
testCreateModuleContext 0
testGetModulePaths1 0.001
testGetModulePaths2 0
testGetModulePaths3 0
testCreateRelativeAddress 0
testCreateRelativeAddress2 0

DynamicDirectInterpreterTest

testTautology01 0.426
testTautology02 0.905
testTautology03 0.472
testTautology04 0.59
testTautology05 0.192
testTautology06 0.166
testTautology07 0.245
testTautology08 0.23
testTautology09 0.165
testTautology10 0.242
testTautology11 0.189
testTautology12 0.169
testTautology13 0.205
testTautology14 0.175
testTautology15 0.208
testTautology16 0.439
testTautology17 0.174
testTautology18 0.189
testTautology19 0.173
testTautology20 0.166
testTautology21 0.172
testTautology22 0.232
testTautology23 0.159
testTautology24 0.278
testTautology25 0.186
testTautology26 0.214
testTautology27 0.213
testTautology28 0.209
testTautology29 0.216
testTautology30 0.237
testTautology31 0.168
testTautology32 0.165
testTautology33 0.201
testTautology34 0.182
testTautology35 0.253
testTautology36 0.225
testTautology37 0.157
testTautology38 0.197
testTautology39 0.292
testTautology40 16.815
testTautology41 0.155
testTautology42 0.17
testTautology50 0.163
testTautology51 0.184
testTautology52 0.24
testTautology44 0.559
testTautology45 0.329
testTautology46 0.649
testTautology47 5.248
testTautology43 0.189
testTautology53 33.172

XmlReaderExceptionTest

testGetter 0.001
testCreator 0
testGetter2 0

ProofListVoTest

testAll 0.002

IllegalModuleDataExceptionTest

testConstructor 0
testHashCode 0
testEqualsObject 0

Context2SimpleXPathTest

testGetXPath01 0.014
testGetXPath02 0.033
testGetXPath03 0.038
testGetXPath04 0.025
testGetXPath05 0.022
testGetXPath06 0.014
testGetXPath07 0.028
testGetXPath08 0.015
testGetXPath09 0.017

QedeqParserTest

testParse1 0.013
testParse2 0.011

StringOutputTest

testComplete 0.002
testPushPop 0
testGetPosition 0

HeaderVoTest

testAll 0.011

DependencyStateTest

testGetCode 0
testGetText 0
testToString 0
testIsFailure 0
testEquals 0
testHashCode 0
testAreAllRequiredLoaded 0

SectionListVoTest

testAll 0.003

ModuleEventListenerLogTest

testAddModule 0.004
testRemoveModule 0.305
testStateChanged 0.317

ChangedRuleListVoTest

testAll 0.002

GenerateXmlTest

testGeneration 19.878

ProofVoTest

testAll 0.001

AuthorVoTest

testConstructor 0
testAll 0.002

SplitterTest

testSplitter00 0
testSplitter01 0
testSplitter02 0
testSplitter03 0
testSplitter04 0
testSplitter05 0
testSplitter06 0
testSplitter07 0
testSplitter08 0
testSplitter09 0
testSplitter10 0
testSplitter11 0
testSplitter12 0

QedeqBoSetTest

testConstructor 0.002
testToString 0
testEquals 0
testHashCode 0
testAdd2 0
testSetOperations 0
testSetOperations2 0
testRemove 0
testAdd 0
testContains 0
testIsEmpty 0
testIterator 0
testRemoveSet 0

SimpleProofFinderPluginTest

testPlugin 57.129
testPlugin2 51.555
testPluginFast 83.033

LocationListVoTest

testAll 0.002

HeuristicCheckerPluginTest

testQedeqLogicScript1 0.419
testQedeqLogicScript2 0.094
testQedeqSetTheoryScript1 4.579
testQedeqSetTheoryScript2 0.345

FormulaCheckerGlobalTest

testGlobalFormulaPositive 0.001
testGlobalFormulaNegative01 0
testGlobalTermNegative01 0
testGlobalFormulaNegative03 0.001
testGlobalFormulaNegative04 0
testGlobalFormulaNegative05 0
testGlobalFormulaNegative06 0
testGlobalFormulaNegative07 0.001
testGlobalFormulaNegative08 0
testGlobalFormulaNegative09 0.001
testGlobalFormulaNegative11 0
testGlobalFormulaNegative12 0
testGlobalFormulaNegative13 0
testGlobalFormulaNegative14 0.001
testGlobalFormulaNegative15 0
testGlobalFormulaNegative16 0.001
testGlobalFormulaNegative21 0
testGlobalFormulaNegative23 0
testGlobalFormulaNegative24 0

DefaultKernelQedeqBoTest

testConstructor 0
testHasFailures 0.001
testSetLoadingFailureState 0
testSetLoadingProgressState 0
testSetDependencyFailureState 0

DefaultElementListTest

testConstructor 0
testToString 0
testEquals 0.001
testHashCode 0
testSize 0
testGetElement 0
testGetList 0
testIsAtom 0
testIsList 0
testGetAtom 0
testGetElements 0.001
testCopy 0
testAddAndSizeAndInsertAndRemove 0
testReplace1 0
testReplace2 0
testInsert 0.001
testGetOperator 0

ModuleContextTest

testConstructor 0
testToString 0
testHashCode 0
testEqualsObject 0
testGetDelta 0

Element2LatexImplTest

testClass 0.001
testVar 0
testFuncon 0
testFunvar 0.001
testPredcon 0
testPredvar 0
testVarious1 0
testBinaryLogical 0
testVarious2 0
testClasslist 0.001

InterruptExceptionTest

testConstructor 0
testHashCode 0
testEqualsObject 0

QedeqBoFormalLogicCheckerTest

testCheckModule 0.248

ImportVoTest

testConstructor 0.001
testAll 0.001

LatexMathParserTest

testReadMaximalTerm00 0.01
testReadMaximalTerm01 0.007
testReadMaximalTerm02 0.008
testReadMaximalTerm03 0.008
testReadMaximalTerm04 0.008
testReadMaximalTerm05 0.009
testReadMaximalTerm06 0.008
testReadMaximalTerm07 0.008
testReadMaximalTerm08 0.014
testReadMaximalTerm09 0.01
testAllTogether 0.013

Latex2UnicodeParserTest

test01 0.003
test02 0.005
test03 0
test04 0
test05 0
test06 0
test07 0.002
test08 0
test09 0
test10 0
test11 0.001
test12 0

ElementSetTest

testConstructor 0.001
testToString 0
testEquals 0.001
testHashCode 0
testSetOperations 0.001
testSetOperations2 0
testMinus 0
testRemove 0
testAdd 0
testContains 0
testNewDelta 0
testNewIntersection 0
testIsEmpty 0
testIterator 0

FormulaCheckerClassTermTest

testClassTermPositive01 0.001
testClassTermPositive02 0.001
testClassTermPositive03 0
testClassTermNegative01 0.001
testClassTermNegative02 0.001
testClassTermNegative03 0
testClassTermNegative04 0.001
testClassTermNegative05 0

FormulaCheckerFormulaTest

testFormulaPositive01 0.001
testFormulaPositive02 0
testFormulaPositive03 0.001
testFormulaNegative01 0
testFormulaNegative02 0.001
testFormulaNegative03 0

FormulaCheckerContextTest

testNegative00 0.022
testNegative01 0.02
testNegative02 0.058
testNegative03 0.024
testNegative04 0.022
testPositive01 0.397
testPositive02 0.097
testPositive03 0.197
testPositive03b 0.554
testPositive04 0.948
testPositive05 0.019
testPositive06 0.019

PredicateDefinitionVoTest

testOtherGetters 0
testAll 0.002

GenerateUtf8Test

testGeneration2 0.414
testGeneration1 0.868
testGeneration1b 2.125
testGeneration3 0.451
testGeneration3b 0.389
testGeneration3c 0.182
testGeneration4 1.261
testGeneration5 0.465
testGeneration6 0.238
testGeneration7 0.059

ResourceLoaderUtilityTest

testGetResourceFile 0.465
testGetResourceUrl 0.002
testGetResourceAsStream 0

XmlSyntaxExceptionTest

testGetter 0
testCreator 0.001

FormalProofLineListVoTest

testAll 0.001

EnumeratorTest

testToString 0.001
testEquals 0
testConstructors 0
testIncrease 0.001
testHashcode 0
testReset 0

FormulaCheckerNegationTest

testNegationPositive01 0.001
testNegationNegative01 0.001
testNegationNegative02 0

LocationVoTest

testAll 0.004

FormulaCheckerQuantifiersTest

testQuantifiersPositive01 0
testQuantifiersPositive02 0
testQuantifiersPositive03 0.001
testQuantifiersPositive04 0.001
testQuantifiersPositive05 0
testQuantifiersPositive06 0.003
testQuantifiersNegative01 0.001
testQuantifiersNegative02 0
testQuantifiersNegative03 0
testQuantifiersNegative04 0.001
testQuantifiersNegative05 0
testQuantifiersNegative06 0.001
testQuantifiersNegative07 0.001
testQuantifiersNegative08 0
testQuantifiersNegative09 0.001
testQuantifiersNegative10 0.001
testQuantifiersNegative11 0
testQuantifiersNegative12 0.001
testQuantifiersNegative16 0.001
testQuantifiersNegative17 0.001
testQuantifiersNegative18 0
testQuantifiersNegative19 0.001
testQuantifiersNegative20 0.003
testQuantifiersNegative21 0.001
testQuantifiersNegative22 0.001
testQuantifiersNegative23 0
testQuantifiersNegative24 0.001
testQuantifiersNegative25 0
testQuantifiersNegative26 0
testQuantifiersNegative27 0.001

ParametersTest

testConstructor 0
testGetBoolean 0
testGetBooleanStandard 0
testGetInt 0
testGetIntStandard 0
testGetString 0
testGetStringStandard 0.001
testGetParameterString 0
testSetDefaultBoolean 0
testSetDefaultInt 0
testSetDefaultString 0

DynamicInterpreterTest

testTautology01 0.067
testTautology02 0.099
testTautology03 0.076
testTautology04 0.117
testTautology05 0.069
testTautology06 0.069
testTautology07 0.127
testTautology08 0.069
testTautology09 0.07
testTautology10 0.097
testTautology11 0.066
testTautology12 0.074
testTautology13 0.122
testTautology14 0.087
testTautology15 0.128
testTautology16 0.089
testTautology17 0.087
testTautology18 0.104
testTautology19 0.178
testTautology20 0.068
testTautology21 0.077
testTautology22 0.089
testTautology23 0.06
testTautology24 0.082
testTautology25 0.09
testTautology26 0.063
testTautology27 0.091
testTautology28 0.07
testTautology29 0.078
testTautology30 0.136
testTautology31 0.073
testTautology32 0.063
testTautology33 0.074
testTautology34 0.072
testTautology35 0.071
testTautology36 0.076
testTautology37 0.078
testTautology38 0.181
testTautology39 0.117
testTautology40 0.994
testTautology41 0.077
testTautology42 0.071
testTautology50 0.068
testTautology51 0.061
testTautology52 0.083

LoadingImportsStateTest

testGetCode 0
testGetText 0
testToString 0
testIsFailure 0
testAreAllDirectlyRequiredLoaded 0
testEquals 0
testHashCode 0

ProofCheckerFactoryImplTest

testCreateFormulaChecker 0.002

ExistentialVoTest

testGetName 0
testGetReferences 0
testGetExistential 0
testAll 0.001

XPathLocationParserTest

testGetXPathLocation 0.038

StringUtilityTest

testReplace 0.001
testReplaceStringBuffer 0
testToStringObjectArray 0
testToStringSet 0
testToStringMap 0
testAsLines 0
testQuote 0
testIsLetterDigitString 0
testGetSpaces 0
testGetClassName 0
testDeleteLineLeadingWhitespace 0
testEscapeProperty 0
testAlignRightLongInt 0
testAlignRightStringInt 0
testDecodeXmlMarkup 0.001
testHex2String 0
testString2Hex 0
testString2HexAndBack 0.001
testFormat 0
testGetSystemLineSeparator 0
testAddSystemLineSeparator 0
testSubstring 0
testEscapeXml 0
testUnEscapeXml 0
testIsNotIn 0
testIsIn 0

TraceTest

testFatal 0.003
testFatal2 0.001
testInfo 0
testInfo2 0.001
testBegin 0
testBegin2 0.001
testEnd 0
testEnd2 0.001
testParamString 0
testParamString2 0.001
testParamInt 0
testParamInt2 0
testParamBoolean 0
testParamBoolean2 0.001
testParamObject 0
testParamObject2 0.001
testParamInfoString 0
testParamInfoString2 0
testParamInfoInt 0
testParamInfoInt2 0.001
testParamInfoBoolean 0
testParamInfoBoolean2 0.001
testParamInfoObject 0
testParamInfoObject2 0
testTraceObject 0.001
testTraceObject2 0.001
testTraceThrowable 0.001
testTraceThrowable2 0.001
testTraceThrowable3 0.001
testTraceThrowable4 0.001
testTraceStack 0.002
testTraceStack2 0.001
testTraceOn 0

IoUtilityTest

testPrintAllSystemProperties 0.01
testGetDefaultEncoding 0
testLoadFileStringString 0
testGetWorkingEncoding 0.002
testLoadStreamInputStreamStringBuffer 0.001
testLoadStreamWithoutException 0.001
testLoadReader 0
testLoadFileFileStringBuffer 0
testLoadFileFileStringBufferString 0.012
testLoadFileBinary1 0.004
testLoadFileBinary2 2.208
testSaveFileBinary 0.002
testLoadAndSaveFileBinary 0.005
testCompareFileBinary 0.35
testLoadFileURLStringBuffer 0
testLoadFileURLStringBufferString 0.004
testSaveFileURLFile 0.001
testSaveFileInputStreamFile 0
testStringToReader 0
testSaveFileFileString 0.001
testSaveFileFileStringBuffer 0.003
testSaveFileFileStringString 0.001
testSaveFileStringString 0.001
testSaveFileStringStringBuffer 0
testSaveFileFileStringBufferString 0.001
testCopyFile 0.001
testCopyDirectory 0.006
testCopyDirectory2 0.001
testCopyDirectory3 0.003
testCompareTextFiles1 0.006
testListFilesRecursively 0.004
testCompareTextFiles2 0.049
testCompareTextFiles3 0.104
testDeleteDirFileBoolean 0.004
testDeleteDirFileFileFilter 0.003
testGetUserHomeDirectory 0
testTransformURLPathToFilePath 0.001
testCreateNecessaryDirectories 0.003
testCreateRelativePath 0.001
testCreateRelativePath2 0
testWaitln 0.001
testCloseInputStream 0
testCloseReader 0
testCloseOutputStream 0.001
testCloseWriter 0
testGetStartDirectory 0
testLoadPropertiesUrl 0.001
testSleep 1.156
testGetJavaVersion 0
testGetSortedSystemProperties 0

HypothesisVoTest

testGetLabel 0
testGetFormula 0
testAll 0

SubstFuncVoTest

testGetName 0.001
testGetReferences 0
testGetSubstFunc 0
testAll 0.002

SubTextInputTest

testEquals 0
testIsEmpty 0
testTextInputFileString 0.001
testTextInputStringStringString 0.001
testTextInputStringBufferStringString 0
testRead 0
testReadString 0
testGetChar 0
testGetCharInt 0
testSkipWhiteSpace 0
testSkipWhiteSpaceInverse 0
testSkipBackToBeginOfXmlTag 0
testIsEmptyInt 0
testReadLetterDigitString 0
testReadCounter 0
testReadQuoted 0
testReadInverse 0
testGetAbsolutePosition 0
testGetAbsoluteSubstring 0
testGetAbsoluteEnd 0.001
testGetAbsoluteStart 0

TextInputTest

testEquals 0
testIsEmpty 0
testReplace 0
testTextInputFileString 0.001
testTextInputStringStringString 0
testTextInputStringBufferStringString 0
testRead 0
testReadString 0
testGetChar 0.001
testGetCharInt 0
testSkipWhiteSpace 0.001
testSkipWhiteSpaceInverse 0
testSkipBackToBeginOfXmlTag 0
testIsEmptyInt 0
testReadLetterDigitString 0
testReadCounter 0
testReadQuoted 0
testReadInverse 0
testTextInputReader 0.002
testForwardInt 0
testForwardString 0
testGetSubstring 0
testAsString 0
testSkipToEndOfLine 0
testSkipForwardToEndOfXmlTag 0
testReadXmlName 0
testReadNextAttributeValue 0.001
testReadNextAttributeValue2 0

AddVoTest

testGetName 0.001
testGetReferences 0
testGetModusPonens 0
testAll 0.001

SubsectionListVoTest

testAll 0.006

ModelFunctionConstantTest

testToString 0.081
testEquals 0.055
testHashCode 0.009
testGetName 0.004
testGetArgumentNumber 0.002

UrlUtilityTest

testToUrl 0
testToFile 0
testEasyUrl 0
testSaveUrlToFile 0.035

ConfigAccessTest

testStore 0.572
testGetter 0.001
testRemoveProperty 0
testRemoveProperties 0

DefaultModuleEventListenerTest

testAddModule 0.002
testRemoveModule 0.491
testStateChanged 0.045
testSetPrintStream 0.205

ImportListVoTest

testAll 0.001

SchemaTest

testXml 0.338

ConditionalProofVoTest

testGetLabel 0
testGetFormula 0
testUnuasalGetter 0
testAll 0.005

SpecificationVoTest

testAll 0.002

ChapterVoTest

testAll 0.006

FormulaVoTest

testAll 0

VersionTest

testToString 0
testEquals 0
testHashCode 0
testConstructors 0.001
testGetters 0
testCompareTo 0
testIsLess 0
testIsBigger 0
testEquals2 0
testLess 0.001
testBigger 0
testEquals3 0

PropositionVoTest

testOtherGetters 0
testAll 0.007

FormalProofListVoTest

testAll 0.003

FormulaCheckerSubjectVariableTest

testSubjectVariablePositive 0.001
testSubjectVariableNegative1 0
testSubjectVariableNegative2 0
testSubjectVariableNegative3 0.001

FormulaCheckerTest

testPositive1 0.001
testPositive2 0.002
testPositive3 0.001
testPositive4 0.001
testPositive5 0.002
testPositive6 0.002
testPositive7 0.001
testPositive8 0.002
testNegative1 0.001
testPositive9 0.001
testNegative3 0.001
testNegative4 0.001
testNegative5 0
testNegative6 0.001
testNegative7 0.001
testNegative8 0.001
testNegative9 0
testNegative10 0.001
testNegative11 0
testNegative12 0.001
testNegative13 0.003

ChangedRuleVoTest

testAll 0.001

InitialPredicateDefinitionVoTest

testOtherGetters 0
testAll 0.01

ProofFinderImplTest

testFind 9.175
testFind2 28.581
testFind3 0.156

TraceListenerTest

testLogFailureReply 0.042
testLogSuccessfulReply 0.013
testLogMessageState 0.01
testLogFailureState 0.007
testLogSuccesfulState 0.032
testLogRequest 0.028
testLogMessage 0.02

InitialFunctionDefinitionVoTest

testOtherGetters 0
testAll 0.004

SourceAreaTest

testToString 0
testHashCode 0
testEqualsObject 0
testGetEndPosition 0
testSourceArea 0
testGetAddress 0
testGetStartPosition 0

QedeqVoTest

testAll 0.021

SimpleXPathTest

testToString 0.001
testEquals 0
testHashCode 0.001
testSize 0
testSimpleXPath 0
testGetElementName 0
testGetElementOccurrence 0
testGetAttribute 0

ChapterListVoTest

testAll 0.007

FormulaCheckerPredicateFormulaTest

testPredicateFormulaPositive01 0.001
testPredicateFormulaPositive02 0.001
testPredicateFormulaNegative01 0
testPredicateFormulaNegative02 0.001
testPredicateFormulaNegative09 0
testPredicateFormulaNegative10 0.001
testPredicateFormulaNegative13 0
testPredicateFormulaNegative14 0
testPredicateFormulaNegative15 0.001
testPredicateFormulaNegative16 0
testPredicateFormulaNegative19 0.003
testPredicateFormulaNegative20 0.001
testPredicateFormulaNegative22 0

DateUtilityTest

testGetDuration 0
testGetIsoTimestamp 0
testGmtTimestamp 0.001
testTimestamp 0

Qedeq2UnicodeTextExecutorTest

testGeneration2 0.253
testGeneration1 0.623
testGeneration1b 1.093
testGeneration3 0.605
testGeneration3b 0.374
testGeneration3c 0.279
testGeneration4 1.29
testGeneration5 0.543
testGeneration6 0.639

OperatorTest

testToString 0.003
testEquals 0.003
testHashCode 0.003
testGetName 0.002
testGetArgumentNumber 0.001

TermVoTest

testGetElement 0.001
testAll 0.001

FunctionVariableTest

testToString 0.032
testEquals 0.026
testHashCode 0.042
testGetName 0.013
testGetArgumentNumber 0.007

QedeqExceptionTest

testConstructor 0
testToString 0
testHashCode 0
testEqualsObject 0

LiteratureItemVoTest

testAll 0.001

Qedeq2LatexTest

testQ2L001_v1 0.149
testQ2L001_v2 0.208
testQ2L002 0.085
testQ2L003 0.091

LiteratureItemListVoTest

testAll 0.001

AbstractStateTest

testConstructor 0
testGetCode 0
testGetText 0
testToString 0
testIsFailure 0
testEquals 0
testHashCode 0

LogListenerImplTest

testConstructor 0.005
testSetPrintStream 0.008
testLogFailureReply 0.021
testLogSuccessfulReply 0.005
testLogMessageState 0.014
testLogFailureState 0.003
testLogSuccesfulState 0.014
testLogRequest 0.008
testLogMessage 0.037

FormulaCheckerTermTest

testTermPositive01 0.001
testTermPositive02 0.001
testTermPositive03 0
testTermPositive04 0.001
testTermNegative01 0.001
testTermNegative02 0
testTermNegative03 0.001
testTermNegative04 0
testTermNegative05 0.001
testTermNegative06 0
testTermNegative07 0.001
testTermNegative08 0
testTermNegative09 0.001
testTermNegative10 0

CalculateTruthDynamicThreeModelTest

testTautology44b 0.085
testTautology44 0.095
testTautology45 0.083
testTautology46 0.148
testTautology47 0.114
testTautology01 0.112
testTautology02 0.077
testTautology03 0.102
testTautology04 0.061
testTautology05 0.072
testTautology06 0.062
testTautology07 0.074
testTautology08 0.166
testTautology09 0.098
testTautology10 0.079
testTautology11 0.073
testTautology12 0.079
testTautology13 0.105
testTautology14 0.124
testTautology15 0.093
testTautology16 0.113
testTautology17 0.069
testTautology18 0.064
testTautology19 0.338
testTautology20 0.081
testTautology21 0.084
testTautology22 0.072
testTautology23 0.102
testTautology24 0.676
testTautology25 0.083
testTautology26 0.068
testTautology27 0.074
testTautology28 0.325
testTautology29 0.061
testTautology30 0.084
testTautology31 0.114
testTautology32 0.118
testTautology33 0.057
testTautology34 0.066
testTautology35 0.064
testTautology36 0.087
testTautology37 0.063
testTautology38 0.058
testTautology39 0.078
testTautology40 0.323
testTautology41 0.395
testTautology42 0.277
testTautology43 0.063

LoadingStateTest

testGetCode 0
testGetText 0
testToString 0
testIsFailure 0
testEquals 0
testHashCode 0

CheckRequiredModuleExceptionTest

testGetter 0
testCreator 0

SourceFileExceptionListTest

testToString 0.001
testEquals 0
testHashCode 0
testContructor 0
testClear 0
testAdd1 0.001
testAdd2 0
testSize 0
testGet 0
testGetCause 0

FunctionDefinitionVoTest

testOtherGetters 0.001
testAll 0.004

WellFormedStateTest

testGetCode 0
testGetText 0
testToString 0
testIsFailure 0
testEquals 0
testHashCode 0

UsedByListVoTest

testAll 0.001

SimpleMathParserTest

testReadMaximalTerm00 0.012
testReadMaximalTerm01 0.005
testReadMaximalTerm02 0.004
testReadMaximalTerm03 0.005
testReadMaximalTerm04 0.011
testReadMaximalTerm05 0.012
testReadMaximalTerm06 0.004
testReadMaximalTerm07 0.004
testReadMaximalTerm08 0.004
testReadMaximalTerm09 0.004
testReadMaximalTerm10 0.003
testReadMaximalTerm11 0.004
testReadMaximalTerm12 0.004
testReadMaximalTerm13 0.003
testReadMaximalTerm14 0.004
testReadMaximalTerm15 0.004
testReadMaximalTerm16 0.005
testReadMaximalTerm17 0.005
testReadMaximalTerm18 0.004
testReadMaximalTerm19 0.004
testReadMaximalTerm20 0.009
testReadMaximalTerm21 0.004
testReadMaximalTerm22 0.004
testReadMaximalTerm23 0.004
testReadMaximalTerm24 0.012
testReadMaximalTerm25 0.004
testReadMaximalTerm26 0.003
testReadMaximalTerm27 0.004
testReadMaximalTerm28 0.003
testAllTogether 0.011

AuthorListVoTest

testAll 0.001

AbstractOutputTest

testComplete 0
testPushPop 0
testAdd01 0
testAdd02 0
testAdd03 0
testAdd04 0
testAdd05 0
testAdd06 0
testAdd07 0
testAdd08 0
testAdd09 0
testAdd10 0
testAdd11 0
testAdd12 0.001
testAdd13 0
testAdd14 0
testAdd15 0
testAdd16 0
testAdd17 0
testAdd18 0
testAddWsToken01 0
testAddWsToken02 0
testAddWsToken03 0
testAddWsToken04 0
testAddWsToken05 0
testAddWsToken06 0
testAddWsToken07 0
testAddWsToken08 0
testAddWsToken09 0
testAddWsToken11 0
testAddWsToken12 0
testAddWsToken13 0
testAddWsToken14 0
testAddWsToken15 0
testAddWsToken16 0
testAddWsToken17 0
testAddWsToken18 0
testAddWsToken19 0
testAddWsToken20 0
testAddWsToken21 0
testAddWsToken22 0
testPrintChar01 0
testPrintChar02 0
testPrintString01 0
testPrintString02 0
testPrintString03 0
testPrintString04 0

SubstPredVoTest

testGetName 0
testGetReferences 0
testGetSubstPred 0
testAll 0.003

XPathLocationFinderTest

testGetXPathLocation 0.069
testHelp 0
testUnknownOption 0
testNoXPath 0
testFileNotSpecified 0.001
testXPathNotOk 0
testXPathNotOk2 0
testTagNotFound 0.002
testFileNotOk 0.001

QedeqNumbersTest

testConstructor 0
testHashCodeAndEquals 0
testGetVisitPercentage 0.109

FormulaCheckerFunctionTermTest

testFunctionTermPositive01 0.171
testFunctionTermPositive02 0.002
testFunctionTermNegative01 0.002
testFunctionTermNegative01b 0.001
testFunctionTermNegative02 0.003
testFunctionTermNegative09 0.001
testFunctionTermNegative10 0.001
testFunctionTermNegative13 0.002
testFunctionTermNegative14 0.002
testFunctionTermNegative15 0.002
testFunctionTermNegative16 0.001
testFunctionTermNegative19 0.002
testFunctionTermNegative20 0.002
testFunctionTermNegative22 0.002

KernelBoEachClassHasATest

testIfEveryClassIsTested 0.316

NodeVoTest

testToString 0
testEquals 0
testGetSubsection 0
testGetNode 0
testSetGetLabel 0
testSetGetLevel 0
testSetGetName 0
testSetGetPrecedingText 0
testSetGetNodeType 0
testSetGetSucceedingText 0
testAll 0.003

PathTest

testHashCode 0
testConstructor1 0
testConstructor2 0
testConstructor3 0
testCreateRelative 0
testEquals1 0

ModuleConstantsExistenceCheckerTest

testModuleConstantsExistenceChecker_01 0.022
testModuleConstantsExistenceChecker_02 0.05
testModuleConstantsExistenceChecker_03 0.046
testModuleConstantsExistenceChecker_04 0.061
testModuleConstantsExistenceChecker_05 0.028
testModuleConstantsExistenceChecker_06 0.034
testModuleConstantsExistenceChecker_07 0.044
testModuleConstantsExistenceChecker_08 0.049
testModuleConstantsExistenceChecker_09 0.05
testModuleConstantsExistenceChecker_10 0.018
testModuleConstantsExistenceChecker_11 0.017
testModuleConstantsExistenceChecker_12 0.052
testModuleConstantsExistenceChecker_13 0.015

SubsectionVoTest

testGetSubsection 0
testGetNode 0
testAll 0.003

CalculateTruthThreeModelTest

testTautology44 0.009
testTautology46 0.004
testTautology47 0.007
testTautology01 0.003
testTautology02 0.003
testTautology03 0.003
testTautology04 0.003
testTautology05 0.003
testTautology06 0.002
testTautology07 0.003
testTautology08 0.003
testTautology09 0.002
testTautology10 0.002
testTautology11 0.004
testTautology12 0.004
testTautology13 0.05
testTautology14 0.017
testTautology15 0.006
testTautology16 0.003
testTautology17 0.003
testTautology18 0.008
testTautology19 0.004
testTautology20 0.005
testTautology21 0.004
testTautology22 0.003
testTautology23 0.003
testTautology24 0.003
testTautology25 0.002
testTautology26 0.003
testTautology27 0.003
testTautology28 0.004
testTautology29 0.004
testTautology30 0.022
testTautology31 0.007
testTautology32 0.003
testTautology33 0.008
testTautology34 0.003
testTautology35 0.003
testTautology36 0.004
testTautology37 0.002
testTautology38 0.004
testTautology39 0.008
testTautology40 0.242
testTautology41 0.006
testTautology42 0.006
testTautology45 0.004
testTautology43 0.005

GenerateLatexTest

testGeneration 6.635
testNegative02 0.035
testNegative03 0.013
testNegative04 0.016
testGeneration2 0.63
testNegativeGeneration2 0.463
testNegative05 0.209
testNegative06 0.055
testNegative07 0.065
testNegative08 0.096

CharsetParserTest

testParse1 0.046
testParse2 0.037

QedeqBoFormalLogicCheckerDirectTest

testNegative00 0.011
testNegative01 0.008
testNegative02 0.105
testNegative03 0.018
testNegative04 0.018

ModelPredicateConstantTest

testToString 0.019
testEquals 0.03
testHashCode 0.02
testGetName 0.007
testGetArgumentNumber 0.024

OperatorTest

testToString 0.004
testEquals 0.009
testGetMin 0.002
testGetMax 0.002
testIsFix 0.002

AbstractModuleVisitorTest

testEnter 0
testLeave 0.001

FormallyProvedStateTest

testGetCode 0
testGetText 0
testToString 0
testIsFailure 0
testEquals 0
testHashCode 0

TextOutputTest

testComplete 0.006
testPushPop 0
testErrorStream 0
testConstructorAndGetName 0.008
testGetPosition 0.002

LoadRequiredModulesTest

testLoadRequiredModules_01 0.504
testLoadRequiredModules_02 0.318
testLoadRequiredModules_03 0.08
testLoadRequiredModules_04 0.141
testLoadRequiredModules_05 0.156
testLoadRequiredModules_06 0.134
testLoadRequiredModules_07 0.116
testLoadRequiredModules_08 0.143
testLoadRequiredModules_09 0.116
testLoadRequiredModules_09b 0.153
testLoadRequiredModules_09c 1.112
testLoadRequiredModules_09d 1.07
testLoadRequiredModules_10 0.055
testLoadRequiredModules_11 0.031

UniversalVoTest

testGetName 0
testGetReferences 0
testGetUniversal 0
testAll 0.001

FormalProofVoTest

testConstructor 0
testAll 0.005

KernelContextTest

testRemoveModule 0.005
testGetBuildId 0
testGetKernelVersion 0
testGetDedicationVersion 0
testGetDescriptiveKernelVersion 0
testGetKernelCodeName 0
testGetKernelVersionDirectory 0
testIsRuleVersionSupported 0
testGetMaximalRuleVersion 0
testIsSetConnectionTimeOutSupported 0
testIsSetReadTimeoutSupported 0
testGetConfig 0.008
testInit 0.024
testStartup 0.002
testShutdown 0.006
testRemoveAllModules 0.002
testClearLocalBuffer 0.002
testLoadModule 0.005
testLoadAllModulesFromQedeq 0.002
testLoadRequiredModules 0.006
testGetAllLoadedModules 0.003
testGetQedeqBo 0.004
testGetModuleAddress 0.01
testGetModuleAddress2 0.004
testGetModuleAddress3 0.003
testGetSource 0.005
testCheckWellFormedness 0.005
testCheckFormallyProved 0.003
testGetPlugins 0.003
testExecutePlugin 0.003
testClearAllPluginResults 0.006
testGetServiceProcesses 0.002
testGetRunningServiceProcesses 0.004
testStopAllPluginExecutions 0.003

AxiomVoTest

testOtherGetters 0
testAll 0.002

KernelSeEachClassHasATest

testIfEveryClassIsTested 0.511

SubstFreeVoTest

testGetName 0
testGetReferences 0
testGetSubstFree 0
testAll 0.001

ProofCheckerTest

testCheck1 0.204
testCheck4 0.113
testCheck6 0.082

LatexVoTest

testAll 0.001

CalculateTruthDynamicUnaryModelTest

testTautology19 0.003
testTautology20 0.002
testTautology21 0.003
testTautology28 0.002
testTautology31 0.002
testTautology34 0.002
testTautology37 0.002
testTautology41 0.002
testTautology44 0.003
testTautology45 0.003
testTautology46 0.003
testTautology47 0.003
testTautology01 0.002
testTautology02 0.002
testTautology03 0.003
testTautology04 0.003
testTautology05 0.003
testTautology06 0.003
testTautology07 0.005
testTautology08 0.003
testTautology09 0.004
testTautology10 0.002
testTautology11 0.002
testTautology12 0.002
testTautology13 0.049
testTautology14 0.003
testTautology15 0.004
testTautology16 0.004
testTautology17 0.004
testTautology18 0.004
testTautology22 0.004
testTautology23 0.004
testTautology24 0.004
testTautology25 0.003
testTautology26 0.003
testTautology27 0.004
testTautology29 0.004
testTautology30 0.004
testTautology32 0.004
testTautology33 0.005
testTautology35 0.003
testTautology36 0.004
testTautology38 0.005
testTautology39 0.009
testTautology40 0.01
testTautology42 0.002
testTautology43 0.002

KernelXmlEachClassHasATest

testIfEveryClassIsTested 0.342

FormulaCheckerLogicalConnectivesTest

testLogicalConnectivePositive01 0.007
testLogicalConnectivePositive02 0.001
testLogicalConnectivePositive03 0
testLogicalConnectivePositive04 0.001
testLogicalConnectivePositive05 0.001
testLogicalConnectivePositive06 0.001
testLogicalConnectivePositive07 0.002
testLogicalConnectiveNegative01 0.001
testLogicalConnectiveNegative02 0.001
testLogicalConnectiveNegative03 0.001
testLogicalConnectiveNegative04 0.001
testLogicalConnectiveNegative05 0.001
testLogicalConnectiveNegative06 0.001
testLogicalConnectiveNegative07 0.001
testLogicalConnectiveNegative08 0.001
testLogicalConnectiveNegative09 0.001
testLogicalConnectiveNegative10 0.001
testLogicalConnectiveNegative11 0.001
testLogicalConnectiveNegative12 0.003
testLogicalConnectiveNegative13 0.001
testLogicalConnectiveNegative14 0.001
testLogicalConnectiveNegative15 0.001
testLogicalConnectiveNegative16 0.001
testLogicalConnectiveNegative17 0.001

SectionVoTest

testAll 0.003

RuleVoTest

testOtherGetters 0
testAll 0.018

FormulaCheckerFactoryImplTest

testCreateFormulaChecker 0.001

QedeqNotNullTraverserTest

testVisit 0.001
testGeneration 0
testQedeq 0.063
testQedeq2 0
testAcceptors1 0.001
testAcceptors2 0.002

Failure Details

[Summary] [Package List] [Test Cases]


warning
junit.framework.AssertionFailedError: No tests found in org.qedeq.kernel.bo.test.QedeqBoTestCase