testFlowAnalysis_DoubleBiImpliesPropertyGuard <maven> | 31 ms | Passed |
testFlowAnalysis_DoubleBiImpliesPropertyGuard <tycho> | 0.11 sec | Passed |
testFlowAnalysis_DoubleIfGuard <maven> | 27 ms | Passed |
testFlowAnalysis_DoubleIfGuard <tycho> | 0.12 sec | Passed |
testFlowAnalysis_DoubleImpliesPropertyGuard <maven> | 30 ms | Passed |
testFlowAnalysis_DoubleImpliesPropertyGuard <tycho> | 0.13 sec | Passed |
testFlowAnalysis_ImpliesPropertyGuard <maven> | 26 ms | Passed |
testFlowAnalysis_ImpliesPropertyGuard <tycho> | 0.14 sec | Passed |
testFlowAnalysis_ImpliesVariableGuard <maven> | 26 ms | Passed |
testFlowAnalysis_ImpliesVariableGuard <tycho> | 98 ms | Passed |
testFlowAnalysis_IterationExpressionGuard <maven> | 28 ms | Passed |
testFlowAnalysis_IterationExpressionGuard <tycho> | 0.14 sec | Passed |
testFlowAnalysis_LetExpressionGuard <maven> | 35 ms | Passed |
testFlowAnalysis_LetExpressionGuard <tycho> | 0.17 sec | Passed |
testFlowAnalysis_OperationExpressionGuard <maven> | 35 ms | Passed |
testFlowAnalysis_OperationExpressionGuard <tycho> | 92 ms | Passed |
testFlowAnalysis_SimpleIfGuard <maven> | 26 ms | Passed |
testFlowAnalysis_SimpleIfGuard <tycho> | 0.13 sec | Passed |
testFlowAnalysis_SimpleNonNullVariable <maven> | 24 ms | Passed |
testFlowAnalysis_SimpleNonNullVariable <tycho> | 0.1 sec | Passed |
testFlowAnalysis_SimpleNotKnownVariable <maven> | 27 ms | Passed |
testFlowAnalysis_SimpleNotKnownVariable <tycho> | 86 ms | Passed |
testFlowAnalysis_SimpleNullVariable <maven> | 33 ms | Passed |
testFlowAnalysis_SimpleNullVariable <tycho> | 0.13 sec | Passed |
testFlowAnalysis_SimpleProperty <maven> | 26 ms | Passed |
testFlowAnalysis_SimpleProperty <tycho> | 0.11 sec | Passed |