Test Summary
|
79%
successful |
Failed tests
- TestExecutionVariableExtractor. testVariableArrayIndex()
- TestExecutionVariableExtractor. testVariablesArrayCreationInstanceTest()
- TestExecutionVariableExtractor. testVariablesArrayCreationTest()
- TestExecutionVariableExtractor. testVariablesEmptyArrayCreationTest()
- TestExecutionVariableExtractor. testVariablesLocalVariablesTest()
- TestExecutionVariableExtractor. testVariablesNonSimpleArrayAssignmentTest()
- TestExecutionVariableExtractor. testVariablesWithQuantifier()
- TestSymbolicExecutionTreeBuilder. testBranchStatementBlockTest_recursive()
- TestSymbolicExecutionTreeBuilder. testConstraintsOfAppliedMethodContract()
- TestSymbolicExecutionTreeBuilder. testDoWhileFlaseTest()
- TestSymbolicExecutionTreeBuilder. testDoWhileTest()
- TestSymbolicExecutionTreeBuilder. testExceptionalMethodReturnTest()
- TestSymbolicExecutionTreeBuilder. testFunctionalDoWhileTest()
- TestSymbolicExecutionTreeBuilder. testFunctionalForTest()
- TestSymbolicExecutionTreeBuilder. testFunctionalWhileTest()
- TestSymbolicExecutionTreeBuilder. testIdenticalTermsDuringProof()
- TestSymbolicExecutionTreeBuilder. testLoopInvariantMethodReturnInDifferentModalities()
- TestSymbolicExecutionTreeBuilder. testLoopIteration_LoopWithMethod()
- TestSymbolicExecutionTreeBuilder. testMethodCallOnObjectWithException()
- TestSymbolicExecutionTreeBuilder. testMethodCallReturnTests()
- TestSymbolicExecutionTreeBuilder. testMethodCallStack()
- TestSymbolicExecutionTreeBuilder. testNestedDoWhileTest()
- TestSymbolicExecutionTreeBuilder. testNestedLoopsWithContinue()
- TestSymbolicExecutionTreeBuilder. testPrettyPrinting_Disabled()
- TestSymbolicExecutionTreeBuilder. testPrettyPrinting_Enabled()
- TestSymbolicExecutionTreeBuilder. testSimpleIfNoConditionSimplification()
- TestSymbolicExecutionTreeBuilder. testSimpleMethodCallStack()
- TestSymbolicExecutionTreeBuilder. testUnicode_Disabled()
- TestSymbolicExecutionTreeBuilder. testUnicode_Enabled()
- TestSymbolicExecutionTreeBuilder. testUseLoopInvariantArrayAverage()
- TestSymbolicExecutionTreeBuilder. testUseLoopInvariantArraySizeDoWhile()
- TestSymbolicExecutionTreeBuilder. testUseLoopInvariantLoopSplittingCondition()
- TestSymbolicExecutionTreeBuilder. testUseOperationContractStatementsInImpliciteConstructor()
- TestSymbolicExecutionTreeBuilder. testVariablesArrayCreationInstanceTest()
- TestSymbolicExecutionTreeBuilder. testVariablesArrayCreationTest()
- TestSymbolicExecutionTreeBuilder. testVariablesArrayTest()
- TestSymbolicExecutionTreeBuilder. testVariablesEmptyArrayCreationTest()
- TestSymbolicExecutionTreeBuilder. testVariablesLocalTest()
- TestSymbolicExecutionTreeBuilder. testVariablesNonSimpleArrayAssignmentTest()
- TestTruthValueEvaluationUtil. testArraySumWhile()
- TestTruthValueEvaluationUtil. testArraySumWhile_NoOneStepSimplification()
- TestTruthValueEvaluationUtil. testMyInteger()
- TestTruthValueEvaluationUtil. testSimpleInstanceMethodContractApplication()
- TestTruthValueEvaluationUtil. testSimpleInstanceMethodContractApplication_NoOneStepSimplification()
- TestTruthValueEvaluationUtil. testSimpleMethodContractApplication()
- TestTruthValueEvaluationUtil. testSimpleMethodContractApplication_NoOneStepSimplification()
- TestTruthValueEvaluationUtil. testUnderstandingProofs_Account()
- TestTruthValueEvaluationUtil. testUnderstandingProofs_ArrayUtil()
- TestTruthValueEvaluationUtil. testUnderstandingProofs_Calendar()
- TestTruthValueEvaluationUtil. testUnderstandingProofs_MyInteger()
- TestThinBackwardSlicer. testArrayIndexAsVariableFieldTest()
- TestThinBackwardSlicer. testArrayIndexSideeffectsAfter()
- TestThinBackwardSlicer. testArrayIndexSideeffectsBevore()
- TestThinBackwardSlicer. testArrayIndexVariableTest()
- TestThinBackwardSlicer. testBlockContractAssignableEverything()
- TestThinBackwardSlicer. testBlockContractAssignableLocationNotRequested()
- TestThinBackwardSlicer. testBlockContractAssignableRequestedLocation()
- TestJavaWatchpointStopConditionWithHitCount. testBreakpointStopCondition()
- TestKeYWatchpointGlobalVariablesOnSatisfiable. testBreakpointStopCondition()
- TestKeYWatchpointGlobalVariablesOnTrueWithHitCount. testBreakpointStopCondition()
- TestKeYWatchpointMethodsOnSatisfiable. testBreakpointStopCondition()
- TestLineBreakpointStopConditionSimpleWithConditions. testBreakpointStopCondition()
- TestLineBreakpointStopConditionSimpleWithHitCount. testBreakpointStopCondition()
- TestLineBreakpointStopConditionSimpleWithLoopInvariant. testBreakpointStopCondition()
- TestMethodBreakpointWithConditions. testBreakpointStopCondition()
- TestMethodBreakpointWithHitCount. testBreakpointStopCondition()
- TestStepOverSymbolicExecutionTreeNodesStopCondition. testStepOverOnTwoBranches()
- TestSymbolicExecutionStrategy. testBlockContractPreconditionNotVerified_SymbolicExecution()
- TestSymbolicExecutionStrategy. testBlockContractWithExceptionPostconditionNotVerified_SymbolicExecution()
- TestSymbolicExecutionStrategy. testBlockContractWithException_SymbolicExecution()
- TestSymbolicExecutionStrategy. testBlockContractWithReturnPostconditionNotVerified_SymbolicExecution()
- TestSymbolicExecutionStrategy. testBlockContractWithReturn_SymbolicExecution()
- TestSymbolicExecutionStrategy. testNonExecutionBranchHidingLoopInvariantWithSplittingQuery_hiding_off()
- TestSymbolicExecutionStrategy. testNonExecutionBranchHidingLoopInvariantWithSplittingQuery_hiding_side_proof()
- TestSymbolicExecutionUtil. test2GetAndSetChoiceSetting()
Ignored tests
- TestParallelSiteProofs. xxxtestNewProof()
- TestSymbolicExecutionTreeBuilder. testComplexConstructorTest()
- TestSymbolicLayoutExtractor. testArrayCreationTest()
- TestSymbolicLayoutExtractor. testArrayIndexReadAccess()
- TestSymbolicLayoutExtractor. testArrayIndexWriteAccess()
- TestSymbolicLayoutExtractor. testArrayInstanceCreationTest()
- TestSymbolicLayoutExtractor. testAssociationSourceIsNotRepresentativeTermOfEquivalenceClass()
- TestSymbolicLayoutExtractor. testEmptyArrayCreationTest()
- TestSymbolicLayoutExtractor. testEmptyPathConditionAndNoUpdates()
- TestSymbolicLayoutExtractor. testExistsQuantifierTest()
- TestSymbolicLayoutExtractor. testInstanceCreationTest()
- TestSymbolicLayoutExtractor. testInstanceCreationTest_OnReturnNode()
- TestSymbolicLayoutExtractor. testIntegerConditionTest()
- TestSymbolicLayoutExtractor. testIsInstanceTest()
- TestSymbolicLayoutExtractor. testIsNullTest()
- TestSymbolicLayoutExtractor. testMultiArrayIndexReadWriteAccess()
- TestSymbolicLayoutExtractor. testMyInteger()
- TestSymbolicLayoutExtractor. testObjectArrayIndexReadAccess()
- TestSymbolicLayoutExtractor. testObjectArrayIndexWriteAccess()
- TestSymbolicLayoutExtractor. testObjectConditionTest()
- TestSymbolicLayoutExtractor. testOneAssignmentTest()
- TestSymbolicLayoutExtractor. testSimpleArrayCreation()
- TestSymbolicLayoutExtractor. testSimpleArrayLength()
- TestSymbolicLayoutExtractor. testSimpleLinkedArrays()
- TestSymbolicLayoutExtractor. testSimpleLinkedOjbects()
- TestSymbolicLayoutExtractor. testSimpleLinkedOjbectsDeletion()
- TestSymbolicLayoutExtractor. testSimpleLinkedOjbectsDeletionPreCondition()
- TestSymbolicLayoutExtractor. testSimpleLinkedOjbectsInsertion()
- TestSymbolicLayoutExtractor. testSimpleLinkedOjbectsInstanceVariable()
- TestSymbolicLayoutExtractor. testSimpleLinkedOjbectsPreCondition()
- TestSymbolicLayoutExtractor. testSimpleStaticAttributes()
- TestSymbolicLayoutExtractor. testStaticMember_OnReturnNode()
- TestSymbolicLayoutExtractor. testVariableArrayIndex()
- TestSymbolicLayoutExtractor. testWithOperationContracts()
- TestTruthValueEvaluationUtil. IGNORE_testAddingOfLabeledSubtree()
- TestTruthValueEvaluationUtil. IGNORE_testArrayUtil()
- TestTruthValueEvaluationUtil. IGNORE_testArrayUtil_NoOneStepSimplification()
- TestTruthValueEvaluationUtil. IGNORE_testAssignableAndLoop()
- TestTruthValueEvaluationUtil. IGNORE_testBlockContractMagic42()
Packages
| Package | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| de.uka.ilkd.key.symbolic_execution.testcase | 285 | 50 | 39 | 16m26.29s | 79% |
| de.uka.ilkd.key.symbolic_execution.testcase.po | 20 | 0 | 0 | 2m5.58s | 100% |
| de.uka.ilkd.key.symbolic_execution.testcase.slicing | 44 | 7 | 0 | 2m16.81s | 84% |
| de.uka.ilkd.key.symbolic_execution.testcase.strategy | 43 | 17 | 0 | 3m24.80s | 60% |
| de.uka.ilkd.key.symbolic_execution.testcase.util | 8 | 1 | 0 | 4.666s | 87% |