//:component_example
//:abc
Coverage: 100.0% (2 of 2 items OK)
The caller keeps invocations within the cycle time.
Derived from:
OtherLibrary.TimingConstraint
other_library_fta.CycleTimeExceeded
Source: assessments.trlc:19:30
The caller keeps invocations within the memory budget.
OtherLibrary.SpaceConstraint
other_library_fta.MemoryBudgetExceeded
Source: assessments.trlc:27:30