| testFlowAnalysis_DoubleBiImpliesPropertyGuard <maven> | 23 ms | Passed |
| testFlowAnalysis_DoubleBiImpliesPropertyGuard <tycho> | 97 ms | Passed |
| testFlowAnalysis_DoubleIfGuard <maven> | 21 ms | Passed |
| testFlowAnalysis_DoubleIfGuard <tycho> | 0.1 sec | Passed |
| testFlowAnalysis_DoubleImpliesPropertyGuard <maven> | 23 ms | Passed |
| testFlowAnalysis_DoubleImpliesPropertyGuard <tycho> | 96 ms | Passed |
| testFlowAnalysis_ImpliesPropertyGuard <maven> | 21 ms | Passed |
| testFlowAnalysis_ImpliesPropertyGuard <tycho> | 0.13 sec | Passed |
| testFlowAnalysis_ImpliesVariableGuard <maven> | 20 ms | Passed |
| testFlowAnalysis_ImpliesVariableGuard <tycho> | 99 ms | Passed |
| testFlowAnalysis_IterationExpressionGuard <maven> | 24 ms | Passed |
| testFlowAnalysis_IterationExpressionGuard <tycho> | 75 ms | Passed |
| testFlowAnalysis_LetExpressionGuard <maven> | 22 ms | Passed |
| testFlowAnalysis_LetExpressionGuard <tycho> | 97 ms | Passed |
| testFlowAnalysis_OperationExpressionGuard <maven> | 20 ms | Passed |
| testFlowAnalysis_OperationExpressionGuard <tycho> | 82 ms | Passed |
| testFlowAnalysis_SimpleIfGuard <maven> | 21 ms | Passed |
| testFlowAnalysis_SimpleIfGuard <tycho> | 80 ms | Passed |
| testFlowAnalysis_SimpleNonNullVariable <maven> | 20 ms | Passed |
| testFlowAnalysis_SimpleNonNullVariable <tycho> | 90 ms | Passed |
| testFlowAnalysis_SimpleNotKnownVariable <maven> | 20 ms | Passed |
| testFlowAnalysis_SimpleNotKnownVariable <tycho> | 92 ms | Passed |
| testFlowAnalysis_SimpleNullVariable <maven> | 21 ms | Passed |
| testFlowAnalysis_SimpleNullVariable <tycho> | 90 ms | Passed |
| testFlowAnalysis_SimpleProperty <maven> | 21 ms | Passed |
| testFlowAnalysis_SimpleProperty <tycho> | 94 ms | Passed |
![[Jenkins]](/ocl/static/7e020f0c/images/svgs/logo.svg){kind=logo}
