Skip to content
Commit c3d1e25f authored by schillinge's avatar schillinge
Browse files

Allow filtering ports by device_id 



This otherwise leads to errors in RO, which checks whether the ports of a
specific instance are created.

Change-Id: I563dc84db299e6148b7970e8c9716460653c6b48
Signed-off-by: default avatarschillinge <ablu@mail.uni-paderborn.de>
parent 0e10819e
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment