*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] *** -------------------------------------- *** RACE *** 12 "critical.Critical.turn" 63 10 WRITE * 5 "critical.Critical.turn" 50 9 READ *** *** RACE *** 5 "critical.Critical.turn" 50 9 READ * 12 "critical.Critical.turn" 63 10 WRITE *** *** RACE *** 6 "critical.Critical.turn" 53 9 WRITE * 11 "critical.Critical.turn" 61 10 READ *** *** RACE *** 12 "critical.Critical.turn" 63 10 WRITE * 4 "critical.Critical.turn" 48 9 WRITE *** *** RACE *** 5 "critical.Critical.turn" 50 9 READ * 10 "critical.Critical.turn" 59 10 WRITE *** *** RACE *** 11 "critical.Critical.turn" 61 10 READ * 4 "critical.Critical.turn" 48 9 WRITE *** *** RACE *** 4 "critical.Critical.turn" 48 9 WRITE * 11 "critical.Critical.turn" 61 10 READ *** *** RACE *** 10 "critical.Critical.turn" 59 10 WRITE * 4 "critical.Critical.turn" 48 9 WRITE *** *** RACE *** 10 "critical.Critical.turn" 59 10 WRITE * 6 "critical.Critical.turn" 53 9 WRITE *** *** RACE *** 4 "critical.Critical.turn" 48 9 WRITE * 12 "critical.Critical.turn" 63 10 WRITE *** *** RACE *** 6 "critical.Critical.turn" 53 9 WRITE * 10 "critical.Critical.turn" 59 10 WRITE *** *** RACE *** 10 "critical.Critical.turn" 59 10 WRITE * 5 "critical.Critical.turn" 50 9 READ *** *** RACE *** 11 "critical.Critical.turn" 61 10 READ * 6 "critical.Critical.turn" 53 9 WRITE *** *** RACE *** 4 "critical.Critical.turn" 48 9 WRITE * 10 "critical.Critical.turn" 59 10 WRITE *** *** RACE *** 12 "critical.Critical.turn" 63 10 WRITE * 6 "critical.Critical.turn" 53 9 WRITE *** *** RACE *** 6 "critical.Critical.turn" 53 9 WRITE * 12 "critical.Critical.turn" 63 10 WRITE *** ------------------------------------- Number of Threads: 3 Number of Shared Variables: 1 Number of Lock Nodes: 0 Number of Message Nodes: 9 Number of Non-Method Entry/Exit Nodes: 15 Number of Read/Write Nodes: 6 Number of Total Nodes: 21 Number of Races: 16 Number of Atomicity Violations: 0 Number of ASVs: 0