| testFlowAnalysis_DoubleBiImpliesPropertyGuard <maven> | 47 ms | Passed |
| testFlowAnalysis_DoubleBiImpliesPropertyGuard <tycho> | 0.34 sec | Passed |
| testFlowAnalysis_DoubleIfGuard <maven> | 44 ms | Passed |
| testFlowAnalysis_DoubleIfGuard <tycho> | 0.21 sec | Passed |
| testFlowAnalysis_DoubleImpliesPropertyGuard <maven> | 46 ms | Passed |
| testFlowAnalysis_DoubleImpliesPropertyGuard <tycho> | 0.24 sec | Passed |
| testFlowAnalysis_ImpliesPropertyGuard <maven> | 43 ms | Passed |
| testFlowAnalysis_ImpliesPropertyGuard <tycho> | 0.25 sec | Passed |
| testFlowAnalysis_ImpliesVariableGuard <maven> | 43 ms | Passed |
| testFlowAnalysis_ImpliesVariableGuard <tycho> | 0.25 sec | Passed |
| testFlowAnalysis_IterationExpressionGuard <maven> | 48 ms | Passed |
| testFlowAnalysis_IterationExpressionGuard <tycho> | 0.38 sec | Passed |
| testFlowAnalysis_LetExpressionGuard <maven> | 46 ms | Passed |
| testFlowAnalysis_LetExpressionGuard <tycho> | 0.28 sec | Passed |
| testFlowAnalysis_OperationExpressionGuard <maven> | 44 ms | Passed |
| testFlowAnalysis_OperationExpressionGuard <tycho> | 0.24 sec | Passed |
| testFlowAnalysis_SimpleIfGuard <maven> | 43 ms | Passed |
| testFlowAnalysis_SimpleIfGuard <tycho> | 0.24 sec | Passed |
| testFlowAnalysis_SimpleNonNullVariable <maven> | 40 ms | Passed |
| testFlowAnalysis_SimpleNonNullVariable <tycho> | 0.25 sec | Passed |
| testFlowAnalysis_SimpleNotKnownVariable <maven> | 41 ms | Passed |
| testFlowAnalysis_SimpleNotKnownVariable <tycho> | 0.25 sec | Passed |
| testFlowAnalysis_SimpleNullVariable <maven> | 41 ms | Passed |
| testFlowAnalysis_SimpleNullVariable <tycho> | 0.2 sec | Passed |
| testFlowAnalysis_SimpleProperty <maven> | 44 ms | Passed |
| testFlowAnalysis_SimpleProperty <tycho> | 0.28 sec | Passed |
![[Jenkins]](/ocl/static/7e020f0c/images/svgs/logo.svg){kind=logo}
