|
| 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-boolean-less-than | 49/49 | 49/49 | 39/39 | 49/49 | 39/39 | 49/49 | 49/49 | 39/39 | 49/49 | 49/49 | 39/39 | 49/49 | 49/49 | 49/49 | 49/49 | 3/15 |
| op-boolean-less-than2args-1[+]
X op-boolean-less-than2args-1: xs:boolean("false") lt xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-2[+]
X op-boolean-less-than2args-2: xs:boolean("1") lt xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-3[+]
X op-boolean-less-than2args-3: xs:boolean("0") lt xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-4[+]
X op-boolean-less-than2args-4: xs:boolean("false") lt xs:boolean("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-5[+]
X op-boolean-less-than2args-5: xs:boolean("false") lt xs:boolean("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-6[+]
X op-boolean-less-than2args-6: xs:boolean("false") ge xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-7[+]
X op-boolean-less-than2args-7: xs:boolean("1") ge xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-8[+]
X op-boolean-less-than2args-8: xs:boolean("0") ge xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-9[+]
X op-boolean-less-than2args-9: xs:boolean("false") ge xs:boolean("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than2args-10[+]
X op-boolean-less-than2args-10: xs:boolean("false") ge xs:boolean("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-1[+]
X op-boolean-less-than-1: fn:not(xs:boolean("true")) lt xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-2[+]
X op-boolean-less-than-2: fn:not(xs:boolean("true")) ge xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-3[+]
X op-boolean-less-than-3: fn:not(xs:boolean("true")) lt xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-4[+]
X op-boolean-less-than-4: fn:not(xs:boolean("true")) ge xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-5[+]
X op-boolean-less-than-5: fn:not(xs:boolean("false")) lt xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-6[+]
X op-boolean-less-than-6: fn:not(xs:boolean("false")) ge xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-7[+]
X op-boolean-less-than-7: fn:not(xs:boolean("false")) lt xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-8[+]
X op-boolean-less-than-8: fn:not(xs:boolean("false")) ge xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-9[+]
X op-boolean-less-than-9: (7 eq 7) lt xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-10[+]
X op-boolean-less-than-10: (7 eq 7) ge xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-11[+]
X op-boolean-less-than-11: (7 eq 7) lt xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-12[+]
X op-boolean-less-than-12: (7 eq 7) ge xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-001[+]
X op-boolean-less-than-more-args-001: xs:boolean("true") lt xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-002[+]
X op-boolean-less-than-more-args-002: xs:boolean("1") lt xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-003[+]
X op-boolean-less-than-more-args-003: xs:boolean("0") lt xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-004[+]
X op-boolean-less-than-more-args-004: xs:boolean("true") lt xs:boolean("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-005[+]
X op-boolean-less-than-more-args-005: xs:boolean("true") lt xs:boolean("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-006[+]
X op-boolean-less-than-more-args-006: xs:boolean("true") lt xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-007[+]
X op-boolean-less-than-more-args-007: xs:boolean("false") lt xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-008[+]
X op-boolean-less-than-more-args-008: xs:boolean("true") ge xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-009[+]
X op-boolean-less-than-more-args-009: xs:boolean("1") ge xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-010[+]
X op-boolean-less-than-more-args-010: xs:boolean("0") ge xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-011[+]
X op-boolean-less-than-more-args-011: xs:boolean("true") ge xs:boolean("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-012[+]
X op-boolean-less-than-more-args-012: xs:boolean("true") ge xs:boolean("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-013[+]
X op-boolean-less-than-more-args-013: xs:boolean("true") ge xs:boolean("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-boolean-less-than-more-args-014[+]
X op-boolean-less-than-more-args-014: xs:boolean("false") ge xs:boolean("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-BooleanLT-1[+]
X K-BooleanLT-1: false() lt true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-BooleanLT-2[+]
X K-BooleanLT-2: false() le true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-BooleanLT-3[+]
X K-BooleanLT-3: true() le true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-boolean-less-than-001[+]
X cbcl-boolean-less-than-001: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; not(local:is-even(15) le local:is-even(17)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-002[+]
X cbcl-boolean-less-than-002: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; fn:true() le local:is-even(17) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-003[+]
X cbcl-boolean-less-than-003: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; fn:false() le local:is-even(17) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-004[+]
X cbcl-boolean-less-than-004: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; not(local:is-even(15) lt local:is-even(17)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-005[+]
X cbcl-boolean-less-than-005: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; fn:true() lt local:is-even(17) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-006[+]
X cbcl-boolean-less-than-006: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; fn:false() lt local:is-even(17) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-007[+]
X cbcl-boolean-less-than-007: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; local:is-even(17) le fn:true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-008[+]
X cbcl-boolean-less-than-008: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; local:is-even(17) le fn:false() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-009[+]
X cbcl-boolean-less-than-009: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; local:is-even(17) lt fn:true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-boolean-less-than-010[+]
X cbcl-boolean-less-than-010: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; local:is-even(17) lt fn:false() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |