[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.
[Summary] [Package List] [Test Cases]
Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
XmlSyntaxExceptionTest | 2 | 0 | 0 | 0 | 100% | 0.002 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
ProofFinderImplTest | 3 | 0 | 0 | 0 | 100% | 37.914 |
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 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
Context2SimpleXPathTest | 9 | 0 | 0 | 0 | 100% | 0.208 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
Element2LatexImplTest | 10 | 0 | 0 | 0 | 100% | 0.004 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
XmlReaderExceptionTest | 3 | 0 | 0 | 0 | 100% | 0.002 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
ProofCheckerFactoryImplTest | 1 | 0 | 0 | 0 | 100% | 0.002 |
![]() |
FormulaCheckerFactoryImplTest | 1 | 0 | 0 | 0 | 100% | 0.002 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
KernelSeEachClassHasATest | 1 | 0 | 0 | 0 | 100% | 0.511 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
TraceTest | 33 | 0 | 0 | 0 | 100% | 0.027 |
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 |
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 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
BaseEachClassHasATest | 1 | 0 | 0 | 0 | 100% | 0.428 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
QedeqParserTest | 2 | 0 | 0 | 0 | 100% | 0.024 |
![]() |
CharsetParserTest | 2 | 0 | 0 | 0 | 100% | 0.084 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
ProofCheckerTest | 3 | 0 | 0 | 0 | 100% | 0.402 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
GenerateXmlTest | 1 | 0 | 0 | 0 | 100% | 19.879 |
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 |
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 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
FormulaUtilityReplaceSubjectVariableQuantifierTest | 5 | 0 | 0 | 0 | 100% | 0.011 |
![]() |
FormulaUtilityReplaceOperatorVariableTest | 2 | 0 | 0 | 0 | 100% | 0.024 |
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 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
TestingProofCheckerFactoryImpl | 0 | 0 | 0 | 0 | 0% | 0.001 |
![]() |
KernelBoEachClassHasATest | 1 | 0 | 0 | 0 | 100% | 0.317 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
Qedeq2LatexTest | 4 | 0 | 0 | 0 | 100% | 0.534 |
![]() |
GenerateLatexTest | 10 | 0 | 0 | 0 | 100% | 8.22 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
QedeqConfigTest | 21 | 0 | 0 | 0 | 100% | 0.015 |
![]() |
ConfigAccessTest | 4 | 0 | 0 | 0 | 100% | 0.575 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
BasicKernelTest | 10 | 0 | 0 | 0 | 100% | 0.037 |
![]() |
QedeqBoSetTest | 13 | 0 | 0 | 0 | 100% | 0.005 |
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 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
KernelContextTest | 34 | 0 | 0 | 0 | 100% | 0.128 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
SchemaTest | 1 | 0 | 0 | 0 | 100% | 0.338 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
KernelXmlEachClassHasATest | 1 | 0 | 0 | 0 | 100% | 0.343 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
![]() |
DynamicHeuristicCheckerPluginTest | 1 | 0 | 0 | 0 | 100% | 0.102 |
![]() |
HeuristicCheckerPluginTest | 4 | 0 | 0 | 0 | 100% | 5.438 |
[Summary] [Package List] [Test Cases]
![]() |
testEqualsObject | 0 |
![]() |
testEqualsByteArray | 0 |
![]() |
testEqualsIntArray | 0 |
![]() |
testEqualsObjectArray | 0 |
![]() |
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 |
![]() |
testClassTermPositive01 | 0.002 |
![]() |
testClassTermPositive02 | 0.002 |
![]() |
testClassTermPositive03 | 0.002 |
![]() |
testClassTermPositive04 | 0.002 |
![]() |
testClassTermPositive05 | 0.003 |
![]() |
testGetName | 0 |
![]() |
testGetReferences | 0 |
![]() |
testGetModusPonens | 0 |
![]() |
testGetReference1 | 0 |
![]() |
testGetReference2 | 0 |
![]() |
testAll | 0.001 |
![]() |
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 |
![]() |
testToString | 0.001 |
![]() |
testEquals | 0.019 |
![]() |
testHashCode | 0.014 |
![]() |
testGetName | 0.022 |
![]() |
testGetArgumentNumber | 0.013 |
![]() |
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 |
![]() |
testToString | 0 |
![]() |
testHashCode | 0 |
![]() |
testIterator | 0 |
![]() |
testConstructors | 0.008 |
![]() |
testAddAndContainsClearIsEmpty | 0.001 |
![]() |
testAddAndEquals | 0 |
![]() |
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 |
![]() |
testGetFieldValue | 0.004 |
![]() |
testGetField | 0 |
![]() |
testExecuteMethod | 0.001 |
![]() |
testExecuteMethod2 | 0 |
![]() |
testExistsMethod | 0 |
![]() |
testSetFieldValue | 0 |
![]() |
testExistsMethod2 | 0 |
![]() |
testConstructor | 0.001 |
![]() |
testToString | 0 |
![]() |
testHashCode | 0 |
![]() |
testEqualsObject | 0 |
![]() |
testGetCause | 0.001 |
![]() |
testGetMessage | 0 |
![]() |
testGetDescription | 0 |
![]() |
testGetPlugin | 0 |
![]() |
testGetSourceArea | 0 |
![]() |
testGetRefrenceArea | 0 |
![]() |
testConstructor | 0.001 |
![]() |
testToString | 0 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0 |
![]() |
testGet | 0 |
![]() |
testGetList | 0 |
![]() |
testIsAtom | 0 |
![]() |
testIsList | 0 |
![]() |
testGetAtom | 0 |
![]() |
testReplace | 0 |
![]() |
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 |
![]() |
testPlugin | 0.15 |
![]() |
testPlugin2 | 0.611 |
![]() |
testPlugin3 | 1.366 |
![]() |
testPlugin4 | 0.294 |
![]() |
testProof_003 | 0.265 |
![]() |
testToString | 0 |
![]() |
testHashCode | 0 |
![]() |
testEqualsObject | 0 |
![]() |
testSourcePosition | 0 |
![]() |
testGetLine | 0 |
![]() |
testGetEndPosition | 0 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
testGetCode | 0 |
![]() |
testGetText | 0 |
![]() |
testToString | 0 |
![]() |
testIsFailure | 0 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0 |
![]() |
testAreAllRequiredLoaded | 0 |
![]() |
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 |
![]() |
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 |
![]() |
testQedeqLogicScript1 | 0.419 |
![]() |
testQedeqLogicScript2 | 0.094 |
![]() |
testQedeqSetTheoryScript1 | 4.579 |
![]() |
testQedeqSetTheoryScript2 | 0.345 |
![]() |
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 |
![]() |
testConstructor | 0 |
![]() |
testHasFailures | 0.001 |
![]() |
testSetLoadingFailureState | 0 |
![]() |
testSetLoadingProgressState | 0 |
![]() |
testSetDependencyFailureState | 0 |
![]() |
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 |
![]() |
testClass | 0.001 |
![]() |
testVar | 0 |
![]() |
testFuncon | 0 |
![]() |
testFunvar | 0.001 |
![]() |
testPredcon | 0 |
![]() |
testPredvar | 0 |
![]() |
testVarious1 | 0 |
![]() |
testBinaryLogical | 0 |
![]() |
testVarious2 | 0 |
![]() |
testClasslist | 0.001 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
testClassTermPositive01 | 0.001 |
![]() |
testClassTermPositive02 | 0.001 |
![]() |
testClassTermPositive03 | 0 |
![]() |
testClassTermNegative01 | 0.001 |
![]() |
testClassTermNegative02 | 0.001 |
![]() |
testClassTermNegative03 | 0 |
![]() |
testClassTermNegative04 | 0.001 |
![]() |
testClassTermNegative05 | 0 |
![]() |
testFormulaPositive01 | 0.001 |
![]() |
testFormulaPositive02 | 0 |
![]() |
testFormulaPositive03 | 0.001 |
![]() |
testFormulaNegative01 | 0 |
![]() |
testFormulaNegative02 | 0.001 |
![]() |
testFormulaNegative03 | 0 |
![]() |
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 |
![]() |
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 |
![]() |
testGetResourceFile | 0.465 |
![]() |
testGetResourceUrl | 0.002 |
![]() |
testGetResourceAsStream | 0 |
![]() |
testToString | 0.001 |
![]() |
testEquals | 0 |
![]() |
testConstructors | 0 |
![]() |
testIncrease | 0.001 |
![]() |
testHashcode | 0 |
![]() |
testReset | 0 |
![]() |
testNegationPositive01 | 0.001 |
![]() |
testNegationNegative01 | 0.001 |
![]() |
testNegationNegative02 | 0 |
![]() |
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 |
![]() |
testConstructor | 0 |
![]() |
testGetBoolean | 0 |
![]() |
testGetBooleanStandard | 0 |
![]() |
testGetInt | 0 |
![]() |
testGetIntStandard | 0 |
![]() |
testGetString | 0 |
![]() |
testGetStringStandard | 0.001 |
![]() |
testGetParameterString | 0 |
![]() |
testSetDefaultBoolean | 0 |
![]() |
testSetDefaultInt | 0 |
![]() |
testSetDefaultString | 0 |
![]() |
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 |
![]() |
testGetCode | 0 |
![]() |
testGetText | 0 |
![]() |
testToString | 0 |
![]() |
testIsFailure | 0 |
![]() |
testAreAllDirectlyRequiredLoaded | 0 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
testToString | 0.081 |
![]() |
testEquals | 0.055 |
![]() |
testHashCode | 0.009 |
![]() |
testGetName | 0.004 |
![]() |
testGetArgumentNumber | 0.002 |
![]() |
testAddModule | 0.002 |
![]() |
testRemoveModule | 0.491 |
![]() |
testStateChanged | 0.045 |
![]() |
testSetPrintStream | 0.205 |
![]() |
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 |
![]() |
testSubjectVariablePositive | 0.001 |
![]() |
testSubjectVariableNegative1 | 0 |
![]() |
testSubjectVariableNegative2 | 0 |
![]() |
testSubjectVariableNegative3 | 0.001 |
![]() |
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 |
![]() |
testLogFailureReply | 0.042 |
![]() |
testLogSuccessfulReply | 0.013 |
![]() |
testLogMessageState | 0.01 |
![]() |
testLogFailureState | 0.007 |
![]() |
testLogSuccesfulState | 0.032 |
![]() |
testLogRequest | 0.028 |
![]() |
testLogMessage | 0.02 |
![]() |
testToString | 0 |
![]() |
testHashCode | 0 |
![]() |
testEqualsObject | 0 |
![]() |
testGetEndPosition | 0 |
![]() |
testSourceArea | 0 |
![]() |
testGetAddress | 0 |
![]() |
testGetStartPosition | 0 |
![]() |
testToString | 0.001 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0.001 |
![]() |
testSize | 0 |
![]() |
testSimpleXPath | 0 |
![]() |
testGetElementName | 0 |
![]() |
testGetElementOccurrence | 0 |
![]() |
testGetAttribute | 0 |
![]() |
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 |
![]() |
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 |
![]() |
testToString | 0.003 |
![]() |
testEquals | 0.003 |
![]() |
testHashCode | 0.003 |
![]() |
testGetName | 0.002 |
![]() |
testGetArgumentNumber | 0.001 |
![]() |
testToString | 0.032 |
![]() |
testEquals | 0.026 |
![]() |
testHashCode | 0.042 |
![]() |
testGetName | 0.013 |
![]() |
testGetArgumentNumber | 0.007 |
![]() |
testConstructor | 0 |
![]() |
testGetCode | 0 |
![]() |
testGetText | 0 |
![]() |
testToString | 0 |
![]() |
testIsFailure | 0 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
testGetCode | 0 |
![]() |
testGetText | 0 |
![]() |
testToString | 0 |
![]() |
testIsFailure | 0 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0 |
![]() |
testToString | 0.001 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0 |
![]() |
testContructor | 0 |
![]() |
testClear | 0 |
![]() |
testAdd1 | 0.001 |
![]() |
testAdd2 | 0 |
![]() |
testSize | 0 |
![]() |
testGet | 0 |
![]() |
testGetCause | 0 |
![]() |
testGetCode | 0 |
![]() |
testGetText | 0 |
![]() |
testToString | 0 |
![]() |
testIsFailure | 0 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0 |
![]() |
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 |
![]() |
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 |
![]() |
testGetXPathLocation | 0.069 |
![]() |
testHelp | 0 |
![]() |
testUnknownOption | 0 |
![]() |
testNoXPath | 0 |
![]() |
testFileNotSpecified | 0.001 |
![]() |
testXPathNotOk | 0 |
![]() |
testXPathNotOk2 | 0 |
![]() |
testTagNotFound | 0.002 |
![]() |
testFileNotOk | 0.001 |
![]() |
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 |
![]() |
testToString | 0 |
![]() |
testEquals | 0 |
![]() |
testGetSubsection | 0 |
![]() |
testGetNode | 0 |
![]() |
testSetGetLabel | 0 |
![]() |
testSetGetLevel | 0 |
![]() |
testSetGetName | 0 |
![]() |
testSetGetPrecedingText | 0 |
![]() |
testSetGetNodeType | 0 |
![]() |
testSetGetSucceedingText | 0 |
![]() |
testAll | 0.003 |
![]() |
testHashCode | 0 |
![]() |
testConstructor1 | 0 |
![]() |
testConstructor2 | 0 |
![]() |
testConstructor3 | 0 |
![]() |
testCreateRelative | 0 |
![]() |
testEquals1 | 0 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
testNegative00 | 0.011 |
![]() |
testNegative01 | 0.008 |
![]() |
testNegative02 | 0.105 |
![]() |
testNegative03 | 0.018 |
![]() |
testNegative04 | 0.018 |
![]() |
testToString | 0.019 |
![]() |
testEquals | 0.03 |
![]() |
testHashCode | 0.02 |
![]() |
testGetName | 0.007 |
![]() |
testGetArgumentNumber | 0.024 |
![]() |
testGetCode | 0 |
![]() |
testGetText | 0 |
![]() |
testToString | 0 |
![]() |
testIsFailure | 0 |
![]() |
testEquals | 0 |
![]() |
testHashCode | 0 |
![]() |
testComplete | 0.006 |
![]() |
testPushPop | 0 |
![]() |
testErrorStream | 0 |
![]() |
testConstructorAndGetName | 0.008 |
![]() |
testGetPosition | 0.002 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
testVisit | 0.001 |
![]() |
testGeneration | 0 |
![]() |
testQedeq | 0.063 |
![]() |
testQedeq2 | 0 |
![]() |
testAcceptors1 | 0.001 |
![]() |
testAcceptors2 | 0.002 |
[Summary] [Package List] [Test Cases]
![]() |
warning |
junit.framework.AssertionFailedError: No tests found in org.qedeq.kernel.bo.test.QedeqBoTestCase | |