verify: icb: check: deadlock: ok
verify: icb: check: unreachable: ok
verify: icb: check: livelock: ok
verify: icb: check: deterministic: ok
verify: ising: check: deadlock: ok
verify: ising: check: unreachable: ok
verify: ising: check: livelock: ok
verify: ising: check: deterministic: ok
verify: itrig: check: deadlock: ok
verify: itrig: check: unreachable: ok
verify: itrig: check: livelock: ok
verify: itrig: check: deterministic: ok
verify: worker: check: deterministic: ok
verify: worker: check: illegal: ok
verify: worker: check: deadlock: fail
error: deadlock in model worker
model: worker
p.go
sensor.enable
sensor.status:released
sensor.disable
sensor.return
p.return
<deadlock>
verify: worker: check: unreachable: skip
verify: worker: check: livelock: ok
verify: worker: check: compliance: skip
verify: driver: check: deterministic: ok
verify: driver: check: illegal: ok
verify: driver: check: deadlock: ok
verify: driver: check: unreachable: ok
verify: driver: check: livelock: ok
verify: driver: check: compliance: fail
error: component driver is non-compliant with interface(s) of provides port(s)
model: driver
c.go
r.go
r.return
c.return
c.go
<non-compliance>
