verify: ip6: check: deadlock: ok
verify: ip6: check: unreachable: ok
verify: ip6: check: livelock: ok
verify: ip6: check: deterministic: ok
verify: inotify6: check: deadlock: ok
verify: inotify6: check: unreachable: ok
verify: inotify6: check: livelock: ok
verify: inotify6: check: deterministic: ok
verify: ibool6: check: deadlock: ok
verify: ibool6: check: unreachable: ok
verify: ibool6: check: livelock: ok
verify: ibool6: check: deterministic: ok
verify: state_explosion_spont: check: deterministic: ok
verify: state_explosion_spont: check: illegal: fail
error: illegal action performed in model state_explosion_spont
model: state_explosion_spont
p.go
w.arm
w.return
p.return
p.go
w.arm
<illegal>
verify: state_explosion_spont: check: deadlock: ok
verify: state_explosion_spont: check: unreachable: skip
verify: state_explosion_spont: check: livelock: ok
verify: state_explosion_spont: check: compliance: skip
