verify: iapi: check: deadlock: ok
verify: iapi: check: unreachable: ok
verify: iapi: check: livelock: ok
verify: iapi: check: deterministic: ok
verify: idev: check: deadlock: ok
verify: idev: check: unreachable: ok
verify: idev: check: livelock: ok
verify: idev: check: deterministic: ok
verify: enum_retest: check: deterministic: ok
verify: enum_retest: check: illegal: ok
verify: enum_retest: check: deadlock: ok
verify: enum_retest: check: unreachable: ok
verify: enum_retest: check: livelock: ok
verify: enum_retest: check: compliance: fail
error: component enum_retest is non-compliant with interface(s) of provides port(s)
model: enum_retest
api.run
d.read
d.Class:B2
d.read
d.Class:A
api.notify
api.return
api.run
d.read
d.Class:B2
d.read
d.Class:A
<non-compliance>
