Test Summary

400

tests
0

failures
39

ignored
27m6.24s

duration
100%

successful

Ignored tests

Packages

Package Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.symbolic_execution.testcase 285 0 39 18m53.31s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po 20 0 0 2m13.30s 100%
de.uka.ilkd.key.symbolic_execution.testcase.slicing 44 0 0 2m23.29s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy 43 0 0 3m31.82s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util 8 0 0 4.512s 100%

Classes

Class Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.symbolic_execution.testcase.TestConditionalVariables 1 0 0 18.753s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodePreorderIterator 4 0 0 0.009s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodeWriterAndReader 8 0 0 0.116s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionVariableExtractor 16 0 0 1m53.99s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestParallelSiteProofs 2 0 1 3.461s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicExecutionTreeBuilder 186 0 1 15m9.59s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutExtractor 32 0 32 0.012s -
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutWriterAndReader 1 0 0 0.020s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestTruthValueEvaluationUtil 29 0 5 1m27.37s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestTruthValueValue 6 0 0 0.001s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestFunctionalOperationContractPO 1 0 0 7.927s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodPO 7 0 0 46.186s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodSubsetPO 12 0 0 1m19.19s 100%
de.uka.ilkd.key.symbolic_execution.testcase.slicing.TestThinBackwardSlicer 44 0 0 2m23.29s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionCaughtOrUncaught 1 0 0 6.970s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithHitCount 1 0 0 6.826s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithSubclasses 1 0 0 7.139s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestJavaWatchpointStopConditionWithHitCount 1 0 0 6.316s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnSatisfiable 1 0 0 4.106s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnTrueWithHitCount 1 0 0 3.715s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointMethodsOnSatisfiable 1 0 0 4.347s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithConditions 1 0 0 10.863s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithHitCount 1 0 0 4.790s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithLoopInvariant 1 0 0 4.342s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithConditions 1 0 0 11.342s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithHitCount 1 0 0 6.773s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepOverSymbolicExecutionTreeNodesStopCondition 1 0 0 5.073s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepReturnSymbolicExecutionTreeNodesStopCondition 1 0 0 5.436s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestSymbolicExecutionStrategy 29 0 0 2m3.79s 100%
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.003s 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 4.506s 100%