verify: ip5: check: deadlock: fail
error: deadlock in model ip5
model: ip5
go
return
<deadlock>
verify: ip5: check: unreachable: skip
verify: ip5: check: livelock: ok
verify: ip5: check: deterministic: ok
verify: ibool5: check: deadlock: ok
verify: ibool5: check: unreachable: ok
verify: ibool5: check: livelock: ok
verify: ibool5: check: deterministic: ok
verify: state_explosion_defer: check: deterministic: ok
verify: state_explosion_defer: check: illegal: ok
verify: state_explosion_defer: check: deadlock: fail
error: deadlock in model state_explosion_defer
model: state_explosion_defer
p.go
p.return
<defer>
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
r.get
r.true
<deadlock>
verify: state_explosion_defer: check: unreachable: skip
verify: state_explosion_defer: check: livelock: ok
verify: state_explosion_defer: check: compliance: skip
