*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] *** -------------------------------------- *** RACE *** 37 "account.Account.Balance" 67 1 READ * 13 "account.Account.Balance" 96 9 WRITE *** *** RACE *** 15 "account.Bank.Bank_Total" 97 9 WRITE * 41 "account.Bank.Bank_Total" 76 1 READ *** *** RACE *** 40 "account.Bank.Bank_Total" 75 1 READ * 15 "account.Bank.Bank_Total" 97 9 WRITE *** *** RACE *** 14 "account.Bank.Bank_Total" 97 9 READ * 22 "account.Bank.Bank_Total" 97 10 WRITE *** *** RACE *** 41 "account.Bank.Bank_Total" 76 1 READ * 15 "account.Bank.Bank_Total" 97 9 WRITE *** *** RACE *** 15 "account.Bank.Bank_Total" 97 9 WRITE * 40 "account.Bank.Bank_Total" 75 1 READ *** ------------------------------------- Number of Threads: 3 Number of Shared Variables: 4 Number of Lock Nodes: 0 Number of Message Nodes: 7 Number of Non-Method Entry/Exit Nodes: 42 Number of Read/Write Nodes: 35 Number of Total Nodes: 68 Number of Races: 6 Number of Atomicity Violations: 0 Number of ASVs: 0