Test Result : LifelineCoverageRegressionTest

0 failures (±0)

4 tests (±0)

All Tests

Test name	Duration	Status
createCombinedFragment	3.6 sec	Passed
createCombinedFragment_operand	3.8 sec	Passed
createInteractionUse	1.4 sec	Passed
createStateInvariant	1.4 sec	Passed