Unit Test Results.
Designed for use with
JUnit
and
Ant
.
All Tests
Class
Name
Status
Type
Time(s)
DefaultModuleAddressTest
testConstructor
Success
0.202
DefaultModuleAddressTest
testHashCode
Success
0.021
DefaultModuleAddressTest
testDefaultModuleAddressURL
Success
0.004
DefaultModuleAddressTest
testDefaultModuleAddressFile
Success
0.038
DefaultModuleAddressTest
testCreateModuleContext
Success
0.003
DefaultModuleAddressTest
testEqualsObject
Success
0.002
DefaultModuleAddressTest
testToString
Success
0.002
DefaultModuleAddressTest
testGetModulePaths1
Success
0.007
DefaultModuleAddressTest
testGetModulePaths2
Success
0.003
DefaultModuleAddressTest
testGetModulePaths3
Success
0.005
DefaultModuleAddressTest
testCreateRelativeAddress
Success
0.002
DefaultModuleAddressTest
testCreateRelativeAddress2
Success
0.002
IllegalModuleDataExceptionTest
testConstructor
Success
0.034
IllegalModuleDataExceptionTest
testHashCode
Success
0.002
IllegalModuleDataExceptionTest
testEqualsObject
Success
0.002
ModuleContextTest
testConstructor
Success
0.082
ModuleContextTest
testGetDelta
Success
0.014
ModuleContextTest
testHashCode
Success
0.002
ModuleContextTest
testEqualsObject
Success
0.004
ModuleContextTest
testToString
Success
0.003
ModuleDataExceptionTest
testConstructor
Success
0.084
ModuleDataExceptionTest
testHashCode
Success
0.016
ModuleDataExceptionTest
testEqualsObject
Success
0.002
QedeqExceptionTest
testConstructor
Success
0.036
QedeqExceptionTest
testHashCode
Success
0.002
QedeqExceptionTest
testEqualsObject
Success
0.002
QedeqExceptionTest
testToString
Success
0.003
RuleKeyTest
testGet
Success
0.037
RuleKeyTest
testToString
Success
0.002
RuleKeyTest
testHashCode
Success
0.002
RuleKeyTest
testEquals
Success
0.003
SourceFileExceptionListTest
testContructor
Success
0.045
SourceFileExceptionListTest
testClear
Success
0.002
SourceFileExceptionListTest
testAdd1
Success
0.002
SourceFileExceptionListTest
testAdd2
Success
0.015
SourceFileExceptionListTest
testSize
Success
0.002
SourceFileExceptionListTest
testEquals
Success
0.003
SourceFileExceptionListTest
testHashCode
Success
0.001
SourceFileExceptionListTest
testGet
Success
0.002
SourceFileExceptionListTest
testGetCause
Success
0.002
SourceFileExceptionListTest
testToString
Success
0.002
SourceFileExceptionTest
testConstructor
Success
0.046
SourceFileExceptionTest
testGetMessage
Success
0.007
SourceFileExceptionTest
testGetCause
Success
0.002
SourceFileExceptionTest
testToString
Success
0.007
SourceFileExceptionTest
testGetDescription
Success
0.003
SourceFileExceptionTest
testGetPlugin
Success
0.002
SourceFileExceptionTest
testGetSourceArea
Success
0.002
SourceFileExceptionTest
testGetRefrenceArea
Success
0.003
SourceFileExceptionTest
testHashCode
Success
0.004
SourceFileExceptionTest
testEqualsObject
Success
0.021
ConfigAccessTest
testStore
Success
1.488
ConfigAccessTest
testGetter
Success
0.002
ConfigAccessTest
testRemoveProperty
Success
0.002
ConfigAccessTest
testRemoveProperties
Success
0.002
QedeqConfigTest
testGetBasisDirectory
Success
0.059
QedeqConfigTest
testGetSetBufferDirectory
Success
0.020
QedeqConfigTest
testGetSetGenerationDirectory
Success
0.027
QedeqConfigTest
testGetLocalModulesDirectory
Success
0.005
QedeqConfigTest
testGetSetConnectTimeout
Success
0.002
QedeqConfigTest
testGetSetReadConnectTimeout
Success
0.003
QedeqConfigTest
testGetSetHttpProxyHost
Success
0.002
QedeqConfigTest
testGetSetHttpProxyPort
Success
0.003
QedeqConfigTest
testGetSetHttpNonProxyHosts
Success
0.004
QedeqConfigTest
testGetLogFile
Success
0.003
QedeqConfigTest
testGetSaveModuleHistory
Success
0.006
QedeqConfigTest
testGetSetPreviouslyLoadedModules
Success
0.007
QedeqConfigTest
testGetSetKeyValueString
Success
0.003
QedeqConfigTest
testGetKeyValueStringBoolean
Success
0.002
QedeqConfigTest
testGetKeyValueStringString
Success
0.003
QedeqConfigTest
testGetKeyValueStringInt
Success
0.002
QedeqConfigTest
testGetSetServiceValues
Success
0.009
QedeqConfigTest
testCreateAbsolutePath
Success
0.005
QedeqConfigTest
testIsSetIsTraceOn
Success
0.004
QedeqConfigTest
testIsSetAutoReloadLastSessionChecked
Success
0.007
QedeqConfigTest
testStore
Success
0.012
DefaultAtomTest
testConstructor
Success
0.049
DefaultAtomTest
testGet
Success
0.002
DefaultAtomTest
testToString
Success
0.004
DefaultAtomTest
testGetList
Success
0.004
DefaultAtomTest
testIsAtom
Success
0.003
DefaultAtomTest
testIsList
Success
0.002
DefaultAtomTest
testGetAtom
Success
0.003
DefaultAtomTest
testReplace
Success
0.003
DefaultAtomTest
testHashCode
Success
0.001
DefaultAtomTest
testEquals
Success
0.001
DefaultElementListTest
testConstructor
Success
0.047
DefaultElementListTest
testGetElement
Success
0.012
DefaultElementListTest
testSize
Success
0.009
DefaultElementListTest
testGetElements
Success
0.015
DefaultElementListTest
testCopy
Success
0.006
DefaultElementListTest
testAddAndSizeAndInsertAndRemove
Success
0.004
DefaultElementListTest
testGetList
Success
0.004
DefaultElementListTest
testGetAtom
Success
0.004
DefaultElementListTest
testIsList
Success
0.003
DefaultElementListTest
testIsAtom
Success
0.004
DefaultElementListTest
testReplace1
Success
0.004
DefaultElementListTest
testReplace2
Success
0.003
DefaultElementListTest
testInsert
Success
0.022
DefaultElementListTest
testGetOperator
Success
0.003
DefaultElementListTest
testToString
Success
0.005
DefaultElementListTest
testHashCode
Success
0.002
DefaultElementListTest
testEquals
Success
0.001
ElementSetTest
testConstructor
Success
0.049
ElementSetTest
testSetOperations
Success
0.005
ElementSetTest
testSetOperations2
Success
0.007
ElementSetTest
testMinus
Success
0.008
ElementSetTest
testRemove
Success
0.004
ElementSetTest
testAdd
Success
0.002
ElementSetTest
testContains
Success
0.003
ElementSetTest
testNewDelta
Success
0.002
ElementSetTest
testNewIntersection
Success
0.003
ElementSetTest
testIsEmpty
Success
0.003
ElementSetTest
testIterator
Success
0.003
ElementSetTest
testToString
Success
0.003
ElementSetTest
testHashCode
Success
0.003
ElementSetTest
testEquals
Success
0.007
AddVoTest
testGetName
Success
0.034
AddVoTest
testGetModusPonens
Success
0.005
AddVoTest
testGetReferences
Success
0.016
AddVoTest
testAll
Success
0.040
AuthorListVoTest
testAll
Success
0.027
AuthorVoTest
testConstructor
Success
0.038
AuthorVoTest
testAll
Success
0.026
AxiomVoTest
testOtherGetters
Success
0.047
AxiomVoTest
testAll
Success
0.048
ChangedRuleListVoTest
testAll
Success
0.096
ChangedRuleVoTest
testAll
Success
0.068
ChapterListVoTest
testAll
Success
0.089
ChapterVoTest
testAll
Success
0.322
ConclusionVoTest
testGetLabel
Success
0.028
ConclusionVoTest
testGetFormula
Success
0.007
ConclusionVoTest
testHashCode
Success
0.004
ConclusionVoTest
testToString
Success
0.007
ConclusionVoTest
testAll
Success
0.026
ConditionalProofVoTest
testGetLabel
Success
0.051
ConditionalProofVoTest
testGetFormula
Success
0.002
ConditionalProofVoTest
testUnuasalGetter
Success
0.028
ConditionalProofVoTest
testAll
Success
0.063
ExistentialVoTest
testGetExistential
Success
0.053
ExistentialVoTest
testGetName
Success
0.003
ExistentialVoTest
testGetReferences
Success
0.006
ExistentialVoTest
testAll
Success
0.025
FormalProofLineListVoTest
testAll
Success
0.056
FormalProofLineVoTest
testConstructos
Success
0.041
FormalProofLineVoTest
testAll
Success
0.021
FormalProofListVoTest
testAll
Success
0.086
FormalProofVoTest
testConstructor
Success
0.043
FormalProofVoTest
testAll
Success
0.051
FormulaVoTest
testAll
Success
0.061
FunctionDefinitionVoTest
testOtherGetters
Success
0.037
FunctionDefinitionVoTest
testAll
Success
0.041
HeaderVoTest
testAll
Success
0.129
HypothesisVoTest
testGetLabel
Success
0.039
HypothesisVoTest
testGetFormula
Success
0.008
HypothesisVoTest
testAll
Success
0.011
ImportListVoTest
testAll
Success
0.030
ImportVoTest
testConstructor
Success
0.017
ImportVoTest
testAll
Success
0.014
InitialFunctionDefinitionVoTest
testOtherGetters
Success
0.033
InitialFunctionDefinitionVoTest
testAll
Success
0.023
InitialPredicateDefinitionVoTest
testOtherGetters
Success
0.042
InitialPredicateDefinitionVoTest
testAll
Success
0.024
LatexListVoTest
testAll
Success
0.054
LatexVoTest
testAll
Success
0.039
LinkListVoTest
testAll
Success
0.046
LiteratureItemListVoTest
testAll
Success
0.062
LiteratureItemVoTest
testAll
Success
0.034
LocationListVoTest
testAll
Success
0.074
LocationVoTest
testAll
Success
0.071
ModusPonensVoTest
testGetModusPonens
Success
0.044
ModusPonensVoTest
testGetName
Success
0.004
ModusPonensVoTest
testGetReference1
Success
0.004
ModusPonensVoTest
testGetReference2
Success
0.008
ModusPonensVoTest
testGetReferences
Success
0.033
ModusPonensVoTest
testAll
Success
0.014
NodeVoTest
testSetGetLabel
Success
0.040
NodeVoTest
testSetGetLevel
Success
0.002
NodeVoTest
testSetGetName
Success
0.016
NodeVoTest
testSetGetPrecedingText
Success
0.002
NodeVoTest
testSetGetNodeType
Success
0.005
NodeVoTest
testSetGetSucceedingText
Success
0.002
NodeVoTest
testEquals
Success
0.002
NodeVoTest
testToString
Success
0.002
NodeVoTest
testGetNode
Success
0.002
NodeVoTest
testGetSubsection
Success
0.002
NodeVoTest
testAll
Success
0.083
PredicateDefinitionVoTest
testOtherGetters
Success
0.038
PredicateDefinitionVoTest
testAll
Success
0.036
ProofListVoTest
testAll
Success
0.032
ProofVoTest
testAll
Success
0.083
PropositionVoTest
testOtherGetters
Success
0.021
PropositionVoTest
testAll
Success
0.083
QedeqVoTest
testAll
Success
0.316
RenameVoTest
testGetRename
Success
0.048
RenameVoTest
testGetName
Success
0.003
RenameVoTest
testGetReferences
Success
0.006
RenameVoTest
testAll
Success
0.032
RuleVoTest
testOtherGetters
Success
0.064
RuleVoTest
testAll
Success
0.113
SectionListVoTest
testAll
Success
0.114
SectionVoTest
testAll
Success
0.157
SpecificationVoTest
testAll
Success
0.108
SubsectionListVoTest
testAll
Success
0.156
SubsectionVoTest
testGetSubsection
Success
0.034
SubsectionVoTest
testGetNode
Success
0.002
SubsectionVoTest
testAll
Success
0.026
SubstFreeVoTest
testGetSubstFree
Success
0.069
SubstFreeVoTest
testGetName
Success
0.003
SubstFreeVoTest
testGetReferences
Success
0.007
SubstFreeVoTest
testAll
Success
0.018
SubstFuncVoTest
testGetSubstFunc
Success
0.088
SubstFuncVoTest
testGetName
Success
0.005
SubstFuncVoTest
testGetReferences
Success
0.007
SubstFuncVoTest
testAll
Success
0.013
SubstPredVoTest
testGetSubstPred
Success
0.040
SubstPredVoTest
testGetName
Success
0.003
SubstPredVoTest
testGetReferences
Success
0.007
SubstPredVoTest
testAll
Success
0.013
TermVoTest
testGetElement
Success
0.047
TermVoTest
testAll
Success
0.022
UniversalVoTest
testGetUniversal
Success
0.034
UniversalVoTest
testGetName
Success
0.014
UniversalVoTest
testGetReferences
Success
0.006
UniversalVoTest
testAll
Success
0.025
UsedByListVoTest
testAll
Success
0.042
AbstractStateTest
testConstructor
Success
0.280
AbstractStateTest
testGetCode
Success
0.011
AbstractStateTest
testGetText
Success
0.003
AbstractStateTest
testToString
Success
0.002
AbstractStateTest
testIsFailure
Success
0.004
AbstractStateTest
testEquals
Success
0.006
AbstractStateTest
testHashCode
Success
0.001
DependencyStateTest
testGetCode
Success
0.035
DependencyStateTest
testGetText
Success
0.004
DependencyStateTest
testToString
Success
0.015
DependencyStateTest
testIsFailure
Success
0.004
DependencyStateTest
testAreAllRequiredLoaded
Success
0.005
DependencyStateTest
testEquals
Success
0.012
DependencyStateTest
testHashCode
Success
0.001
FormallyProvedStateTest
testGetCode
Success
0.081
FormallyProvedStateTest
testGetText
Success
0.006
FormallyProvedStateTest
testToString
Success
0.018
FormallyProvedStateTest
testIsFailure
Success
0.006
FormallyProvedStateTest
testEquals
Success
0.007
FormallyProvedStateTest
testHashCode
Success
0.006
LoadingImportsStateTest
testGetCode
Success
0.029
LoadingImportsStateTest
testGetText
Success
0.003
LoadingImportsStateTest
testToString
Success
0.002
LoadingImportsStateTest
testIsFailure
Success
0.004
LoadingImportsStateTest
testAreAllDirectlyRequiredLoaded
Success
0.006
LoadingImportsStateTest
testEquals
Success
0.004
LoadingImportsStateTest
testHashCode
Success
0.002
LoadingStateTest
testGetCode
Success
0.042
LoadingStateTest
testGetText
Success
0.004
LoadingStateTest
testToString
Success
0.003
LoadingStateTest
testIsFailure
Success
0.002
LoadingStateTest
testEquals
Success
0.023
LoadingStateTest
testHashCode
Success
0.005
WellFormedStateTest
testGetCode
Success
0.083
WellFormedStateTest
testGetText
Success
0.008
WellFormedStateTest
testToString
Success
0.004
WellFormedStateTest
testIsFailure
Success
0.007
WellFormedStateTest
testEquals
Success
0.011
WellFormedStateTest
testHashCode
Success
0.023
KernelSeEachClassHasATest
testIfEveryClassIsTested
Success
17.618
AbstractModuleVisitorTest
testEnter
Success
0.269
AbstractModuleVisitorTest
testLeave
Success
0.003
DefaultContextCheckerTest
testCheckHashCode
Success
0.293
InterruptExceptionTest
testConstructor
Success
0.230
InterruptExceptionTest
testHashCode
Success
0.003
InterruptExceptionTest
testEqualsObject
Success
0.022
LatexList2TextTest
testGetLatex
Success
0.223
LatexList2TextTest
testTransform
Success
0.023
QedeqNotNullTraverserTest
testVisit
Success
0.084
QedeqNotNullTraverserTest
testGeneration
Success
0.014
QedeqNotNullTraverserTest
testQedeq
Success
0.790
QedeqNotNullTraverserTest
testQedeq2
Success
0.015
QedeqNotNullTraverserTest
testAcceptors1
Success
0.005
QedeqNotNullTraverserTest
testAcceptors2
Success
0.016
QedeqNumbersTest
testConstructor
Success
0.030
QedeqNumbersTest
testHashCodeAndEquals
Success
0.002
QedeqNumbersTest
testGetVisitPercentage
Success
0.252