Skip to content

Commit 83e911a

Browse files
gonzalobggonzalobg
committed
Test impact of cpp2w
1 parent e7002b9 commit 83e911a

162 files changed

Lines changed: 586 additions & 791 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎tests/dat3m/auto/arfna.litmus.expected‎

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,10 @@
11
Test arfna Allowed
2-
States 2
2+
States 1
33
[x]=0; [y]=0;
4-
[x]=1; [y]=1;
5-
Undef
4+
No
65
Witnesses
7-
Positive: 1 Negative: 1
8-
Flag *undef*
6+
Positive: 0 Negative: 1
97
Condition exists ([x]=1 /\ [y]=1)
10-
Observation arfna Sometimes 1 1
8+
Observation arfna Never 0 1
119
Hash=c69a80006463884aeaf6958f9e74807a
1210

‎tests/dat3m/auto/arfna2.litmus.expected‎

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,10 @@
11
Test arfna_transformed Allowed
2-
States 2
2+
States 1
33
[x]=0; [y]=0;
4-
[x]=1; [y]=1;
5-
Undef
4+
No
65
Witnesses
7-
Positive: 1 Negative: 1
8-
Flag *undef*
6+
Positive: 0 Negative: 1
97
Condition exists ([x]=1 /\ [y]=1)
10-
Observation arfna_transformed Sometimes 1 1
8+
Observation arfna_transformed Never 0 1
119
Hash=fbb437dbcdc8a88611a71fe92622c1d5
1210

‎tests/dat3m/auto/b+acq+rel.litmus.expected‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
Test b+acq+rel Allowed
2-
States 4
2+
States 3
33
0:r0=0; 1:r1=0;
44
0:r0=0; 1:r1=1;
55
0:r0=1; 1:r1=0;
6-
0:r0=1; 1:r1=1;
7-
Ok
6+
No
87
Witnesses
9-
Positive: 1 Negative: 3
8+
Positive: 0 Negative: 3
109
Condition exists (0:r0=1 /\ 1:r1=1)
11-
Observation b+acq+rel Sometimes 1 3
10+
Observation b+acq+rel Never 0 3
1211
Hash=0f7142d4a35f9e4a34d811105d759b25
1312

‎tests/dat3m/auto/b+acq+rlx.litmus.expected‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
Test b+acq+rlx Allowed
2-
States 4
2+
States 3
33
0:r0=0; 1:r1=0;
44
0:r0=0; 1:r1=1;
55
0:r0=1; 1:r1=0;
6-
0:r0=1; 1:r1=1;
7-
Ok
6+
No
87
Witnesses
9-
Positive: 1 Negative: 3
8+
Positive: 0 Negative: 3
109
Condition exists (0:r0=1 /\ 1:r1=1)
11-
Observation b+acq+rlx Sometimes 1 3
10+
Observation b+acq+rlx Never 0 3
1211
Hash=a6ddbce34f4ed83e7398a60863004d24
1312

‎tests/dat3m/auto/b+acq+sc.litmus.expected‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
Test b+acq+sc Allowed
2-
States 4
2+
States 3
33
0:r0=0; 1:r1=0;
44
0:r0=0; 1:r1=1;
55
0:r0=1; 1:r1=0;
6-
0:r0=1; 1:r1=1;
7-
Ok
6+
No
87
Witnesses
9-
Positive: 1 Negative: 3
8+
Positive: 0 Negative: 3
109
Condition exists (0:r0=1 /\ 1:r1=1)
11-
Observation b+acq+sc Sometimes 1 3
10+
Observation b+acq+sc Never 0 3
1211
Hash=f4c9acce455da0095bd9a81f9398dda3
1312

‎tests/dat3m/auto/b+rlx+rel.litmus.expected‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
Test b+rlx+rel Allowed
2-
States 4
2+
States 3
33
0:r0=0; 1:r1=0;
44
0:r0=0; 1:r1=1;
55
0:r0=1; 1:r1=0;
6-
0:r0=1; 1:r1=1;
7-
Ok
6+
No
87
Witnesses
9-
Positive: 1 Negative: 3
8+
Positive: 0 Negative: 3
109
Condition exists (0:r0=1 /\ 1:r1=1)
11-
Observation b+rlx+rel Sometimes 1 3
10+
Observation b+rlx+rel Never 0 3
1211
Hash=f4364386d981d551de45022ce1bd6389
1312

‎tests/dat3m/auto/b+rlx+rlx.litmus.expected‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
Test b+rlx+rlx Allowed
2-
States 4
2+
States 3
33
0:r0=0; 1:r1=0;
44
0:r0=0; 1:r1=1;
55
0:r0=1; 1:r1=0;
6-
0:r0=1; 1:r1=1;
7-
Ok
6+
No
87
Witnesses
9-
Positive: 1 Negative: 3
8+
Positive: 0 Negative: 3
109
Condition exists (0:r0=1 /\ 1:r1=1)
11-
Observation b+rlx+rlx Sometimes 1 3
10+
Observation b+rlx+rlx Never 0 3
1211
Hash=263307ea63cba772b35ffa9562467a92
1312

‎tests/dat3m/auto/b+rlx+sc.litmus.expected‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
Test b+rlx+sc Allowed
2-
States 4
2+
States 3
33
0:r0=0; 1:r1=0;
44
0:r0=0; 1:r1=1;
55
0:r0=1; 1:r1=0;
6-
0:r0=1; 1:r1=1;
7-
Ok
6+
No
87
Witnesses
9-
Positive: 1 Negative: 3
8+
Positive: 0 Negative: 3
109
Condition exists (0:r0=1 /\ 1:r1=1)
11-
Observation b+rlx+sc Sometimes 1 3
10+
Observation b+rlx+sc Never 0 3
1211
Hash=fd321ba779c3afaa5a5f39644ed84c62
1312

‎tests/dat3m/auto/b+sc+rel.litmus.expected‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
Test b+sc+rel Allowed
2-
States 4
2+
States 3
33
0:r0=0; 1:r1=0;
44
0:r0=0; 1:r1=1;
55
0:r0=1; 1:r1=0;
6-
0:r0=1; 1:r1=1;
7-
Ok
6+
No
87
Witnesses
9-
Positive: 1 Negative: 3
8+
Positive: 0 Negative: 3
109
Condition exists (0:r0=1 /\ 1:r1=1)
11-
Observation b+sc+rel Sometimes 1 3
10+
Observation b+sc+rel Never 0 3
1211
Hash=f88964bb60588f8339ee6ec8fc43c303
1312

‎tests/dat3m/auto/b+sc+rlx.litmus.expected‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
Test b+sc+rlx Allowed
2-
States 4
2+
States 3
33
0:r0=0; 1:r1=0;
44
0:r0=0; 1:r1=1;
55
0:r0=1; 1:r1=0;
6-
0:r0=1; 1:r1=1;
7-
Ok
6+
No
87
Witnesses
9-
Positive: 1 Negative: 3
8+
Positive: 0 Negative: 3
109
Condition exists (0:r0=1 /\ 1:r1=1)
11-
Observation b+sc+rlx Sometimes 1 3
10+
Observation b+sc+rlx Never 0 3
1211
Hash=307b4f4af7807a1e790f80e56e464e74
1312

0 commit comments

Comments
 (0)