Unit Test Results.

Designed for use with JUnit and Ant.

All Tests

ClassNameStatusTypeTime(s)
DefaultModuleAddressTesttestConstructorSuccess0.202
DefaultModuleAddressTesttestHashCodeSuccess0.021
DefaultModuleAddressTesttestDefaultModuleAddressURLSuccess0.004
DefaultModuleAddressTesttestDefaultModuleAddressFileSuccess0.038
DefaultModuleAddressTesttestCreateModuleContextSuccess0.003
DefaultModuleAddressTesttestEqualsObjectSuccess0.002
DefaultModuleAddressTesttestToStringSuccess0.002
DefaultModuleAddressTesttestGetModulePaths1Success0.007
DefaultModuleAddressTesttestGetModulePaths2Success0.003
DefaultModuleAddressTesttestGetModulePaths3Success0.005
DefaultModuleAddressTesttestCreateRelativeAddressSuccess0.002
DefaultModuleAddressTesttestCreateRelativeAddress2Success0.002
IllegalModuleDataExceptionTesttestConstructorSuccess0.034
IllegalModuleDataExceptionTesttestHashCodeSuccess0.002
IllegalModuleDataExceptionTesttestEqualsObjectSuccess0.002
ModuleContextTesttestConstructorSuccess0.082
ModuleContextTesttestGetDeltaSuccess0.014
ModuleContextTesttestHashCodeSuccess0.002
ModuleContextTesttestEqualsObjectSuccess0.004
ModuleContextTesttestToStringSuccess0.003
ModuleDataExceptionTesttestConstructorSuccess0.084
ModuleDataExceptionTesttestHashCodeSuccess0.016
ModuleDataExceptionTesttestEqualsObjectSuccess0.002
QedeqExceptionTesttestConstructorSuccess0.036
QedeqExceptionTesttestHashCodeSuccess0.002
QedeqExceptionTesttestEqualsObjectSuccess0.002
QedeqExceptionTesttestToStringSuccess0.003
RuleKeyTesttestGetSuccess0.037
RuleKeyTesttestToStringSuccess0.002
RuleKeyTesttestHashCodeSuccess0.002
RuleKeyTesttestEqualsSuccess0.003
SourceFileExceptionListTesttestContructorSuccess0.045
SourceFileExceptionListTesttestClearSuccess0.002
SourceFileExceptionListTesttestAdd1Success0.002
SourceFileExceptionListTesttestAdd2Success0.015
SourceFileExceptionListTesttestSizeSuccess0.002
SourceFileExceptionListTesttestEqualsSuccess0.003
SourceFileExceptionListTesttestHashCodeSuccess0.001
SourceFileExceptionListTesttestGetSuccess0.002
SourceFileExceptionListTesttestGetCauseSuccess0.002
SourceFileExceptionListTesttestToStringSuccess0.002
SourceFileExceptionTesttestConstructorSuccess0.046
SourceFileExceptionTesttestGetMessageSuccess0.007
SourceFileExceptionTesttestGetCauseSuccess0.002
SourceFileExceptionTesttestToStringSuccess0.007
SourceFileExceptionTesttestGetDescriptionSuccess0.003
SourceFileExceptionTesttestGetPluginSuccess0.002
SourceFileExceptionTesttestGetSourceAreaSuccess0.002
SourceFileExceptionTesttestGetRefrenceAreaSuccess0.003
SourceFileExceptionTesttestHashCodeSuccess0.004
SourceFileExceptionTesttestEqualsObjectSuccess0.021
ConfigAccessTesttestStoreSuccess1.488
ConfigAccessTesttestGetterSuccess0.002
ConfigAccessTesttestRemovePropertySuccess0.002
ConfigAccessTesttestRemovePropertiesSuccess0.002
QedeqConfigTesttestGetBasisDirectorySuccess0.059
QedeqConfigTesttestGetSetBufferDirectorySuccess0.020
QedeqConfigTesttestGetSetGenerationDirectorySuccess0.027
QedeqConfigTesttestGetLocalModulesDirectorySuccess0.005
QedeqConfigTesttestGetSetConnectTimeoutSuccess0.002
QedeqConfigTesttestGetSetReadConnectTimeoutSuccess0.003
QedeqConfigTesttestGetSetHttpProxyHostSuccess0.002
QedeqConfigTesttestGetSetHttpProxyPortSuccess0.003
QedeqConfigTesttestGetSetHttpNonProxyHostsSuccess0.004
QedeqConfigTesttestGetLogFileSuccess0.003
QedeqConfigTesttestGetSaveModuleHistorySuccess0.006
QedeqConfigTesttestGetSetPreviouslyLoadedModulesSuccess0.007
QedeqConfigTesttestGetSetKeyValueStringSuccess0.003
QedeqConfigTesttestGetKeyValueStringBooleanSuccess0.002
QedeqConfigTesttestGetKeyValueStringStringSuccess0.003
QedeqConfigTesttestGetKeyValueStringIntSuccess0.002
QedeqConfigTesttestGetSetServiceValuesSuccess0.009
QedeqConfigTesttestCreateAbsolutePathSuccess0.005
QedeqConfigTesttestIsSetIsTraceOnSuccess0.004
QedeqConfigTesttestIsSetAutoReloadLastSessionCheckedSuccess0.007
QedeqConfigTesttestStoreSuccess0.012
DefaultAtomTesttestConstructorSuccess0.049
DefaultAtomTesttestGetSuccess0.002
DefaultAtomTesttestToStringSuccess0.004
DefaultAtomTesttestGetListSuccess0.004
DefaultAtomTesttestIsAtomSuccess0.003
DefaultAtomTesttestIsListSuccess0.002
DefaultAtomTesttestGetAtomSuccess0.003
DefaultAtomTesttestReplaceSuccess0.003
DefaultAtomTesttestHashCodeSuccess0.001
DefaultAtomTesttestEqualsSuccess0.001
DefaultElementListTesttestConstructorSuccess0.047
DefaultElementListTesttestGetElementSuccess0.012
DefaultElementListTesttestSizeSuccess0.009
DefaultElementListTesttestGetElementsSuccess0.015
DefaultElementListTesttestCopySuccess0.006
DefaultElementListTesttestAddAndSizeAndInsertAndRemoveSuccess0.004
DefaultElementListTesttestGetListSuccess0.004
DefaultElementListTesttestGetAtomSuccess0.004
DefaultElementListTesttestIsListSuccess0.003
DefaultElementListTesttestIsAtomSuccess0.004
DefaultElementListTesttestReplace1Success0.004
DefaultElementListTesttestReplace2Success0.003
DefaultElementListTesttestInsertSuccess0.022
DefaultElementListTesttestGetOperatorSuccess0.003
DefaultElementListTesttestToStringSuccess0.005
DefaultElementListTesttestHashCodeSuccess0.002
DefaultElementListTesttestEqualsSuccess0.001
ElementSetTesttestConstructorSuccess0.049
ElementSetTesttestSetOperationsSuccess0.005
ElementSetTesttestSetOperations2Success0.007
ElementSetTesttestMinusSuccess0.008
ElementSetTesttestRemoveSuccess0.004
ElementSetTesttestAddSuccess0.002
ElementSetTesttestContainsSuccess0.003
ElementSetTesttestNewDeltaSuccess0.002
ElementSetTesttestNewIntersectionSuccess0.003
ElementSetTesttestIsEmptySuccess0.003
ElementSetTesttestIteratorSuccess0.003
ElementSetTesttestToStringSuccess0.003
ElementSetTesttestHashCodeSuccess0.003
ElementSetTesttestEqualsSuccess0.007
AddVoTesttestGetNameSuccess0.034
AddVoTesttestGetModusPonensSuccess0.005
AddVoTesttestGetReferencesSuccess0.016
AddVoTesttestAllSuccess0.040
AuthorListVoTesttestAllSuccess0.027
AuthorVoTesttestConstructorSuccess0.038
AuthorVoTesttestAllSuccess0.026
AxiomVoTesttestOtherGettersSuccess0.047
AxiomVoTesttestAllSuccess0.048
ChangedRuleListVoTesttestAllSuccess0.096
ChangedRuleVoTesttestAllSuccess0.068
ChapterListVoTesttestAllSuccess0.089
ChapterVoTesttestAllSuccess0.322
ConclusionVoTesttestGetLabelSuccess0.028
ConclusionVoTesttestGetFormulaSuccess0.007
ConclusionVoTesttestHashCodeSuccess0.004
ConclusionVoTesttestToStringSuccess0.007
ConclusionVoTesttestAllSuccess0.026
ConditionalProofVoTesttestGetLabelSuccess0.051
ConditionalProofVoTesttestGetFormulaSuccess0.002
ConditionalProofVoTesttestUnuasalGetterSuccess0.028
ConditionalProofVoTesttestAllSuccess0.063
ExistentialVoTesttestGetExistentialSuccess0.053
ExistentialVoTesttestGetNameSuccess0.003
ExistentialVoTesttestGetReferencesSuccess0.006
ExistentialVoTesttestAllSuccess0.025
FormalProofLineListVoTesttestAllSuccess0.056
FormalProofLineVoTesttestConstructosSuccess0.041
FormalProofLineVoTesttestAllSuccess0.021
FormalProofListVoTesttestAllSuccess0.086
FormalProofVoTesttestConstructorSuccess0.043
FormalProofVoTesttestAllSuccess0.051
FormulaVoTesttestAllSuccess0.061
FunctionDefinitionVoTesttestOtherGettersSuccess0.037
FunctionDefinitionVoTesttestAllSuccess0.041
HeaderVoTesttestAllSuccess0.129
HypothesisVoTesttestGetLabelSuccess0.039
HypothesisVoTesttestGetFormulaSuccess0.008
HypothesisVoTesttestAllSuccess0.011
ImportListVoTesttestAllSuccess0.030
ImportVoTesttestConstructorSuccess0.017
ImportVoTesttestAllSuccess0.014
InitialFunctionDefinitionVoTesttestOtherGettersSuccess0.033
InitialFunctionDefinitionVoTesttestAllSuccess0.023
InitialPredicateDefinitionVoTesttestOtherGettersSuccess0.042
InitialPredicateDefinitionVoTesttestAllSuccess0.024
LatexListVoTesttestAllSuccess0.054
LatexVoTesttestAllSuccess0.039
LinkListVoTesttestAllSuccess0.046
LiteratureItemListVoTesttestAllSuccess0.062
LiteratureItemVoTesttestAllSuccess0.034
LocationListVoTesttestAllSuccess0.074
LocationVoTesttestAllSuccess0.071
ModusPonensVoTesttestGetModusPonensSuccess0.044
ModusPonensVoTesttestGetNameSuccess0.004
ModusPonensVoTesttestGetReference1Success0.004
ModusPonensVoTesttestGetReference2Success0.008
ModusPonensVoTesttestGetReferencesSuccess0.033
ModusPonensVoTesttestAllSuccess0.014
NodeVoTesttestSetGetLabelSuccess0.040
NodeVoTesttestSetGetLevelSuccess0.002
NodeVoTesttestSetGetNameSuccess0.016
NodeVoTesttestSetGetPrecedingTextSuccess0.002
NodeVoTesttestSetGetNodeTypeSuccess0.005
NodeVoTesttestSetGetSucceedingTextSuccess0.002
NodeVoTesttestEqualsSuccess0.002
NodeVoTesttestToStringSuccess0.002
NodeVoTesttestGetNodeSuccess0.002
NodeVoTesttestGetSubsectionSuccess0.002
NodeVoTesttestAllSuccess0.083
PredicateDefinitionVoTesttestOtherGettersSuccess0.038
PredicateDefinitionVoTesttestAllSuccess0.036
ProofListVoTesttestAllSuccess0.032
ProofVoTesttestAllSuccess0.083
PropositionVoTesttestOtherGettersSuccess0.021
PropositionVoTesttestAllSuccess0.083
QedeqVoTesttestAllSuccess0.316
RenameVoTesttestGetRenameSuccess0.048
RenameVoTesttestGetNameSuccess0.003
RenameVoTesttestGetReferencesSuccess0.006
RenameVoTesttestAllSuccess0.032
RuleVoTesttestOtherGettersSuccess0.064
RuleVoTesttestAllSuccess0.113
SectionListVoTesttestAllSuccess0.114
SectionVoTesttestAllSuccess0.157
SpecificationVoTesttestAllSuccess0.108
SubsectionListVoTesttestAllSuccess0.156
SubsectionVoTesttestGetSubsectionSuccess0.034
SubsectionVoTesttestGetNodeSuccess0.002
SubsectionVoTesttestAllSuccess0.026
SubstFreeVoTesttestGetSubstFreeSuccess0.069
SubstFreeVoTesttestGetNameSuccess0.003
SubstFreeVoTesttestGetReferencesSuccess0.007
SubstFreeVoTesttestAllSuccess0.018
SubstFuncVoTesttestGetSubstFuncSuccess0.088
SubstFuncVoTesttestGetNameSuccess0.005
SubstFuncVoTesttestGetReferencesSuccess0.007
SubstFuncVoTesttestAllSuccess0.013
SubstPredVoTesttestGetSubstPredSuccess0.040
SubstPredVoTesttestGetNameSuccess0.003
SubstPredVoTesttestGetReferencesSuccess0.007
SubstPredVoTesttestAllSuccess0.013
TermVoTesttestGetElementSuccess0.047
TermVoTesttestAllSuccess0.022
UniversalVoTesttestGetUniversalSuccess0.034
UniversalVoTesttestGetNameSuccess0.014
UniversalVoTesttestGetReferencesSuccess0.006
UniversalVoTesttestAllSuccess0.025
UsedByListVoTesttestAllSuccess0.042
AbstractStateTesttestConstructorSuccess0.280
AbstractStateTesttestGetCodeSuccess0.011
AbstractStateTesttestGetTextSuccess0.003
AbstractStateTesttestToStringSuccess0.002
AbstractStateTesttestIsFailureSuccess0.004
AbstractStateTesttestEqualsSuccess0.006
AbstractStateTesttestHashCodeSuccess0.001
DependencyStateTesttestGetCodeSuccess0.035
DependencyStateTesttestGetTextSuccess0.004
DependencyStateTesttestToStringSuccess0.015
DependencyStateTesttestIsFailureSuccess0.004
DependencyStateTesttestAreAllRequiredLoadedSuccess0.005
DependencyStateTesttestEqualsSuccess0.012
DependencyStateTesttestHashCodeSuccess0.001
FormallyProvedStateTesttestGetCodeSuccess0.081
FormallyProvedStateTesttestGetTextSuccess0.006
FormallyProvedStateTesttestToStringSuccess0.018
FormallyProvedStateTesttestIsFailureSuccess0.006
FormallyProvedStateTesttestEqualsSuccess0.007
FormallyProvedStateTesttestHashCodeSuccess0.006
LoadingImportsStateTesttestGetCodeSuccess0.029
LoadingImportsStateTesttestGetTextSuccess0.003
LoadingImportsStateTesttestToStringSuccess0.002
LoadingImportsStateTesttestIsFailureSuccess0.004
LoadingImportsStateTesttestAreAllDirectlyRequiredLoadedSuccess0.006
LoadingImportsStateTesttestEqualsSuccess0.004
LoadingImportsStateTesttestHashCodeSuccess0.002
LoadingStateTesttestGetCodeSuccess0.042
LoadingStateTesttestGetTextSuccess0.004
LoadingStateTesttestToStringSuccess0.003
LoadingStateTesttestIsFailureSuccess0.002
LoadingStateTesttestEqualsSuccess0.023
LoadingStateTesttestHashCodeSuccess0.005
WellFormedStateTesttestGetCodeSuccess0.083
WellFormedStateTesttestGetTextSuccess0.008
WellFormedStateTesttestToStringSuccess0.004
WellFormedStateTesttestIsFailureSuccess0.007
WellFormedStateTesttestEqualsSuccess0.011
WellFormedStateTesttestHashCodeSuccess0.023
KernelSeEachClassHasATesttestIfEveryClassIsTestedSuccess17.618
AbstractModuleVisitorTesttestEnterSuccess0.269
AbstractModuleVisitorTesttestLeaveSuccess0.003
DefaultContextCheckerTesttestCheckHashCodeSuccess0.293
InterruptExceptionTesttestConstructorSuccess0.230
InterruptExceptionTesttestHashCodeSuccess0.003
InterruptExceptionTesttestEqualsObjectSuccess0.022
LatexList2TextTesttestGetLatexSuccess0.223
LatexList2TextTesttestTransformSuccess0.023
QedeqNotNullTraverserTesttestVisitSuccess0.084
QedeqNotNullTraverserTesttestGenerationSuccess0.014
QedeqNotNullTraverserTesttestQedeqSuccess0.790
QedeqNotNullTraverserTesttestQedeq2Success0.015
QedeqNotNullTraverserTesttestAcceptors1Success0.005
QedeqNotNullTraverserTesttestAcceptors2Success0.016
QedeqNumbersTesttestConstructorSuccess0.030
QedeqNumbersTesttestHashCodeAndEqualsSuccess0.002
QedeqNumbersTesttestGetVisitPercentageSuccess0.252