|
| Implementations | |||||||
| Tests | BaseX 8.5 beta XQ31 (QT3 vCVS) |
Saxon-EE 9.7.0.11 XP31 (QT3 v0.6) |
Saxon-EE 9.7.0.11 XQ31 (QT3 v0.6) |
XmlPrime 4.0.0.16079 XP31 (QT3 vCVS) |
XmlPrime 4.0.0.26293 XQ31 (QT3 vCVS) |
XmlPrime 4.0.0.27704 XQX31 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|
| prod-GeneralComp.le | 108/108 | 57/57 | 108/108 | 57/57 | 108/108 | 108/57 | 0/6 |
| generalexpression298[+]
X generalexpression298: Created on: 2005-06-01 Spec Dependencies: Test: () <= () |
pass | pass | pass | pass | pass | pass | |
| generalexpression299[+]
X generalexpression299: Created on: 2005-06-01 Spec Dependencies: Test: () <= 10000 |
pass | pass | pass | pass | pass | pass | |
| generalexpression300[+]
X generalexpression300: Created on: 2005-06-01 Spec Dependencies: Test: () <= (50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression301[+]
X generalexpression301: Created on: 2005-06-01 Spec Dependencies: Test: () <= (10000,50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression302[+]
X generalexpression302: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: () <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression303[+]
X generalexpression303: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: () <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression304[+]
X generalexpression304: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: () <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression305[+]
X generalexpression305: Created on: 2005-06-01 Spec Dependencies: Test: () <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression306[+]
X generalexpression306: Created on: 2005-06-01 Spec Dependencies: Test: () <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression307[+]
X generalexpression307: Created on: 2005-06-01 Spec Dependencies: Test: () <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression308[+]
X generalexpression308: Created on: 2005-06-01 Spec Dependencies: Test: 10000 <= () |
pass | pass | pass | pass | pass | pass | |
| generalexpression309[+]
X generalexpression309: Created on: 2005-06-01 Spec Dependencies: Test: 10000 <= (50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression310[+]
X generalexpression310: Created on: 2005-06-01 Spec Dependencies: Test: 10000 <= (10000,50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression311[+]
X generalexpression311: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: 10000 <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression312[+]
X generalexpression312: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: 10000 <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression313[+]
X generalexpression313: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: 10000 <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression314[+]
X generalexpression314: Created on: 2005-06-01 Spec Dependencies: Test: 10000 <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression315[+]
X generalexpression315: Created on: 2005-06-01 Spec Dependencies: Test: 10000 <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression316[+]
X generalexpression316: Created on: 2005-06-01 Spec Dependencies: Test: 10000 <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression317[+]
X generalexpression317: Created on: 2005-06-01 Spec Dependencies: Test: (50000) <= () |
pass | pass | pass | pass | pass | pass | |
| generalexpression318[+]
X generalexpression318: Created on: 2005-06-01 Spec Dependencies: Test: (50000) <= 10000 |
pass | pass | pass | pass | pass | pass | |
| generalexpression319[+]
X generalexpression319: Created on: 2005-06-01 Spec Dependencies: Test: (50000) <= (50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression320[+]
X generalexpression320: Created on: 2005-06-01 Spec Dependencies: Test: (50000) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression321[+]
X generalexpression321: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (50000) <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression322[+]
X generalexpression322: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (50000) <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression323[+]
X generalexpression323: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (50000) <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression324[+]
X generalexpression324: Created on: 2005-06-01 Spec Dependencies: Test: (50000) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression325[+]
X generalexpression325: Created on: 2005-06-01 Spec Dependencies: Test: (50000) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression326[+]
X generalexpression326: Created on: 2005-06-01 Spec Dependencies: Test: (50000) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression327[+]
X generalexpression327: Created on: 2005-06-01 Spec Dependencies: Test: (10000,50000) <= () |
pass | pass | pass | pass | pass | pass | |
| generalexpression328[+]
X generalexpression328: Created on: 2005-06-01 Spec Dependencies: Test: (10000,50000) <= 10000 |
pass | pass | pass | pass | pass | pass | |
| generalexpression329[+]
X generalexpression329: Created on: 2005-06-01 Spec Dependencies: Test: (10000,50000) <= (50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression330[+]
X generalexpression330: Created on: 2005-06-01 Spec Dependencies: Test: (10000,50000) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression331[+]
X generalexpression331: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (10000,50000) <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression332[+]
X generalexpression332: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (10000,50000) <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression333[+]
X generalexpression333: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (10000,50000) <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression334[+]
X generalexpression334: Created on: 2005-06-01 Spec Dependencies: Test: (10000,50000) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression335[+]
X generalexpression335: Created on: 2005-06-01 Spec Dependencies: Test: (10000,50000) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression336[+]
X generalexpression336: Created on: 2005-06-01 Spec Dependencies: Test: (10000,50000) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression337[+]
X generalexpression337: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= () |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression338[+]
X generalexpression338: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= 10000 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression339[+]
X generalexpression339: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= (50000) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression340[+]
X generalexpression340: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= (10000,50000) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression341[+]
X generalexpression341: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression342[+]
X generalexpression342: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression343[+]
X generalexpression343: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression344[+]
X generalexpression344: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= (/works/employee[1]/hours[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression345[+]
X generalexpression345: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression346[+]
X generalexpression346: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: <a>10000</a> <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression347[+]
X generalexpression347: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= () |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression348[+]
X generalexpression348: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= 10000 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression349[+]
X generalexpression349: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= (50000) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression350[+]
X generalexpression350: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= (10000,50000) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression351[+]
X generalexpression351: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression352[+]
X generalexpression352: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression353[+]
X generalexpression353: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression354[+]
X generalexpression354: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= (/works/employee[1]/hours[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression355[+]
X generalexpression355: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression356[+]
X generalexpression356: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression357[+]
X generalexpression357: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= () |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression358[+]
X generalexpression358: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= 10000 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression359[+]
X generalexpression359: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= (50000) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression360[+]
X generalexpression360: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= (10000,50000) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression361[+]
X generalexpression361: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression362[+]
X generalexpression362: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression363[+]
X generalexpression363: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression364[+]
X generalexpression364: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= (/works/employee[1]/hours[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression365[+]
X generalexpression365: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression366[+]
X generalexpression366: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (<a>10000</a>,<b>50000</b>) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression367[+]
X generalexpression367: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1]) <= () |
pass | pass | pass | pass | pass | pass | |
| generalexpression368[+]
X generalexpression368: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1]) <= 10000 |
pass | pass | pass | pass | pass | pass | |
| generalexpression369[+]
X generalexpression369: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1]) <= (50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression370[+]
X generalexpression370: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1]) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression371[+]
X generalexpression371: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (/works/employee[1]/hours[1]) <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression372[+]
X generalexpression372: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (/works/employee[1]/hours[1]) <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression373[+]
X generalexpression373: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (/works/employee[1]/hours[1]) <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression374[+]
X generalexpression374: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1]) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression375[+]
X generalexpression375: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1]) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression376[+]
X generalexpression376: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1]) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression377[+]
X generalexpression377: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= () |
pass | pass | pass | pass | pass | pass | |
| generalexpression378[+]
X generalexpression378: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= 10000 |
pass | pass | pass | pass | pass | pass | |
| generalexpression379[+]
X generalexpression379: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression380[+]
X generalexpression380: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression381[+]
X generalexpression381: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression382[+]
X generalexpression382: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression383[+]
X generalexpression383: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression384[+]
X generalexpression384: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression385[+]
X generalexpression385: Created on: 2005-06-01 Spec Dependencies: Test: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression386[+]
X generalexpression386: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1],$works/works/employee[6]/hours[1]) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression387[+]
X generalexpression387: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= () |
pass | pass | pass | pass | pass | pass | |
| generalexpression388[+]
X generalexpression388: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= 10000 |
pass | pass | pass | pass | pass | pass | |
| generalexpression389[+]
X generalexpression389: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= (50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression390[+]
X generalexpression390: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | |
| generalexpression391[+]
X generalexpression391: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= <a>10000</a> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression392[+]
X generalexpression392: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= (<a>10000</a>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression393[+]
X generalexpression393: Created on: 2005-06-01 Spec Dependencies: spec = XQ10+ Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= (<a>10000</a>,<b>50000</b>) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| generalexpression394[+]
X generalexpression394: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= ($works/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression395[+]
X generalexpression395: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= ($works/works/employee[1]/hours[1],$works/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | |
| generalexpression396[+]
X generalexpression396: Created on: 2005-06-01 Spec Dependencies: Test: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | |
| lessthaneqonanyuri-1[+]
X lessthaneqonanyuri-1: Created on: 2006-09-25 Spec Dependencies: Test: (xs:anyURI("http://www.example/com")) <= (xs:anyURI("http://www.example/com")) |
pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-1[+]
X K-GenCompLTEQ-1: Created on: 2007-11-26 Spec Dependencies: Test: not(() <= () ) |
pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-2[+]
X K-GenCompLTEQ-2: Created on: 2007-11-26 Spec Dependencies: Test: not(1 <= () ) |
pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-3[+]
X K-GenCompLTEQ-3: Created on: 2007-11-26 Spec Dependencies: Test: not(() <= 1 ) |
pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-4[+]
X K-GenCompLTEQ-4: Created on: 2007-11-26 Spec Dependencies: Test: 1 <= 1 |
pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-5[+]
X K-GenCompLTEQ-5: Created on: 2007-11-26 Spec Dependencies: Test: xs:untypedAtomic("false") <= false() |
pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-6[+]
X K-GenCompLTEQ-6: Created on: 2007-11-26 Spec Dependencies: Test: false() <= xs:untypedAtomic("false") |
pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-7[+]
X K-GenCompLTEQ-7: Created on: 2007-11-26 Spec Dependencies: Test: xs:untypedAtomic("false") <= false() |
pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-8[+]
X K-GenCompLTEQ-8: Created on: 2007-11-26 Spec Dependencies: Test: true() <= xs:untypedAtomic("true") |
pass | pass | pass | pass | pass | pass | |