Test Result : FlowAnalysisTests

0 failures
26 tests
Took 3.4 sec.

All Tests

Test nameDurationStatus
testFlowAnalysis_DoubleBiImpliesPropertyGuard <maven>22 msPassed
testFlowAnalysis_DoubleBiImpliesPropertyGuard <tycho>0.14 secPassed
testFlowAnalysis_DoubleIfGuard <maven>23 msPassed
testFlowAnalysis_DoubleIfGuard <tycho>0.24 secPassed
testFlowAnalysis_DoubleImpliesPropertyGuard <maven>22 msPassed
testFlowAnalysis_DoubleImpliesPropertyGuard <tycho>0.1 secPassed
testFlowAnalysis_ImpliesPropertyGuard <maven>21 msPassed
testFlowAnalysis_ImpliesPropertyGuard <tycho>0.1 secPassed
testFlowAnalysis_ImpliesVariableGuard <maven>20 msPassed
testFlowAnalysis_ImpliesVariableGuard <tycho>0.16 secPassed
testFlowAnalysis_IterationExpressionGuard <maven>26 msPassed
testFlowAnalysis_IterationExpressionGuard <tycho>0.14 secPassed
testFlowAnalysis_LetExpressionGuard <maven>22 msPassed
testFlowAnalysis_LetExpressionGuard <tycho>0.36 secPassed
testFlowAnalysis_OperationExpressionGuard <maven>21 msPassed
testFlowAnalysis_OperationExpressionGuard <tycho>0.18 secPassed
testFlowAnalysis_SimpleIfGuard <maven>21 msPassed
testFlowAnalysis_SimpleIfGuard <tycho>99 msPassed
testFlowAnalysis_SimpleNonNullVariable <maven>20 msPassed
testFlowAnalysis_SimpleNonNullVariable <tycho>0.1 secPassed
testFlowAnalysis_SimpleNotKnownVariable <maven>21 msPassed
testFlowAnalysis_SimpleNotKnownVariable <tycho>1.2 secPassed
testFlowAnalysis_SimpleNullVariable <maven>20 msPassed
testFlowAnalysis_SimpleNullVariable <tycho>0.1 secPassed
testFlowAnalysis_SimpleProperty <maven>21 msPassed
testFlowAnalysis_SimpleProperty <tycho>0.13 secPassed