Test Result : LifelineCoverageRegressionTest

0 failures

4 tests

All Tests

Test name	Duration	Status
createCombinedFragment	1.5 sec	Passed
createCombinedFragment_operand	2.4 sec	Passed
createInteractionUse	1.7 sec	Passed
createStateInvariant	1.5 sec	Passed