
Conflicting load by thread 1/1 at 0x........ size 4
   at 0x........: main (tc01_simple_race.c:28)
Location 0x........ is 0 bytes inside global var "x"
declared at tc01_simple_race.c:9
Other segment start (thread 0/2)
   (thread finished, call stack no longer available)
Other segment end (thread 0/2)
   (thread finished, call stack no longer available)

Conflicting store by thread 1/1 at 0x........ size 4
   at 0x........: main (tc01_simple_race.c:28)
Location 0x........ is 0 bytes inside global var "x"
declared at tc01_simple_race.c:9
Other segment start (thread 0/2)
   (thread finished, call stack no longer available)
Other segment end (thread 0/2)
   (thread finished, call stack no longer available)

ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
