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

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

*** RACE *** 41 "manager.Manager.flag" 18 9 WRITE * 20 "manager.Manager.flag" 50 10 WRITE ***

*** RACE *** 41 "manager.Manager.flag" 18 9 WRITE * 33 "manager.Manager.flag" 30 10 READ ***

*** RACE *** 7 "manager.Manager.flag" 11 9 READ * 20 "manager.Manager.flag" 50 10 WRITE ***

*** RACE *** 20 "manager.Manager.flag" 50 10 WRITE * 35 "manager.Manager.flag" 15 11 READ ***

*** RACE *** 40 "manager.Manager.request_counter" 17 9 WRITE * 32 "manager.Manager.request_counter" 30 10 READ ***

*** RACE *** 181 "manager.Manager.flag" 15 10 READ * 204 "manager.Manager.flag" 52 1 WRITE ***

*** RACE *** 40 "manager.Manager.request_counter" 17 9 WRITE * 12 "manager.Manager.request_counter" 24 10 READ ***

*** RACE *** 20 "manager.Manager.flag" 50 10 WRITE * 90 "manager.Manager.flag" 30 11 READ ***

*** RACE *** 20 "manager.Manager.flag" 50 10 WRITE * 81 "manager.Manager.flag" 50 11 WRITE ***

*** RACE *** 20 "manager.Manager.flag" 50 10 WRITE * 41 "manager.Manager.flag" 18 9 WRITE ***

*** RACE *** 12 "manager.Manager.request_counter" 24 10 READ * 40 "manager.Manager.request_counter" 17 9 WRITE ***

*** RACE *** 33 "manager.Manager.flag" 30 10 READ * 81 "manager.Manager.flag" 50 11 WRITE ***

*** RACE *** 33 "manager.Manager.flag" 30 10 READ * 41 "manager.Manager.flag" 18 9 WRITE ***

*** RACE *** 41 "manager.Manager.flag" 18 9 WRITE * 10 "manager.Manager.flag" 15 10 READ ***

*** RACE *** 20 "manager.Manager.flag" 50 10 WRITE * 7 "manager.Manager.flag" 11 9 READ ***

*** RACE *** 32 "manager.Manager.request_counter" 30 10 READ * 40 "manager.Manager.request_counter" 17 9 WRITE ***

*** RACE *** 10 "manager.Manager.flag" 15 10 READ * 41 "manager.Manager.flag" 18 9 WRITE ***

*** RACE *** 10 "manager.Manager.flag" 15 10 READ * 81 "manager.Manager.flag" 50 11 WRITE ***

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

Number of Threads: 5
Number of Shared Variables: 4
Number of Lock Nodes: 68
Number of Message Nodes: 17
Number of Non-Method Entry/Exit Nodes: 206
Number of Read/Write Nodes: 121
Number of Total Nodes: 258

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