mode: 
	weak rules: off
	unstable events propagate Xs
	on unstable: break
	on weak-unstable: warn
	on interference: break
	on weak-interference: warn
	checking exclusions: on
	on exclusion-fail: fatal
	on invariant-fail: break
	on invariant-unknown: warn
	on assert-fail: fatal
	on channel-expect-fail: fatal
timing: uniform (10)
