Test Result : LifelineCoverageRegressionTest

0 failures

4 tests

All Tests

Test name	Duration	Status
createCombinedFragment	1.7 sec	Passed
createCombinedFragment_operand	1.8 sec	Passed
createInteractionUse	0.95 sec	Passed
createStateInvariant	1.3 sec	Passed