Legend:    
        
passed     
        
almost passed
(≥ 98%)
    
        
failed     
        
untested
Implementations
Tests BaseX 8.5 beta
XQ31
(QT3 vCVS)
Saxon-EE 9.7.0.11
XP31
(QT3 v0.6)
Saxon-EE 9.7.0.11
XQ31
(QT3 v0.6)
XmlPrime 4.0.0.16079
XP31
(QT3 vCVS)
XmlPrime 4.0.0.26293
XQ31
(QT3 vCVS)
XmlPrime 4.0.0.27704
XQX31
(QT3 vCVS)
prod-OptionDecl 8/8 0/0 8/8 0/0 8/8 8/0 0/6
    optiondeclprolog-1[+] pass n/a

test-set dependencies not satisfied

pass n/a pass pass
    optiondeclprolog-2[+] pass n/a

test-set dependencies not satisfied

pass n/a pass pass
    K-OptionDeclarationProlog-1[+] no result n/a

test-set dependencies not satisfied

n/a

notXQ31

n/a n/a n/a
    K-OptionDeclarationProlog-1b[+] pass n/a

test-set dependencies not satisfied

pass n/a pass pass
    K-OptionDeclarationProlog-2[+] pass n/a

test-set dependencies not satisfied

pass n/a pass pass
    K-OptionDeclarationProlog-3[+] pass n/a

test-set dependencies not satisfied

pass n/a pass pass
    K-OptionDeclarationProlog-4[+] pass n/a

test-set dependencies not satisfied

pass n/a pass pass
    K-OptionDeclarationProlog-5[+] pass n/a

test-set dependencies not satisfied

pass n/a pass pass
    K-OptionDeclarationProlog-6[+] pass n/a

test-set dependencies not satisfied

pass n/a pass pass