*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] *** -------------------------------------- *** RACE --- "benchmarks.montecarlo.Universal.UNIVERSAL_DEBUG" --- 46 63 1 WRITE * 47 63 9 WRITE *** ------------------------------------- Number of Threads: 2 Number of Shared Variables: 9 Number of Lock Nodes: 22 Number of Message Nodes: 4 Number of Non-Method Entry/Exit Nodes: 328 Number of Read/Write Nodes: 302 Number of Total Nodes: 7650 Number of Races: 1 Number of Atomicity Violations: 0 Number of ASVs: 0