Test Summary

400

tests
0

failures
39

ignored
21m47.50s

duration
100%

successful

Ignored tests

Packages

Package Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.symbolic_execution.testcase 285 0 39 15m13.85s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po 20 0 0 1m46.12s 100%
de.uka.ilkd.key.symbolic_execution.testcase.slicing 44 0 0 1m52.75s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy 43 0 0 2m51.14s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util 8 0 0 3.638s 100%

Classes

Class Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.symbolic_execution.testcase.TestConditionalVariables 1 0 0 15.225s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodePreorderIterator 4 0 0 0.010s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodeWriterAndReader 8 0 0 0.108s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionVariableExtractor 16 0 0 1m33.65s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestParallelSiteProofs 2 0 1 2.670s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicExecutionTreeBuilder 186 0 1 12m14.41s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutExtractor 32 0 32 0s -
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutWriterAndReader 1 0 0 0.007s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestTruthValueEvaluationUtil 29 0 5 1m7.76s 100%
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 6.437s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodPO 7 0 0 39.495s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodSubsetPO 12 0 0 1m0.19s 100%
de.uka.ilkd.key.symbolic_execution.testcase.slicing.TestThinBackwardSlicer 44 0 0 1m52.75s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionCaughtOrUncaught 1 0 0 5.245s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithHitCount 1 0 0 5.211s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithSubclasses 1 0 0 5.820s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestJavaWatchpointStopConditionWithHitCount 1 0 0 5.089s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnSatisfiable 1 0 0 3.371s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnTrueWithHitCount 1 0 0 2.795s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointMethodsOnSatisfiable 1 0 0 3.284s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithConditions 1 0 0 8.201s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithHitCount 1 0 0 3.816s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithLoopInvariant 1 0 0 3.570s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithConditions 1 0 0 8.573s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithHitCount 1 0 0 5.244s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepOverSymbolicExecutionTreeNodesStopCondition 1 0 0 4.238s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepReturnSymbolicExecutionTreeNodesStopCondition 1 0 0 4.636s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestSymbolicExecutionStrategy 29 0 0 1m42.05s 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.002s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util.TestSideProofStore 2 0 0 0.005s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util.TestSymbolicExecutionUtil 2 0 0 3.631s 100%