*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] *** -------------------------------------- *** RACE *** 40 "buggyprogram.BuggyProgram.randomNumber" 328 9 READ * 64 "buggyprogram.BuggyProgram.randomNumber" 350 10 WRITE *** *** RACE *** 35 "buggyprogram.BuggyProgram.randomNumber" 350 9 WRITE * 69 "buggyprogram.BuggyProgram.randomNumber" 328 10 READ *** *** RACE *** 55 "buggyprogram.BuggyProgram.randomNumber" 382 9 READ * 64 "buggyprogram.BuggyProgram.randomNumber" 350 10 WRITE *** *** RACE *** 35 "buggyprogram.BuggyProgram.randomNumber" 350 9 WRITE * 93 "buggyprogram.BuggyProgram.randomNumber" 382 10 READ *** *** RACE *** 35 "buggyprogram.BuggyProgram.randomNumber" 350 9 WRITE * 64 "buggyprogram.BuggyProgram.randomNumber" 350 10 WRITE *** *** RACE *** 35 "buggyprogram.BuggyProgram.randomNumber" 350 9 WRITE * 65 "buggyprogram.BuggyProgram.randomNumber" 351 10 READ *** *** RACE *** 36 "buggyprogram.BuggyProgram.randomNumber" 351 9 READ * 64 "buggyprogram.BuggyProgram.randomNumber" 350 10 WRITE *** *** RACE *** 35 "buggyprogram.BuggyProgram.randomNumber" 350 9 WRITE * 88 "buggyprogram.BuggyProgram.randomNumber" 367 10 READ *** *** RACE *** 50 "buggyprogram.BuggyProgram.randomNumber" 367 9 READ * 64 "buggyprogram.BuggyProgram.randomNumber" 350 10 WRITE *** *** AV-I --- 64 "buggyprogram.BuggyProgram.randomNumber" 350 10 WRITE * 35 "buggyprogram.BuggyProgram.randomNumber" 350 9 WRITE * 65 "buggyprogram.BuggyProgram.randomNumber" 351 10 READ *** ------------------------------------- Number of Threads: 4 Number of Shared Variables: 5 Number of Lock Nodes: 24 Number of Message Nodes: 13 Number of Non-Method Entry/Exit Nodes: 187 Number of Read/Write Nodes: 150 Number of Total Nodes: 223 Number of Races: 9 Number of Atomicity Violations: 1 Number of ASVs: 0