|
| Implementations | ||||||||||||||||
| Tests | BaseX 7.7 XQ30 |
EMC/xDB xDB_main_r2411365 XQ30 |
Saxon-EE 9.5.1.1 XP20 |
Saxon-EE 9.5.1.1 XQ10 |
Saxon-EE 9.5.1.1 XP30 |
Saxon-EE 9.5.1.1 XQ30 |
Saxon-EE 9.5.1.4 XQX30 (QT3 v1.1) |
XmlPrime 3.0.0.0 XP30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XP20 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX10 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ30 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| op-numeric-less-than | 183/183 | 183/183 | 154/154 | 183/183 | 154/154 | 183/183 | 183/183 | 154/154 | 183/183 | 183/183 | 154/154 | 183/183 | 183/183 | 183/183 | 183/183 | 3/15 |
| op-numeric-less-thanint2args-1[+]
X op-numeric-less-thanint2args-1: xs:int("-2147483648") lt xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-2[+]
X op-numeric-less-thanint2args-2: xs:int("-1873914410") lt xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-3[+]
X op-numeric-less-thanint2args-3: xs:int("2147483647") lt xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-4[+]
X op-numeric-less-thanint2args-4: xs:int("-2147483648") lt xs:int("-1873914410") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-5[+]
X op-numeric-less-thanint2args-5: xs:int("-2147483648") lt xs:int("2147483647") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-6[+]
X op-numeric-less-thanint2args-6: xs:int("-2147483648") ge xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-7[+]
X op-numeric-less-thanint2args-7: xs:int("-1873914410") ge xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-8[+]
X op-numeric-less-thanint2args-8: xs:int("2147483647") ge xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-9[+]
X op-numeric-less-thanint2args-9: xs:int("-2147483648") ge xs:int("-1873914410") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanint2args-10[+]
X op-numeric-less-thanint2args-10: xs:int("-2147483648") ge xs:int("2147483647") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-1[+]
X op-numeric-less-thanintg2args-1: xs:integer("-999999999999999999") lt xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-2[+]
X op-numeric-less-thanintg2args-2: xs:integer("830993497117024304") lt xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-3[+]
X op-numeric-less-thanintg2args-3: xs:integer("999999999999999999") lt xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-4[+]
X op-numeric-less-thanintg2args-4: xs:integer("-999999999999999999") lt xs:integer("830993497117024304") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-5[+]
X op-numeric-less-thanintg2args-5: xs:integer("-999999999999999999") lt xs:integer("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-6[+]
X op-numeric-less-thanintg2args-6: xs:integer("-999999999999999999") ge xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-7[+]
X op-numeric-less-thanintg2args-7: xs:integer("830993497117024304") ge xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-8[+]
X op-numeric-less-thanintg2args-8: xs:integer("999999999999999999") ge xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-9[+]
X op-numeric-less-thanintg2args-9: xs:integer("-999999999999999999") ge xs:integer("830993497117024304") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanintg2args-10[+]
X op-numeric-less-thanintg2args-10: xs:integer("-999999999999999999") ge xs:integer("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-1[+]
X op-numeric-less-thandec2args-1: xs:decimal("-999999999999999999") lt xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-2[+]
X op-numeric-less-thandec2args-2: xs:decimal("617375191608514839") lt xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-3[+]
X op-numeric-less-thandec2args-3: xs:decimal("999999999999999999") lt xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-4[+]
X op-numeric-less-thandec2args-4: xs:decimal("-999999999999999999") lt xs:decimal("617375191608514839") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-5[+]
X op-numeric-less-thandec2args-5: xs:decimal("-999999999999999999") lt xs:decimal("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-6[+]
X op-numeric-less-thandec2args-6: xs:decimal("-999999999999999999") ge xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-7[+]
X op-numeric-less-thandec2args-7: xs:decimal("617375191608514839") ge xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-8[+]
X op-numeric-less-thandec2args-8: xs:decimal("999999999999999999") ge xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-9[+]
X op-numeric-less-thandec2args-9: xs:decimal("-999999999999999999") ge xs:decimal("617375191608514839") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandec2args-10[+]
X op-numeric-less-thandec2args-10: xs:decimal("-999999999999999999") ge xs:decimal("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-1[+]
X op-numeric-less-thandbl2args-1: xs:double("-1.7976931348623157E308") lt xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-2[+]
X op-numeric-less-thandbl2args-2: xs:double("0") lt xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-3[+]
X op-numeric-less-thandbl2args-3: xs:double("1.7976931348623157E308") lt xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-4[+]
X op-numeric-less-thandbl2args-4: xs:double("-1.7976931348623157E308") lt xs:double("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-5[+]
X op-numeric-less-thandbl2args-5: xs:double("-1.7976931348623157E308") lt xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-6[+]
X op-numeric-less-thandbl2args-6: xs:double("-1.7976931348623157E308") ge xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-7[+]
X op-numeric-less-thandbl2args-7: xs:double("0") ge xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-8[+]
X op-numeric-less-thandbl2args-8: xs:double("1.7976931348623157E308") ge xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-9[+]
X op-numeric-less-thandbl2args-9: xs:double("-1.7976931348623157E308") ge xs:double("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thandbl2args-10[+]
X op-numeric-less-thandbl2args-10: xs:double("-1.7976931348623157E308") ge xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-1[+]
X op-numeric-less-thanflt2args-1: xs:float("-3.4028235E38") lt xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-2[+]
X op-numeric-less-thanflt2args-2: xs:float("0") lt xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-3[+]
X op-numeric-less-thanflt2args-3: xs:float("3.4028235E38") lt xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-4[+]
X op-numeric-less-thanflt2args-4: xs:float("-3.4028235E38") lt xs:float("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-5[+]
X op-numeric-less-thanflt2args-5: xs:float("-3.4028235E38") lt xs:float("3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-6[+]
X op-numeric-less-thanflt2args-6: xs:float("-3.4028235E38") ge xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-7[+]
X op-numeric-less-thanflt2args-7: xs:float("0") ge xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-8[+]
X op-numeric-less-thanflt2args-8: xs:float("3.4028235E38") ge xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-9[+]
X op-numeric-less-thanflt2args-9: xs:float("-3.4028235E38") ge xs:float("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanflt2args-10[+]
X op-numeric-less-thanflt2args-10: xs:float("-3.4028235E38") ge xs:float("3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-1[+]
X op-numeric-less-thanlng2args-1: xs:long("-92233720368547758") lt xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-2[+]
X op-numeric-less-thanlng2args-2: xs:long("-47175562203048468") lt xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-3[+]
X op-numeric-less-thanlng2args-3: xs:long("92233720368547758") lt xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-4[+]
X op-numeric-less-thanlng2args-4: xs:long("-92233720368547758") lt xs:long("-47175562203048468") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-5[+]
X op-numeric-less-thanlng2args-5: xs:long("-92233720368547758") lt xs:long("92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-6[+]
X op-numeric-less-thanlng2args-6: xs:long("-92233720368547758") ge xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-7[+]
X op-numeric-less-thanlng2args-7: xs:long("-47175562203048468") ge xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-8[+]
X op-numeric-less-thanlng2args-8: xs:long("92233720368547758") ge xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-9[+]
X op-numeric-less-thanlng2args-9: xs:long("-92233720368547758") ge xs:long("-47175562203048468") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanlng2args-10[+]
X op-numeric-less-thanlng2args-10: xs:long("-92233720368547758") ge xs:long("92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-1[+]
X op-numeric-less-thanusht2args-1: xs:unsignedShort("0") lt xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-2[+]
X op-numeric-less-thanusht2args-2: xs:unsignedShort("44633") lt xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-3[+]
X op-numeric-less-thanusht2args-3: xs:unsignedShort("65535") lt xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-4[+]
X op-numeric-less-thanusht2args-4: xs:unsignedShort("0") lt xs:unsignedShort("44633") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-5[+]
X op-numeric-less-thanusht2args-5: xs:unsignedShort("0") lt xs:unsignedShort("65535") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-6[+]
X op-numeric-less-thanusht2args-6: xs:unsignedShort("0") ge xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-7[+]
X op-numeric-less-thanusht2args-7: xs:unsignedShort("44633") ge xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-8[+]
X op-numeric-less-thanusht2args-8: xs:unsignedShort("65535") ge xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-9[+]
X op-numeric-less-thanusht2args-9: xs:unsignedShort("0") ge xs:unsignedShort("44633") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanusht2args-10[+]
X op-numeric-less-thanusht2args-10: xs:unsignedShort("0") ge xs:unsignedShort("65535") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-1[+]
X op-numeric-less-thannint2args-1: xs:negativeInteger("-999999999999999999") lt xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-2[+]
X op-numeric-less-thannint2args-2: xs:negativeInteger("-297014075999096793") lt xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-3[+]
X op-numeric-less-thannint2args-3: xs:negativeInteger("-1") lt xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-4[+]
X op-numeric-less-thannint2args-4: xs:negativeInteger("-999999999999999999") lt xs:negativeInteger("-297014075999096793") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-5[+]
X op-numeric-less-thannint2args-5: xs:negativeInteger("-999999999999999999") lt xs:negativeInteger("-1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-6[+]
X op-numeric-less-thannint2args-6: xs:negativeInteger("-999999999999999999") ge xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-7[+]
X op-numeric-less-thannint2args-7: xs:negativeInteger("-297014075999096793") ge xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-8[+]
X op-numeric-less-thannint2args-8: xs:negativeInteger("-1") ge xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-9[+]
X op-numeric-less-thannint2args-9: xs:negativeInteger("-999999999999999999") ge xs:negativeInteger("-297014075999096793") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannint2args-10[+]
X op-numeric-less-thannint2args-10: xs:negativeInteger("-999999999999999999") ge xs:negativeInteger("-1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-1[+]
X op-numeric-less-thanpint2args-1: xs:positiveInteger("1") lt xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-2[+]
X op-numeric-less-thanpint2args-2: xs:positiveInteger("52704602390610033") lt xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-3[+]
X op-numeric-less-thanpint2args-3: xs:positiveInteger("999999999999999999") lt xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-4[+]
X op-numeric-less-thanpint2args-4: xs:positiveInteger("1") lt xs:positiveInteger("52704602390610033") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-5[+]
X op-numeric-less-thanpint2args-5: xs:positiveInteger("1") lt xs:positiveInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-6[+]
X op-numeric-less-thanpint2args-6: xs:positiveInteger("1") ge xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-7[+]
X op-numeric-less-thanpint2args-7: xs:positiveInteger("52704602390610033") ge xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-8[+]
X op-numeric-less-thanpint2args-8: xs:positiveInteger("999999999999999999") ge xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-9[+]
X op-numeric-less-thanpint2args-9: xs:positiveInteger("1") ge xs:positiveInteger("52704602390610033") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanpint2args-10[+]
X op-numeric-less-thanpint2args-10: xs:positiveInteger("1") ge xs:positiveInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-1[+]
X op-numeric-less-thanulng2args-1: xs:unsignedLong("0") lt xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-2[+]
X op-numeric-less-thanulng2args-2: xs:unsignedLong("130747108607674654") lt xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-3[+]
X op-numeric-less-thanulng2args-3: xs:unsignedLong("184467440737095516") lt xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-4[+]
X op-numeric-less-thanulng2args-4: xs:unsignedLong("0") lt xs:unsignedLong("130747108607674654") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-5[+]
X op-numeric-less-thanulng2args-5: xs:unsignedLong("0") lt xs:unsignedLong("184467440737095516") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-6[+]
X op-numeric-less-thanulng2args-6: xs:unsignedLong("0") ge xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-7[+]
X op-numeric-less-thanulng2args-7: xs:unsignedLong("130747108607674654") ge xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-8[+]
X op-numeric-less-thanulng2args-8: xs:unsignedLong("184467440737095516") ge xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-9[+]
X op-numeric-less-thanulng2args-9: xs:unsignedLong("0") ge xs:unsignedLong("130747108607674654") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thanulng2args-10[+]
X op-numeric-less-thanulng2args-10: xs:unsignedLong("0") ge xs:unsignedLong("184467440737095516") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-1[+]
X op-numeric-less-thannpi2args-1: xs:nonPositiveInteger("-999999999999999999") lt xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-2[+]
X op-numeric-less-thannpi2args-2: xs:nonPositiveInteger("-475688437271870490") lt xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-3[+]
X op-numeric-less-thannpi2args-3: xs:nonPositiveInteger("0") lt xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-4[+]
X op-numeric-less-thannpi2args-4: xs:nonPositiveInteger("-999999999999999999") lt xs:nonPositiveInteger("-475688437271870490") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-5[+]
X op-numeric-less-thannpi2args-5: xs:nonPositiveInteger("-999999999999999999") lt xs:nonPositiveInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-6[+]
X op-numeric-less-thannpi2args-6: xs:nonPositiveInteger("-999999999999999999") ge xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-7[+]
X op-numeric-less-thannpi2args-7: xs:nonPositiveInteger("-475688437271870490") ge xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-8[+]
X op-numeric-less-thannpi2args-8: xs:nonPositiveInteger("0") ge xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-9[+]
X op-numeric-less-thannpi2args-9: xs:nonPositiveInteger("-999999999999999999") ge xs:nonPositiveInteger("-475688437271870490") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannpi2args-10[+]
X op-numeric-less-thannpi2args-10: xs:nonPositiveInteger("-999999999999999999") ge xs:nonPositiveInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-1[+]
X op-numeric-less-thannni2args-1: xs:nonNegativeInteger("0") lt xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-2[+]
X op-numeric-less-thannni2args-2: xs:nonNegativeInteger("303884545991464527") lt xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-3[+]
X op-numeric-less-thannni2args-3: xs:nonNegativeInteger("999999999999999999") lt xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-4[+]
X op-numeric-less-thannni2args-4: xs:nonNegativeInteger("0") lt xs:nonNegativeInteger("303884545991464527") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-5[+]
X op-numeric-less-thannni2args-5: xs:nonNegativeInteger("0") lt xs:nonNegativeInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-6[+]
X op-numeric-less-thannni2args-6: xs:nonNegativeInteger("0") ge xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-7[+]
X op-numeric-less-thannni2args-7: xs:nonNegativeInteger("303884545991464527") ge xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-8[+]
X op-numeric-less-thannni2args-8: xs:nonNegativeInteger("999999999999999999") ge xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-9[+]
X op-numeric-less-thannni2args-9: xs:nonNegativeInteger("0") ge xs:nonNegativeInteger("303884545991464527") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thannni2args-10[+]
X op-numeric-less-thannni2args-10: xs:nonNegativeInteger("0") ge xs:nonNegativeInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-1[+]
X op-numeric-less-thansht2args-1: xs:short("-32768") lt xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-2[+]
X op-numeric-less-thansht2args-2: xs:short("-5324") lt xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-3[+]
X op-numeric-less-thansht2args-3: xs:short("32767") lt xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-4[+]
X op-numeric-less-thansht2args-4: xs:short("-32768") lt xs:short("-5324") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-5[+]
X op-numeric-less-thansht2args-5: xs:short("-32768") lt xs:short("32767") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-6[+]
X op-numeric-less-thansht2args-6: xs:short("-32768") ge xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-7[+]
X op-numeric-less-thansht2args-7: xs:short("-5324") ge xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-8[+]
X op-numeric-less-thansht2args-8: xs:short("32767") ge xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-9[+]
X op-numeric-less-thansht2args-9: xs:short("-32768") ge xs:short("-5324") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-less-thansht2args-10[+]
X op-numeric-less-thansht2args-10: xs:short("-32768") ge xs:short("32767") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-1[+]
X K-NumericLT-1: xs:integer(-1) lt xs:integer(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-2[+]
X K-NumericLT-2: xs:integer(-1) le xs:integer(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-3[+]
X K-NumericLT-3: xs:decimal(-1) lt xs:decimal(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-4[+]
X K-NumericLT-4: xs:decimal(-1) le xs:decimal(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-5[+]
X K-NumericLT-5: 0 lt xs:double("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-6[+]
X K-NumericLT-6: xs:double("-INF") lt 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-7[+]
X K-NumericLT-7: xs:double(-1) lt xs:double(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-8[+]
X K-NumericLT-8: xs:double(-1) le xs:double(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-9[+]
X K-NumericLT-9: 0 lt xs:float("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-10[+]
X K-NumericLT-10: xs:float("-INF") lt 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-11[+]
X K-NumericLT-11: xs:float(-1) lt xs:float(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-12[+]
X K-NumericLT-12: xs:float(-1) le xs:float(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-13[+]
X K-NumericLT-13: not(xs:double("NaN") lt 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-14[+]
X K-NumericLT-14: not(xs:float("NaN") lt 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-15[+]
X K-NumericLT-15: not(xs:double("NaN") le 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-16[+]
X K-NumericLT-16: not(xs:float("NaN") le 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-17[+]
X K-NumericLT-17: not(1 lt xs:double("NaN")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-18[+]
X K-NumericLT-18: not(1 lt xs:float("NaN")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-19[+]
X K-NumericLT-19: not(1 le xs:double("NaN")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-20[+]
X K-NumericLT-20: not(1 le xs:float("NaN")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-21[+]
X K-NumericLT-21: 1 le count((1, 2, 3, timezone-from-time(current-time()), 4)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericLT-22[+]
X K-NumericLT-22: 0 lt count((1, 2, 3, timezone-from-time(current-time()), 4)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericLT-1[+]
X K2-NumericLT-1: xs:unsignedLong("100") lt xs:unsignedLong("18446744073709551615") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericLT-2[+]
X K2-NumericLT-2: xs:unsignedLong("18446744073709551615") lt xs:unsignedLong("100") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-numeric-less-than-001[+]
X cbcl-numeric-less-than-001: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; not( local:square(1e0) lt local:square(2e0) ) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-002[+]
X cbcl-numeric-less-than-002: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-003[+]
X cbcl-numeric-less-than-003: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; not( local:square(1.0) lt local:square(2.0) ) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-004[+]
X cbcl-numeric-less-than-004: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; not( local:square(1) lt local:square(2) ) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-005[+]
X cbcl-numeric-less-than-005: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; not( local:square(1e0) ge local:square(2e0) ) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-006[+]
X cbcl-numeric-less-than-006: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-007[+]
X cbcl-numeric-less-than-007: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; not( local:square(1.0) ge local:square(2.0) ) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-008[+]
X cbcl-numeric-less-than-008: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; not( local:square(1) ge local:square(2) ) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-009[+]
X cbcl-numeric-less-than-009: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; not(not( local:square(1e0) lt local:square(2e0) )) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-010[+]
X cbcl-numeric-less-than-010: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-011[+]
X cbcl-numeric-less-than-011: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; not(not( local:square(1e0) ge local:square(2e0) )) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-012[+]
X cbcl-numeric-less-than-012: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-013[+]
X cbcl-numeric-less-than-013: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-014[+]
X cbcl-numeric-less-than-014: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-015[+]
X cbcl-numeric-less-than-015: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-016[+]
X cbcl-numeric-less-than-016: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-017[+]
X cbcl-numeric-less-than-017: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-018[+]
X cbcl-numeric-less-than-018: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-019[+]
X cbcl-numeric-less-than-019: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-020[+]
X cbcl-numeric-less-than-020: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-021[+]
X cbcl-numeric-less-than-021: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-022[+]
X cbcl-numeric-less-than-022: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-023[+]
X cbcl-numeric-less-than-023: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-024[+]
X cbcl-numeric-less-than-024: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-025[+]
X cbcl-numeric-less-than-025: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-026[+]
X cbcl-numeric-less-than-026: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-027[+]
X cbcl-numeric-less-than-027: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-028[+]
X cbcl-numeric-less-than-028: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-less-than-029[+]
X cbcl-numeric-less-than-029: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |