Note: File does not exist in v3.15.
1C CoWW+poonceonce
2
3(*
4 * Result: Never
5 *
6 * Test of write-write coherence, that is, whether or not two successive
7 * writes to the same variable are ordered.
8 *)
9
10{}
11
12P0(int *x)
13{
14 WRITE_ONCE(*x, 1);
15 WRITE_ONCE(*x, 2);
16}
17
18exists (x=1)
