verify: IRelaxed: check: deadlock: ok
verify: IRelaxed: check: unreachable: ok
verify: IRelaxed: check: livelock: ok
verify: IRelaxed: check: deterministic: ok
verify: IStrict: check: deadlock: ok
verify: IStrict: check: unreachable: ok
verify: IStrict: check: livelock: ok
verify: IStrict: check: deterministic: ok
verify: ILogger: check: deadlock: ok
verify: ILogger: check: unreachable: ok
verify: ILogger: check: livelock: ok
verify: ILogger: check: deterministic: ok
verify: IWatchdog: check: deadlock: ok
verify: IWatchdog: check: unreachable: ok
verify: IWatchdog: check: livelock: ok
verify: IWatchdog: check: deterministic: ok
verify: TopArmor: check: deterministic: ok
verify: TopArmor: check: illegal: ok
verify: TopArmor: check: deadlock: ok
verify: TopArmor: check: unreachable: ok
verify: TopArmor: check: livelock: ok
verify: TopArmor: check: compliance: ok
verify: BottomArmor: check: deterministic: ok
verify: BottomArmor: check: illegal: ok
verify: BottomArmor: check: deadlock: ok
verify: BottomArmor: check: unreachable: ok
verify: BottomArmor: check: livelock: ok
verify: BottomArmor: check: compliance: ok
verify: C: check: deterministic: ok
verify: C: check: illegal: ok
verify: C: check: deadlock: ok
verify: C: check: unreachable: ok
verify: C: check: livelock: ok
verify: C: check: compliance: ok
