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

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

*** RACE *** 22 "loader.NewThread.array" 34 9 WRITE * 26 "loader.NewThread.array" 42 10 READ ***

*** RACE *** 16 "loader.NewThread.array" 42 9 READ * 32 "loader.NewThread.array" 34 10 WRITE ***

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

Number of Threads: 4
Number of Shared Variables: 2
Number of Lock Nodes: 6
Number of Message Nodes: 10
Number of Non-Method Entry/Exit Nodes: 39
Number of Read/Write Nodes: 23
Number of Total Nodes: 51

Number of Races: 2
Number of Atomicity Violations: 0
Number of ASVs: 0