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

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

*** RACE *** 109 "shop.Shop.items" 105 1 READ * 10 "shop.Shop.items" 31 9 WRITE ***

*** RACE *** 115 "shop.Shop.items" 119 1 READ * 123 "shop.Shop.items" 27 10 WRITE ***

*** RACE *** 109 "shop.Shop.items" 105 1 READ * 123 "shop.Shop.items" 27 10 WRITE ***

*** RACE *** 115 "shop.Shop.items" 119 1 READ * 10 "shop.Shop.items" 31 9 WRITE ***

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

Number of Threads: 4
Number of Shared Variables: 1
Number of Lock Nodes: 128
Number of Message Nodes: 10
Number of Non-Method Entry/Exit Nodes: 288
Number of Read/Write Nodes: 150
Number of Total Nodes: 432

Number of Races: 4
Number of Atomicity Violations: 0
Number of ASVs: 0
Number of Real Patterns: 0