Test Summary

400

tests

74

failures

39

ignored

19m20.47s

duration

79%

successful

Failed tests

Ignored tests

Packages

Package Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.symbolic_execution.testcase 285 50 39 13m12.61s 79%
de.uka.ilkd.key.symbolic_execution.testcase.po 20 0 0 1m41.59s 100%
de.uka.ilkd.key.symbolic_execution.testcase.slicing 44 7 0 1m47.68s 84%
de.uka.ilkd.key.symbolic_execution.testcase.strategy 43 17 0 2m35.12s 60%
de.uka.ilkd.key.symbolic_execution.testcase.util 8 0 0 3.469s 100%

Classes

Class Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.symbolic_execution.testcase.TestConditionalVariables 1 0 0 13.200s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodePreorderIterator 4 0 0 0.019s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodeWriterAndReader 8 0 0 0.169s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionVariableExtractor 16 7 0 1m13.15s 56%
de.uka.ilkd.key.symbolic_execution.testcase.TestParallelSiteProofs 2 0 1 2.845s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicExecutionTreeBuilder 186 32 1 10m40.52s 82%
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutExtractor 32 0 32 0.002s -
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutWriterAndReader 1 0 0 0.007s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestTruthValueEvaluationUtil 29 11 5 1m2.69s 54%
de.uka.ilkd.key.symbolic_execution.testcase.TestTruthValueValue 6 0 0 0.002s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestFunctionalOperationContractPO 1 0 0 5.977s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodPO 7 0 0 35.786s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodSubsetPO 12 0 0 59.829s 100%
de.uka.ilkd.key.symbolic_execution.testcase.slicing.TestThinBackwardSlicer 44 7 0 1m47.68s 84%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionCaughtOrUncaught 1 0 0 5.284s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithHitCount 1 0 0 5.146s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithSubclasses 1 0 0 5.576s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestJavaWatchpointStopConditionWithHitCount 1 1 0 2.589s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnSatisfiable 1 1 0 2.387s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnTrueWithHitCount 1 1 0 2.371s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointMethodsOnSatisfiable 1 1 0 2.384s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithConditions 1 1 0 8.195s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithHitCount 1 1 0 3.152s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithLoopInvariant 1 1 0 2.949s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithConditions 1 1 0 8.221s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithHitCount 1 1 0 3.705s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepOverSymbolicExecutionTreeNodesStopCondition 1 1 0 3.103s 0%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepReturnSymbolicExecutionTreeNodesStopCondition 1 0 0 4.317s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestSymbolicExecutionStrategy 29 7 0 1m35.75s 75%
de.uka.ilkd.key.symbolic_execution.testcase.util.TestDefaultEntry 1 0 0 0s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util.TestEqualsHashCodeResetter 3 0 0 0.001s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util.TestSideProofStore 2 0 0 0.003s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util.TestSymbolicExecutionUtil 2 0 0 3.465s 100%