'GlobalConcurrency':'DGlobalConcurrency',
# larger scope
-# 'BufferingHazard':'EBufferingHazard',
+ 'BufferingHazard':'EBufferingHazard',
'OK':'FOK'}
error_scope = {
'DRace':'multi-processes',
'DMatch':'multi-processes',
'DGlobalConcurrency':'multi-processes',
-# 'EBufferingHazard':'system',
+ 'EBufferingHazard':'system',
'FOK':'correct executions'
}