Test Summary

400

tests
0

failures
39

ignored
24m10.14s

duration
100%

successful

Ignored tests

Packages

Package Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.symbolic_execution.testcase 285 0 39 16m37.37s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po 20 0 0 2m6.76s 100%
de.uka.ilkd.key.symbolic_execution.testcase.slicing 44 0 0 2m4.71s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy 43 0 0 3m17.61s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util 8 0 0 3.697s 100%

Classes

Class Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.symbolic_execution.testcase.TestConditionalVariables 1 0 0 14.527s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodePreorderIterator 4 0 0 0.015s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodeWriterAndReader 8 0 0 0.190s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionVariableExtractor 16 0 0 1m37.58s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestParallelSiteProofs 2 0 1 2.964s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicExecutionTreeBuilder 186 0 1 13m14.88s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutExtractor 32 0 32 0.003s -
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutWriterAndReader 1 0 0 0.008s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestTruthValueEvaluationUtil 29 0 5 1m27.19s 100%
de.uka.ilkd.key.symbolic_execution.testcase.TestTruthValueValue 6 0 0 0.004s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestFunctionalOperationContractPO 1 0 0 6.829s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodPO 7 0 0 43.258s 100%
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodSubsetPO 12 0 0 1m16.67s 100%
de.uka.ilkd.key.symbolic_execution.testcase.slicing.TestThinBackwardSlicer 44 0 0 2m4.71s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionCaughtOrUncaught 1 0 0 5.923s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithHitCount 1 0 0 5.742s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithSubclasses 1 0 0 6.137s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestJavaWatchpointStopConditionWithHitCount 1 0 0 5.341s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnSatisfiable 1 0 0 3.552s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnTrueWithHitCount 1 0 0 3.153s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointMethodsOnSatisfiable 1 0 0 3.739s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithConditions 1 0 0 9.248s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithHitCount 1 0 0 4.124s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithLoopInvariant 1 0 0 8.543s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithConditions 1 0 0 9.635s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithHitCount 1 0 0 10.354s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepOverSymbolicExecutionTreeNodesStopCondition 1 0 0 4.388s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepReturnSymbolicExecutionTreeNodesStopCondition 1 0 0 4.721s 100%
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestSymbolicExecutionStrategy 29 0 0 1m53.01s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util.TestDefaultEntry 1 0 0 0.001s 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.010s 100%
de.uka.ilkd.key.symbolic_execution.testcase.util.TestSymbolicExecutionUtil 2 0 0 3.684s 100%