|
de.uka.ilkd.key.symbolic_execution.testcase.TestConditionalVariables
|
1 |
0 |
0 |
14.655s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.TestExecutionNodePreorderIterator
|
4 |
0 |
0 |
0.016s |
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 |
2m7.00s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.TestParallelSiteProofs
|
2 |
0 |
1 |
3.017s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicExecutionTreeBuilder
|
186 |
6 |
1 |
12m29.51s |
96% |
|
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutExtractor
|
32 |
0 |
32 |
0.001s |
- |
|
de.uka.ilkd.key.symbolic_execution.testcase.TestSymbolicLayoutWriterAndReader
|
1 |
0 |
0 |
0.009s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.TestTruthValueEvaluationUtil
|
29 |
11 |
5 |
1m6.84s |
54% |
|
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 |
6.292s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodPO
|
7 |
0 |
0 |
38.329s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.po.TestProgramMethodSubsetPO
|
12 |
0 |
0 |
1m3.55s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.slicing.TestThinBackwardSlicer
|
44 |
7 |
0 |
1m55.10s |
84% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionCaughtOrUncaught
|
1 |
0 |
0 |
5.735s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithHitCount
|
1 |
0 |
0 |
5.463s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestExceptionBreakpointStopConditionWithSubclasses
|
1 |
0 |
0 |
5.818s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestJavaWatchpointStopConditionWithHitCount
|
1 |
0 |
0 |
5.156s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnSatisfiable
|
1 |
1 |
0 |
2.546s |
0% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointGlobalVariablesOnTrueWithHitCount
|
1 |
1 |
0 |
2.529s |
0% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestKeYWatchpointMethodsOnSatisfiable
|
1 |
1 |
0 |
2.544s |
0% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithConditions
|
1 |
0 |
0 |
8.887s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithHitCount
|
1 |
0 |
0 |
4.088s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestLineBreakpointStopConditionSimpleWithLoopInvariant
|
1 |
0 |
0 |
3.512s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithConditions
|
1 |
0 |
0 |
9.094s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestMethodBreakpointWithHitCount
|
1 |
0 |
0 |
5.214s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepOverSymbolicExecutionTreeNodesStopCondition
|
1 |
0 |
0 |
4.186s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestStepReturnSymbolicExecutionTreeNodesStopCondition
|
1 |
0 |
0 |
4.573s |
100% |
|
de.uka.ilkd.key.symbolic_execution.testcase.strategy.TestSymbolicExecutionStrategy
|
29 |
0 |
0 |
1m41.49s |
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.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.593s |
100% |