OpenSDV
/
original_kernel
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
original_kernel/tools/memory-model/litmus-tests/CoWW+poonceonce.litmus

12 lines
92 B
Plaintext
Raw Blame History

C CoWW+poonceonce
{}
P0(int *x)
{
WRITE_ONCE(*x, 1);
WRITE_ONCE(*x, 2);
}
exists (x=1)
Reference in New Issue View Git Blame Copy Permalink