Test Result : LifelineCoverageRegressionTest

0 failures (±0)

4 tests (±0)

All Tests

Test name	Duration	Status
createCombinedFragment	4 sec	Passed
createCombinedFragment_operand	5.7 sec	Passed
createInteractionUse	4.2 sec	Passed
createStateInvariant	11 sec	Passed