*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] ***

--------------------------------------

*** RACE *** 133 "mergesort.MSort.m_iArray" 235 14 READ * 116 "mergesort.MSort.m_iArray" 107 11 WRITE ***

*** RACE *** 132 "mergesort.MSort.m_iArray" 230 14 READ * 116 "mergesort.MSort.m_iArray" 107 11 WRITE ***

*** RACE *** 116 "mergesort.MSort.m_iArray" 107 11 WRITE * 132 "mergesort.MSort.m_iArray" 230 14 READ ***

*** RACE *** 116 "mergesort.MSort.m_iArray" 107 11 WRITE * 133 "mergesort.MSort.m_iArray" 235 14 READ ***

*** RACE *** 84 "mergesort.MSort.m_iCurrentThreadsAlive" 48 10 READ * 138 "mergesort.MSort.m_iCurrentThreadsAlive" 41 11 WRITE ***

*** RACE *** 76 "mergesort.MSort.m_iCurrentThreadsAlive" 41 1 WRITE * 84 "mergesort.MSort.m_iCurrentThreadsAlive" 48 10 READ ***

*** RACE *** 87 "mergesort.MSort.m_iCurrentThreadsAlive" 41 1 READ * 102 "mergesort.MSort.m_iCurrentThreadsAlive" 41 10 WRITE ***

*** AV-I --- 113 "mergesort.MSort.m_iCurrentThreadsAlive" 41 10 READ * 76 "mergesort.MSort.m_iCurrentThreadsAlive" 41 1 WRITE * 114 "mergesort.MSort.m_iCurrentThreadsAlive" 41 10 WRITE ***

-------------------------------------

Number of Threads: 6
Number of Shared Variables: 7
Number of Lock Nodes: 19
Number of Message Nodes: 11
Number of Non-Method Entry/Exit Nodes: 144
Number of Read/Write Nodes: 114
Number of Total Nodes: 212

Number of Races: 7
Number of Atomicity Violations: 1
Number of ASVs: 0