2 Conflicting
load by thread
1 at
0x........ size
4
3 at
0x........
: main
(tc01_simple_race.c
:28)
4 Location
0x........ is
0 bytes inside global var
"x"
5 declared at tc01_simple_race.c
:9
7 Conflicting store by thread
1 at
0x........ size
4
8 at
0x........
: main
(tc01_simple_race.c
:28)
9 Location
0x........ is
0 bytes inside global var
"x"
10 declared at tc01_simple_race.c
:9
13 ERROR SUMMARY
: 2 errors from
2 contexts
(suppressed
: 0 from
0)