|
| 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) |
|
|---|---|---|---|---|---|---|---|
| op-numeric-less-than | 183/183 | 154/154 | 183/183 | 154/154 | 183/183 | 183/154 | 0/6 |
| op-numeric-less-thanint2args-1[+]
X op-numeric-less-thanint2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("-2147483648") lt xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-2[+]
X op-numeric-less-thanint2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("-1873914410") lt xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-3[+]
X op-numeric-less-thanint2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("2147483647") lt xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-4[+]
X op-numeric-less-thanint2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("-2147483648") lt xs:int("-1873914410") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-5[+]
X op-numeric-less-thanint2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("-2147483648") lt xs:int("2147483647") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-6[+]
X op-numeric-less-thanint2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("-2147483648") ge xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-7[+]
X op-numeric-less-thanint2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("-1873914410") ge xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-8[+]
X op-numeric-less-thanint2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("2147483647") ge xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-9[+]
X op-numeric-less-thanint2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("-2147483648") ge xs:int("-1873914410") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-10[+]
X op-numeric-less-thanint2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:int("-2147483648") ge xs:int("2147483647") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-1[+]
X op-numeric-less-thanintg2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("-999999999999999999") lt xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-2[+]
X op-numeric-less-thanintg2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("830993497117024304") lt xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-3[+]
X op-numeric-less-thanintg2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("999999999999999999") lt xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-4[+]
X op-numeric-less-thanintg2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("-999999999999999999") lt xs:integer("830993497117024304") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-5[+]
X op-numeric-less-thanintg2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("-999999999999999999") lt xs:integer("999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-6[+]
X op-numeric-less-thanintg2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("-999999999999999999") ge xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-7[+]
X op-numeric-less-thanintg2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("830993497117024304") ge xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-8[+]
X op-numeric-less-thanintg2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("999999999999999999") ge xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-9[+]
X op-numeric-less-thanintg2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("-999999999999999999") ge xs:integer("830993497117024304") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-10[+]
X op-numeric-less-thanintg2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:integer("-999999999999999999") ge xs:integer("999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-1[+]
X op-numeric-less-thandec2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("-999999999999999999") lt xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-2[+]
X op-numeric-less-thandec2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("617375191608514839") lt xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-3[+]
X op-numeric-less-thandec2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("999999999999999999") lt xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-4[+]
X op-numeric-less-thandec2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("-999999999999999999") lt xs:decimal("617375191608514839") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-5[+]
X op-numeric-less-thandec2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("-999999999999999999") lt xs:decimal("999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-6[+]
X op-numeric-less-thandec2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("-999999999999999999") ge xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-7[+]
X op-numeric-less-thandec2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("617375191608514839") ge xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-8[+]
X op-numeric-less-thandec2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("999999999999999999") ge xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-9[+]
X op-numeric-less-thandec2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("-999999999999999999") ge xs:decimal("617375191608514839") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-10[+]
X op-numeric-less-thandec2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:decimal("-999999999999999999") ge xs:decimal("999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-1[+]
X op-numeric-less-thandbl2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("-1.7976931348623157E308") lt xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-2[+]
X op-numeric-less-thandbl2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("0") lt xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-3[+]
X op-numeric-less-thandbl2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("1.7976931348623157E308") lt xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-4[+]
X op-numeric-less-thandbl2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("-1.7976931348623157E308") lt xs:double("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-5[+]
X op-numeric-less-thandbl2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("-1.7976931348623157E308") lt xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-6[+]
X op-numeric-less-thandbl2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("-1.7976931348623157E308") ge xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-7[+]
X op-numeric-less-thandbl2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("0") ge xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-8[+]
X op-numeric-less-thandbl2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("1.7976931348623157E308") ge xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-9[+]
X op-numeric-less-thandbl2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("-1.7976931348623157E308") ge xs:double("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-10[+]
X op-numeric-less-thandbl2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:double("-1.7976931348623157E308") ge xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-1[+]
X op-numeric-less-thanflt2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("-3.4028235E38") lt xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-2[+]
X op-numeric-less-thanflt2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("0") lt xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-3[+]
X op-numeric-less-thanflt2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("3.4028235E38") lt xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-4[+]
X op-numeric-less-thanflt2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("-3.4028235E38") lt xs:float("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-5[+]
X op-numeric-less-thanflt2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("-3.4028235E38") lt xs:float("3.4028235E38") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-6[+]
X op-numeric-less-thanflt2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("-3.4028235E38") ge xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-7[+]
X op-numeric-less-thanflt2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("0") ge xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-8[+]
X op-numeric-less-thanflt2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("3.4028235E38") ge xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-9[+]
X op-numeric-less-thanflt2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("-3.4028235E38") ge xs:float("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-10[+]
X op-numeric-less-thanflt2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:float("-3.4028235E38") ge xs:float("3.4028235E38") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-1[+]
X op-numeric-less-thanlng2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("-92233720368547758") lt xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-2[+]
X op-numeric-less-thanlng2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("-47175562203048468") lt xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-3[+]
X op-numeric-less-thanlng2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("92233720368547758") lt xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-4[+]
X op-numeric-less-thanlng2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("-92233720368547758") lt xs:long("-47175562203048468") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-5[+]
X op-numeric-less-thanlng2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("-92233720368547758") lt xs:long("92233720368547758") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-6[+]
X op-numeric-less-thanlng2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("-92233720368547758") ge xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-7[+]
X op-numeric-less-thanlng2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("-47175562203048468") ge xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-8[+]
X op-numeric-less-thanlng2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("92233720368547758") ge xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-9[+]
X op-numeric-less-thanlng2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("-92233720368547758") ge xs:long("-47175562203048468") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-10[+]
X op-numeric-less-thanlng2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:long("-92233720368547758") ge xs:long("92233720368547758") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-1[+]
X op-numeric-less-thanusht2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("0") lt xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-2[+]
X op-numeric-less-thanusht2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("44633") lt xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-3[+]
X op-numeric-less-thanusht2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("65535") lt xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-4[+]
X op-numeric-less-thanusht2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("0") lt xs:unsignedShort("44633") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-5[+]
X op-numeric-less-thanusht2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("0") lt xs:unsignedShort("65535") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-6[+]
X op-numeric-less-thanusht2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("0") ge xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-7[+]
X op-numeric-less-thanusht2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("44633") ge xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-8[+]
X op-numeric-less-thanusht2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("65535") ge xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-9[+]
X op-numeric-less-thanusht2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("0") ge xs:unsignedShort("44633") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-10[+]
X op-numeric-less-thanusht2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedShort("0") ge xs:unsignedShort("65535") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-1[+]
X op-numeric-less-thannint2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-999999999999999999") lt xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-2[+]
X op-numeric-less-thannint2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-297014075999096793") lt xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-3[+]
X op-numeric-less-thannint2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-1") lt xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-4[+]
X op-numeric-less-thannint2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-999999999999999999") lt xs:negativeInteger("-297014075999096793") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-5[+]
X op-numeric-less-thannint2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-999999999999999999") lt xs:negativeInteger("-1") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-6[+]
X op-numeric-less-thannint2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-999999999999999999") ge xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-7[+]
X op-numeric-less-thannint2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-297014075999096793") ge xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-8[+]
X op-numeric-less-thannint2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-1") ge xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-9[+]
X op-numeric-less-thannint2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-999999999999999999") ge xs:negativeInteger("-297014075999096793") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-10[+]
X op-numeric-less-thannint2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:negativeInteger("-999999999999999999") ge xs:negativeInteger("-1") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-1[+]
X op-numeric-less-thanpint2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("1") lt xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-2[+]
X op-numeric-less-thanpint2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("52704602390610033") lt xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-3[+]
X op-numeric-less-thanpint2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("999999999999999999") lt xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-4[+]
X op-numeric-less-thanpint2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("1") lt xs:positiveInteger("52704602390610033") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-5[+]
X op-numeric-less-thanpint2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("1") lt xs:positiveInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-6[+]
X op-numeric-less-thanpint2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("1") ge xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-7[+]
X op-numeric-less-thanpint2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("52704602390610033") ge xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-8[+]
X op-numeric-less-thanpint2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("999999999999999999") ge xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-9[+]
X op-numeric-less-thanpint2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("1") ge xs:positiveInteger("52704602390610033") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-10[+]
X op-numeric-less-thanpint2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:positiveInteger("1") ge xs:positiveInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-1[+]
X op-numeric-less-thanulng2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("0") lt xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-2[+]
X op-numeric-less-thanulng2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("130747108607674654") lt xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-3[+]
X op-numeric-less-thanulng2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("184467440737095516") lt xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-4[+]
X op-numeric-less-thanulng2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("0") lt xs:unsignedLong("130747108607674654") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-5[+]
X op-numeric-less-thanulng2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("0") lt xs:unsignedLong("184467440737095516") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-6[+]
X op-numeric-less-thanulng2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("0") ge xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-7[+]
X op-numeric-less-thanulng2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("130747108607674654") ge xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-8[+]
X op-numeric-less-thanulng2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("184467440737095516") ge xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-9[+]
X op-numeric-less-thanulng2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("0") ge xs:unsignedLong("130747108607674654") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-10[+]
X op-numeric-less-thanulng2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:unsignedLong("0") ge xs:unsignedLong("184467440737095516") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-1[+]
X op-numeric-less-thannpi2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("-999999999999999999") lt xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-2[+]
X op-numeric-less-thannpi2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("-475688437271870490") lt xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-3[+]
X op-numeric-less-thannpi2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("0") lt xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-4[+]
X op-numeric-less-thannpi2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("-999999999999999999") lt xs:nonPositiveInteger("-475688437271870490") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-5[+]
X op-numeric-less-thannpi2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("-999999999999999999") lt xs:nonPositiveInteger("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-6[+]
X op-numeric-less-thannpi2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("-999999999999999999") ge xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-7[+]
X op-numeric-less-thannpi2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("-475688437271870490") ge xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-8[+]
X op-numeric-less-thannpi2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("0") ge xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-9[+]
X op-numeric-less-thannpi2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("-999999999999999999") ge xs:nonPositiveInteger("-475688437271870490") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-10[+]
X op-numeric-less-thannpi2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonPositiveInteger("-999999999999999999") ge xs:nonPositiveInteger("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-1[+]
X op-numeric-less-thannni2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("0") lt xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-2[+]
X op-numeric-less-thannni2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("303884545991464527") lt xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-3[+]
X op-numeric-less-thannni2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("999999999999999999") lt xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-4[+]
X op-numeric-less-thannni2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("0") lt xs:nonNegativeInteger("303884545991464527") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-5[+]
X op-numeric-less-thannni2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("0") lt xs:nonNegativeInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-6[+]
X op-numeric-less-thannni2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("0") ge xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-7[+]
X op-numeric-less-thannni2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("303884545991464527") ge xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-8[+]
X op-numeric-less-thannni2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("999999999999999999") ge xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-9[+]
X op-numeric-less-thannni2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("0") ge xs:nonNegativeInteger("303884545991464527") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-10[+]
X op-numeric-less-thannni2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:nonNegativeInteger("0") ge xs:nonNegativeInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-1[+]
X op-numeric-less-thansht2args-1: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("-32768") lt xs:short("-32768") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-2[+]
X op-numeric-less-thansht2args-2: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("-5324") lt xs:short("-32768") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-3[+]
X op-numeric-less-thansht2args-3: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("32767") lt xs:short("-32768") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-4[+]
X op-numeric-less-thansht2args-4: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("-32768") lt xs:short("-5324") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-5[+]
X op-numeric-less-thansht2args-5: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("-32768") lt xs:short("32767") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-6[+]
X op-numeric-less-thansht2args-6: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("-32768") ge xs:short("-32768") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-7[+]
X op-numeric-less-thansht2args-7: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("-5324") ge xs:short("-32768") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-8[+]
X op-numeric-less-thansht2args-8: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("32767") ge xs:short("-32768") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-9[+]
X op-numeric-less-thansht2args-9: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("-32768") ge xs:short("-5324") |
pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-10[+]
X op-numeric-less-thansht2args-10: Created on: 2004-12-13 Spec Dependencies: Test: xs:short("-32768") ge xs:short("32767") |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-1[+]
X K-NumericLT-1: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:integer(-1) lt xs:integer(1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-2[+]
X K-NumericLT-2: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:integer(-1) le xs:integer(1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-3[+]
X K-NumericLT-3: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:decimal(-1) lt xs:decimal(1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-4[+]
X K-NumericLT-4: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:decimal(-1) le xs:decimal(1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-5[+]
X K-NumericLT-5: Created on: 2007-11-26+01:00 Spec Dependencies: Test: 0 lt xs:double("INF") |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-6[+]
X K-NumericLT-6: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:double("-INF") lt 0 |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-7[+]
X K-NumericLT-7: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:double(-1) lt xs:double(1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-8[+]
X K-NumericLT-8: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:double(-1) le xs:double(1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-9[+]
X K-NumericLT-9: Created on: 2007-11-26+01:00 Spec Dependencies: Test: 0 lt xs:float("INF") |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-10[+]
X K-NumericLT-10: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:float("-INF") lt 0 |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-11[+]
X K-NumericLT-11: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:float(-1) lt xs:float(1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-12[+]
X K-NumericLT-12: Created on: 2007-11-26+01:00 Spec Dependencies: Test: xs:float(-1) le xs:float(1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-13[+]
X K-NumericLT-13: Created on: 2007-11-26+01:00 Spec Dependencies: Test: not(xs:double("NaN") lt 1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-14[+]
X K-NumericLT-14: Created on: 2007-11-26+01:00 Spec Dependencies: Test: not(xs:float("NaN") lt 1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-15[+]
X K-NumericLT-15: Created on: 2007-11-26+01:00 Spec Dependencies: Test: not(xs:double("NaN") le 1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-16[+]
X K-NumericLT-16: Created on: 2007-11-26+01:00 Spec Dependencies: Test: not(xs:float("NaN") le 1) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-17[+]
X K-NumericLT-17: Created on: 2007-11-26+01:00 Spec Dependencies: Test: not(1 lt xs:double("NaN")) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-18[+]
X K-NumericLT-18: Created on: 2007-11-26+01:00 Spec Dependencies: Test: not(1 lt xs:float("NaN")) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-19[+]
X K-NumericLT-19: Created on: 2007-11-26+01:00 Spec Dependencies: Test: not(1 le xs:double("NaN")) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-20[+]
X K-NumericLT-20: Created on: 2007-11-26+01:00 Spec Dependencies: Test: not(1 le xs:float("NaN")) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-21[+]
X K-NumericLT-21: Created on: 2007-11-26+01:00 Spec Dependencies: Test: 1 le count((1, 2, 3, timezone-from-time(current-time()), 4)) |
pass | pass | pass | pass | pass | pass | |
| K-NumericLT-22[+]
X K-NumericLT-22: Created on: 2007-11-26+01:00 Spec Dependencies: Test: 0 lt count((1, 2, 3, timezone-from-time(current-time()), 4)) |
pass | pass | pass | pass | pass | pass | |
| K2-NumericLT-1[+]
X K2-NumericLT-1: Created on: 2008-12-04+01:00 Spec Dependencies: Test: xs:unsignedLong("100") lt xs:unsignedLong("18446744073709551615") |
pass | pass | pass | pass | pass | pass | |
| K2-NumericLT-2[+]
X K2-NumericLT-2: Created on: 2008-12-04+01:00 Spec Dependencies: Test: xs:unsignedLong("18446744073709551615") lt xs:unsignedLong("100") |
pass | pass | pass | pass | pass | pass | |
| cbcl-numeric-less-than-001[+]
X cbcl-numeric-less-than-001: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; not( local:square(1e0) lt local:square(2e0) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-002[+]
X cbcl-numeric-less-than-002: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; not( local:square(xs:float(1e0)) lt local:square(xs:float(2e0)) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-003[+]
X cbcl-numeric-less-than-003: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; not( local:square(1.0) lt local:square(2.0) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-004[+]
X cbcl-numeric-less-than-004: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; not( local:square(1) lt local:square(2) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-005[+]
X cbcl-numeric-less-than-005: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; not( local:square(1e0) ge local:square(2e0) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-006[+]
X cbcl-numeric-less-than-006: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; not( local:square(xs:float(1e0)) ge local:square(xs:float(2e0)) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-007[+]
X cbcl-numeric-less-than-007: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; not( local:square(1.0) ge local:square(2.0) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-008[+]
X cbcl-numeric-less-than-008: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; not( local:square(1) ge local:square(2) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-009[+]
X cbcl-numeric-less-than-009: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; not(not( local:square(1e0) lt local:square(2e0) )) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-010[+]
X cbcl-numeric-less-than-010: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; not(not( local:square(xs:float(1e0)) lt local:square(xs:float(2e0)) )) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-011[+]
X cbcl-numeric-less-than-011: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; not(not( local:square(1e0) ge local:square(2e0) )) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-012[+]
X cbcl-numeric-less-than-012: Created on: 2008-05-21 Spec Dependencies: spec = XQ10+ Test: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; not(not( local:square(xs:float(1e0)) ge local:square(xs:float(2e0)) )) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-013[+]
X cbcl-numeric-less-than-013: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return $x + 1 lt 121 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-014[+]
X cbcl-numeric-less-than-014: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return $x - 1 lt 121 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-015[+]
X cbcl-numeric-less-than-015: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 lt $x + 1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-016[+]
X cbcl-numeric-less-than-016: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 lt 1 + $x |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-017[+]
X cbcl-numeric-less-than-017: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return $x + 1 ge 121 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-018[+]
X cbcl-numeric-less-than-018: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return $x - 1 ge 121 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-019[+]
X cbcl-numeric-less-than-019: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 ge $x + 1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-020[+]
X cbcl-numeric-less-than-020: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 ge 1 + $x |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-021[+]
X cbcl-numeric-less-than-021: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return $x + 2 lt 121 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-022[+]
X cbcl-numeric-less-than-022: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return $x - 2 lt 12 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-023[+]
X cbcl-numeric-less-than-023: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 lt $x + 2 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-024[+]
X cbcl-numeric-less-than-024: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 lt 2 + $x |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-025[+]
X cbcl-numeric-less-than-025: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return $x + 2 ge 121 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-026[+]
X cbcl-numeric-less-than-026: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return $x - 2 ge 12 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-027[+]
X cbcl-numeric-less-than-027: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 ge $x + 2 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-028[+]
X cbcl-numeric-less-than-028: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 ge $x + 1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-numeric-less-than-029[+]
X cbcl-numeric-less-than-029: Created on: 2008-05-14 Spec Dependencies: spec = XQ10+ Test: declare function local:factorial($arg as xs:integer) as xs:integer { if ($arg lt 1) then 1 else $arg * local:factorial($arg - 1) }; let $x := local:factorial(5) return 121 ge 2 + $x |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |