comparison tests-custom/src/main/resources/org/openjdk/jcstress/desc/causality.xml @ 66:d7f7a93800e4

Rewire the grading levels: introduce ACCEPTABLE_SPEC, remove REQUIRED, renames.
author shade
date Thu, 28 Nov 2013 19:10:32 +0400
parents dd797d922f1c
children 7a9f5f818d94
comparison
equal deleted inserted replaced
0:eee6744e7a7d 1:96334141c1f9
30 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by> 30 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
31 <description>Checks if re-reading the field picks up the same value.</description> 31 <description>Checks if re-reading the field picks up the same value.</description>
32 <case> 32 <case>
33 <match>[0, 1]</match> 33 <match>[0, 1]</match>
34 <match>[1, 0]</match> 34 <match>[1, 0]</match>
35 <expect>KNOWN_ACCEPTABLE</expect> 35 <expect>ACCEPTABLE_INTERESTING</expect>
36 <description> 36 <description>
37 There is the race on the field. Second read can still read the default value. 37 There is the race on the field. Second read can still read the default value.
38 </description> 38 </description>
39 </case> 39 </case>
40 <case> 40 <case>
56 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by> 56 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
57 <description>Checks if re-reading the field picks up the same value.</description> 57 <description>Checks if re-reading the field picks up the same value.</description>
58 <case> 58 <case>
59 <match>[0.0, 1.0]</match> 59 <match>[0.0, 1.0]</match>
60 <match>[1.0, 0.0]</match> 60 <match>[1.0, 0.0]</match>
61 <expect>KNOWN_ACCEPTABLE</expect> 61 <expect>ACCEPTABLE_INTERESTING</expect>
62 <description> 62 <description>
63 There is the race on the field. Second read can still read the default value. 63 There is the race on the field. Second read can still read the default value.
64 </description> 64 </description>
65 </case> 65 </case>
66 <case> 66 <case>
82 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by> 82 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
83 <description>Checks if re-reading the field picks up the same value.</description> 83 <description>Checks if re-reading the field picks up the same value.</description>
84 <case> 84 <case>
85 <match>[A, B]</match> 85 <match>[A, B]</match>
86 <match>[B, A]</match> 86 <match>[B, A]</match>
87 <expect>KNOWN_ACCEPTABLE</expect> 87 <expect>ACCEPTABLE_INTERESTING</expect>
88 <description> 88 <description>
89 There is the race on the field. Second read can still read the default value. 89 There is the race on the field. Second read can still read the default value.
90 </description> 90 </description>
91 </case> 91 </case>
92 <case> 92 <case>
108 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by> 108 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
109 <description>Checks if re-reading the field picks up the same value.</description> 109 <description>Checks if re-reading the field picks up the same value.</description>
110 <case> 110 <case>
111 <match>[true, false]</match> 111 <match>[true, false]</match>
112 <match>[false, true]</match> 112 <match>[false, true]</match>
113 <expect>KNOWN_ACCEPTABLE</expect> 113 <expect>ACCEPTABLE_INTERESTING</expect>
114 <description> 114 <description>
115 There is the race on the field. Second read can still read the default value. 115 There is the race on the field. Second read can still read the default value.
116 </description> 116 </description>
117 </case> 117 </case>
118 <case> 118 <case>