fixes a libtool problem on AMD 64bits builds found the validation problem

* libxml.spec.in: fixes a libtool problem on AMD 64bits builds
* relaxng.c: found the validation problem I had with interleave
  when not covering all remaining siblings
* Makefile.am test.relaxng/* result/relaxng/*: augmented the
  testsuite and check the RNG schemas against the RNG schemas
  given in appendix A
Daniel

172 files changed, 122 insertions, 44 deletions

diff --git a/result/relaxng/addressBook_err b/result/relaxng/addressBook_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/addressBook_err
diff --git a/result/relaxng/addressBook_valid b/result/relaxng/addressBook_valid
new file mode 100644
index 00000000..584d55ab
--- /dev/null
+++ b/result/relaxng/addressBook_valid
@@ -0,0 +1 @@
+./test/relaxng/addressBook.rng validates
diff --git a/result/relaxng/inline2_err b/result/relaxng/inline2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/inline2_err
diff --git a/result/relaxng/inline2_valid b/result/relaxng/inline2_valid
new file mode 100644
index 00000000..027408e2
--- /dev/null
+++ b/result/relaxng/inline2_valid
@@ -0,0 +1 @@
+./test/relaxng/inline2.rng validates
diff --git a/result/relaxng/inline3_err b/result/relaxng/inline3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/inline3_err
diff --git a/result/relaxng/inline3_valid b/result/relaxng/inline3_valid
new file mode 100644
index 00000000..1ceccb83
--- /dev/null
+++ b/result/relaxng/inline3_valid
@@ -0,0 +1 @@
+./test/relaxng/inline3.rng validates
diff --git a/result/relaxng/inline_err b/result/relaxng/inline_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/inline_err
diff --git a/result/relaxng/inline_valid b/result/relaxng/inline_valid
new file mode 100644
index 00000000..8ba0e5cf
--- /dev/null
+++ b/result/relaxng/inline_valid
@@ -0,0 +1 @@
+./test/relaxng/inline.rng validates
diff --git a/result/relaxng/interleave0_0_err b/result/relaxng/interleave0_0_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/interleave0_0_err
diff --git a/result/relaxng/interleave0_0_valid b/result/relaxng/interleave0_0_valid
new file mode 100644
index 00000000..0d865ec2
--- /dev/null
+++ b/result/relaxng/interleave0_0_valid
@@ -0,0 +1 @@
+./test/relaxng/interleave0_0.rng validates
diff --git a/result/relaxng/interleave1_0_err b/result/relaxng/interleave1_0_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/interleave1_0_err
diff --git a/result/relaxng/interleave1_0_valid b/result/relaxng/interleave1_0_valid
new file mode 100644
index 00000000..48023528
--- /dev/null
+++ b/result/relaxng/interleave1_0_valid
@@ -0,0 +1 @@
+./test/relaxng/interleave1_0.rng validates
diff --git a/result/relaxng/pattern1_err b/result/relaxng/pattern1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/pattern1_err
diff --git a/result/relaxng/pattern1_valid b/result/relaxng/pattern1_valid
new file mode 100644
index 00000000..88564462
--- /dev/null
+++ b/result/relaxng/pattern1_valid
@@ -0,0 +1 @@
+./test/relaxng/pattern1.rng validates
diff --git a/result/relaxng/pattern2_err b/result/relaxng/pattern2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/pattern2_err
diff --git a/result/relaxng/pattern2_valid b/result/relaxng/pattern2_valid
new file mode 100644
index 00000000..acccc55b
--- /dev/null
+++ b/result/relaxng/pattern2_valid
@@ -0,0 +1 @@
+./test/relaxng/pattern2.rng validates
diff --git a/result/relaxng/spec1_err b/result/relaxng/spec1_err
new file mode 100644
index 00000000..e40f6074
--- /dev/null
+++ b/result/relaxng/spec1_err
@@ -0,0 +1 @@
+Unimplemented block at relaxng.c:4828
diff --git a/result/relaxng/spec1_valid b/result/relaxng/spec1_valid
new file mode 100644
index 00000000..8551c1e1
--- /dev/null
+++ b/result/relaxng/spec1_valid
@@ -0,0 +1 @@
+./test/relaxng/spec1.rng validates
diff --git a/result/relaxng/table_err b/result/relaxng/table_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/table_err
diff --git a/result/relaxng/table_valid b/result/relaxng/table_valid
new file mode 100644
index 00000000..47e79962
--- /dev/null
+++ b/result/relaxng/table_valid
@@ -0,0 +1 @@
+./test/relaxng/table.rng validates
diff --git a/result/relaxng/tutor10_10_err b/result/relaxng/tutor10_10_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_10_err
diff --git a/result/relaxng/tutor10_10_valid b/result/relaxng/tutor10_10_valid
new file mode 100644
index 00000000..24a5f7e5
--- /dev/null
+++ b/result/relaxng/tutor10_10_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_10.rng validates
diff --git a/result/relaxng/tutor10_1_4.err b/result/relaxng/tutor10_1_4.err
index 55d5ba57..79345542 100644
--- a/result/relaxng/tutor10_1_4.err
+++ b/result/relaxng/tutor10_1_4.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5013
-error detected at relaxng.c:5319
+error detected at relaxng.c:5087
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_1_5.err b/result/relaxng/tutor10_1_5.err
index 89b8f6da..e8d4bb13 100644
--- a/result/relaxng/tutor10_1_5.err
+++ b/result/relaxng/tutor10_1_5.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5018
-error detected at relaxng.c:5319
+error detected at relaxng.c:5093
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_1_6.err b/result/relaxng/tutor10_1_6.err
index 89b8f6da..e8d4bb13 100644
--- a/result/relaxng/tutor10_1_6.err
+++ b/result/relaxng/tutor10_1_6.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5018
-error detected at relaxng.c:5319
+error detected at relaxng.c:5093
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_1_err b/result/relaxng/tutor10_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_1_err
diff --git a/result/relaxng/tutor10_1_valid b/result/relaxng/tutor10_1_valid
new file mode 100644
index 00000000..85be3be0
--- /dev/null
+++ b/result/relaxng/tutor10_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_1.rng validates
diff --git a/result/relaxng/tutor10_2_3.err b/result/relaxng/tutor10_2_3.err
index 11ceab2c..35b54a40 100644
--- a/result/relaxng/tutor10_2_3.err
+++ b/result/relaxng/tutor10_2_3.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5025
-error detected at relaxng.c:5319
+error detected at relaxng.c:5101
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_2_4.err b/result/relaxng/tutor10_2_4.err
index 11ceab2c..35b54a40 100644
--- a/result/relaxng/tutor10_2_4.err
+++ b/result/relaxng/tutor10_2_4.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5025
-error detected at relaxng.c:5319
+error detected at relaxng.c:5101
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_2_err b/result/relaxng/tutor10_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_2_err
diff --git a/result/relaxng/tutor10_2_valid b/result/relaxng/tutor10_2_valid
new file mode 100644
index 00000000..b3e32a63
--- /dev/null
+++ b/result/relaxng/tutor10_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_2.rng validates
diff --git a/result/relaxng/tutor10_3_err b/result/relaxng/tutor10_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_3_err
diff --git a/result/relaxng/tutor10_3_valid b/result/relaxng/tutor10_3_valid
new file mode 100644
index 00000000..3c714aac
--- /dev/null
+++ b/result/relaxng/tutor10_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_3.rng validates
diff --git a/result/relaxng/tutor10_4_err b/result/relaxng/tutor10_4_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_4_err
diff --git a/result/relaxng/tutor10_4_valid b/result/relaxng/tutor10_4_valid
new file mode 100644
index 00000000..32081376
--- /dev/null
+++ b/result/relaxng/tutor10_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_4.rng validates
diff --git a/result/relaxng/tutor10_5_err b/result/relaxng/tutor10_5_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_5_err
diff --git a/result/relaxng/tutor10_5_valid b/result/relaxng/tutor10_5_valid
new file mode 100644
index 00000000..49808cfe
--- /dev/null
+++ b/result/relaxng/tutor10_5_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_5.rng validates
diff --git a/result/relaxng/tutor10_6_err b/result/relaxng/tutor10_6_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_6_err
diff --git a/result/relaxng/tutor10_6_valid b/result/relaxng/tutor10_6_valid
new file mode 100644
index 00000000..09368c1b
--- /dev/null
+++ b/result/relaxng/tutor10_6_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_6.rng validates
diff --git a/result/relaxng/tutor10_7_3.err b/result/relaxng/tutor10_7_3.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor10_7_3.err
+++ b/result/relaxng/tutor10_7_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor10_7_err b/result/relaxng/tutor10_7_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_7_err
diff --git a/result/relaxng/tutor10_7_valid b/result/relaxng/tutor10_7_valid
new file mode 100644
index 00000000..081a2302
--- /dev/null
+++ b/result/relaxng/tutor10_7_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_7.rng validates
diff --git a/result/relaxng/tutor10_8_3.err b/result/relaxng/tutor10_8_3.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor10_8_3.err
+++ b/result/relaxng/tutor10_8_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor10_8_err b/result/relaxng/tutor10_8_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_8_err
diff --git a/result/relaxng/tutor10_8_valid b/result/relaxng/tutor10_8_valid
new file mode 100644
index 00000000..1a864cc0
--- /dev/null
+++ b/result/relaxng/tutor10_8_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_8.rng validates
diff --git a/result/relaxng/tutor10_9_err b/result/relaxng/tutor10_9_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor10_9_err
diff --git a/result/relaxng/tutor10_9_valid b/result/relaxng/tutor10_9_valid
new file mode 100644
index 00000000..942058e9
--- /dev/null
+++ b/result/relaxng/tutor10_9_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_9.rng validates
diff --git a/result/relaxng/tutor11_1_err b/result/relaxng/tutor11_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor11_1_err
diff --git a/result/relaxng/tutor11_1_valid b/result/relaxng/tutor11_1_valid
new file mode 100644
index 00000000..88347feb
--- /dev/null
+++ b/result/relaxng/tutor11_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor11_1.rng validates
diff --git a/result/relaxng/tutor11_2_2.err b/result/relaxng/tutor11_2_2.err
index 22c50637..43abea66 100644
--- a/result/relaxng/tutor11_2_2.err
+++ b/result/relaxng/tutor11_2_2.err
@@ -1 +1 @@
-error detected at relaxng.c:5061
+error detected at relaxng.c:5156
diff --git a/result/relaxng/tutor11_2_3.err b/result/relaxng/tutor11_2_3.err
index 22c50637..43abea66 100644
--- a/result/relaxng/tutor11_2_3.err
+++ b/result/relaxng/tutor11_2_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5061
+error detected at relaxng.c:5156
diff --git a/result/relaxng/tutor11_2_err b/result/relaxng/tutor11_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor11_2_err
diff --git a/result/relaxng/tutor11_2_valid b/result/relaxng/tutor11_2_valid
new file mode 100644
index 00000000..3294c13b
--- /dev/null
+++ b/result/relaxng/tutor11_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor11_2.rng validates
diff --git a/result/relaxng/tutor11_3_err b/result/relaxng/tutor11_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor11_3_err
diff --git a/result/relaxng/tutor11_3_valid b/result/relaxng/tutor11_3_valid
new file mode 100644
index 00000000..14d9d447
--- /dev/null
+++ b/result/relaxng/tutor11_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor11_3.rng validates
diff --git a/result/relaxng/tutor11_4_err b/result/relaxng/tutor11_4_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor11_4_err
diff --git a/result/relaxng/tutor11_4_valid b/result/relaxng/tutor11_4_valid
new file mode 100644
index 00000000..f0a83393
--- /dev/null
+++ b/result/relaxng/tutor11_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor11_4.rng validates
diff --git a/result/relaxng/tutor12_1_err b/result/relaxng/tutor12_1_err
new file mode 100644
index 00000000..e40f6074
--- /dev/null
+++ b/result/relaxng/tutor12_1_err
@@ -0,0 +1 @@
+Unimplemented block at relaxng.c:4828
diff --git a/result/relaxng/tutor12_1_valid b/result/relaxng/tutor12_1_valid
new file mode 100644
index 00000000..a02fb415
--- /dev/null
+++ b/result/relaxng/tutor12_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor12_1.rng validates
diff --git a/result/relaxng/tutor13_1_err b/result/relaxng/tutor13_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor13_1_err
diff --git a/result/relaxng/tutor13_1_valid b/result/relaxng/tutor13_1_valid
new file mode 100644
index 00000000..ccd11ad1
--- /dev/null
+++ b/result/relaxng/tutor13_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor13_1.rng validates
diff --git a/result/relaxng/tutor14_1_err b/result/relaxng/tutor14_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor14_1_err
diff --git a/result/relaxng/tutor14_1_valid b/result/relaxng/tutor14_1_valid
new file mode 100644
index 00000000..191ec3d5
--- /dev/null
+++ b/result/relaxng/tutor14_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor14_1.rng validates
diff --git a/result/relaxng/tutor1_1_err b/result/relaxng/tutor1_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor1_1_err
diff --git a/result/relaxng/tutor1_1_valid b/result/relaxng/tutor1_1_valid
new file mode 100644
index 00000000..d7cbfe85
--- /dev/null
+++ b/result/relaxng/tutor1_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor1_1.rng validates
diff --git a/result/relaxng/tutor1_2_err b/result/relaxng/tutor1_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor1_2_err
diff --git a/result/relaxng/tutor1_2_valid b/result/relaxng/tutor1_2_valid
new file mode 100644
index 00000000..97d32b2f
--- /dev/null
+++ b/result/relaxng/tutor1_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor1_2.rng validates
diff --git a/result/relaxng/tutor1_3_err b/result/relaxng/tutor1_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor1_3_err
diff --git a/result/relaxng/tutor1_3_valid b/result/relaxng/tutor1_3_valid
new file mode 100644
index 00000000..4941f8fb
--- /dev/null
+++ b/result/relaxng/tutor1_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor1_3.rng validates
diff --git a/result/relaxng/tutor1_4_err b/result/relaxng/tutor1_4_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor1_4_err
diff --git a/result/relaxng/tutor1_4_valid b/result/relaxng/tutor1_4_valid
new file mode 100644
index 00000000..a1fd60cf
--- /dev/null
+++ b/result/relaxng/tutor1_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor1_4.rng validates
diff --git a/result/relaxng/tutor2_1_err b/result/relaxng/tutor2_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor2_1_err
diff --git a/result/relaxng/tutor2_1_valid b/result/relaxng/tutor2_1_valid
new file mode 100644
index 00000000..df4778eb
--- /dev/null
+++ b/result/relaxng/tutor2_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor2_1.rng validates
diff --git a/result/relaxng/tutor3_1_err b/result/relaxng/tutor3_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor3_1_err
diff --git a/result/relaxng/tutor3_1_valid b/result/relaxng/tutor3_1_valid
new file mode 100644
index 00000000..949ef9ac
--- /dev/null
+++ b/result/relaxng/tutor3_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_1.rng validates
diff --git a/result/relaxng/tutor3_2_1.err b/result/relaxng/tutor3_2_1.err
index c1214b45..eabd308d 100644
--- a/result/relaxng/tutor3_2_1.err
+++ b/result/relaxng/tutor3_2_1.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5005
-error detected at relaxng.c:5053
+error detected at relaxng.c:5078
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor3_2_err b/result/relaxng/tutor3_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor3_2_err
diff --git a/result/relaxng/tutor3_2_valid b/result/relaxng/tutor3_2_valid
new file mode 100644
index 00000000..b6cb1ad8
--- /dev/null
+++ b/result/relaxng/tutor3_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_2.rng validates
diff --git a/result/relaxng/tutor3_3_err b/result/relaxng/tutor3_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor3_3_err
diff --git a/result/relaxng/tutor3_3_valid b/result/relaxng/tutor3_3_valid
new file mode 100644
index 00000000..92e83b68
--- /dev/null
+++ b/result/relaxng/tutor3_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_3.rng validates
diff --git a/result/relaxng/tutor3_4_err b/result/relaxng/tutor3_4_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor3_4_err
diff --git a/result/relaxng/tutor3_4_valid b/result/relaxng/tutor3_4_valid
new file mode 100644
index 00000000..61ef41f9
--- /dev/null
+++ b/result/relaxng/tutor3_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_4.rng validates
diff --git a/result/relaxng/tutor3_5_2.err b/result/relaxng/tutor3_5_2.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor3_5_2.err
+++ b/result/relaxng/tutor3_5_2.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor3_5_err b/result/relaxng/tutor3_5_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor3_5_err
diff --git a/result/relaxng/tutor3_5_valid b/result/relaxng/tutor3_5_valid
new file mode 100644
index 00000000..2e368687
--- /dev/null
+++ b/result/relaxng/tutor3_5_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_5.rng validates
diff --git a/result/relaxng/tutor3_6_err b/result/relaxng/tutor3_6_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor3_6_err
diff --git a/result/relaxng/tutor3_6_valid b/result/relaxng/tutor3_6_valid
new file mode 100644
index 00000000..8479bea9
--- /dev/null
+++ b/result/relaxng/tutor3_6_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_6.rng validates
diff --git a/result/relaxng/tutor3_7_err b/result/relaxng/tutor3_7_err
new file mode 100644
index 00000000..96dd8eed
--- /dev/null
+++ b/result/relaxng/tutor3_7_err
@@ -0,0 +1 @@
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor3_7_valid b/result/relaxng/tutor3_7_valid
new file mode 100644
index 00000000..1e179695
--- /dev/null
+++ b/result/relaxng/tutor3_7_valid
@@ -0,0 +1,2 @@
+extra data on the document
+./test/relaxng/tutor3_7.rng fails to validate
diff --git a/result/relaxng/tutor3_8_err b/result/relaxng/tutor3_8_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor3_8_err
diff --git a/result/relaxng/tutor3_8_valid b/result/relaxng/tutor3_8_valid
new file mode 100644
index 00000000..44fe75d5
--- /dev/null
+++ b/result/relaxng/tutor3_8_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_8.rng validates
diff --git a/result/relaxng/tutor3_9_err b/result/relaxng/tutor3_9_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor3_9_err
diff --git a/result/relaxng/tutor3_9_valid b/result/relaxng/tutor3_9_valid
new file mode 100644
index 00000000..d54fbe0d
--- /dev/null
+++ b/result/relaxng/tutor3_9_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_9.rng validates
diff --git a/result/relaxng/tutor4_1_err b/result/relaxng/tutor4_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor4_1_err
diff --git a/result/relaxng/tutor4_1_valid b/result/relaxng/tutor4_1_valid
new file mode 100644
index 00000000..94f0289b
--- /dev/null
+++ b/result/relaxng/tutor4_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor4_1.rng validates
diff --git a/result/relaxng/tutor4_2_err b/result/relaxng/tutor4_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor4_2_err
diff --git a/result/relaxng/tutor4_2_valid b/result/relaxng/tutor4_2_valid
new file mode 100644
index 00000000..82085d0a
--- /dev/null
+++ b/result/relaxng/tutor4_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor4_2.rng validates
diff --git a/result/relaxng/tutor4_3_err b/result/relaxng/tutor4_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor4_3_err
diff --git a/result/relaxng/tutor4_3_valid b/result/relaxng/tutor4_3_valid
new file mode 100644
index 00000000..74eb8b2f
--- /dev/null
+++ b/result/relaxng/tutor4_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor4_3.rng validates
diff --git a/result/relaxng/tutor4_4_err b/result/relaxng/tutor4_4_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor4_4_err
diff --git a/result/relaxng/tutor4_4_valid b/result/relaxng/tutor4_4_valid
new file mode 100644
index 00000000..641ee87c
--- /dev/null
+++ b/result/relaxng/tutor4_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor4_4.rng validates
diff --git a/result/relaxng/tutor5_1_err b/result/relaxng/tutor5_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor5_1_err
diff --git a/result/relaxng/tutor5_1_valid b/result/relaxng/tutor5_1_valid
new file mode 100644
index 00000000..586fd985
--- /dev/null
+++ b/result/relaxng/tutor5_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_1.rng validates
diff --git a/result/relaxng/tutor5_2_err b/result/relaxng/tutor5_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor5_2_err
diff --git a/result/relaxng/tutor5_2_valid b/result/relaxng/tutor5_2_valid
new file mode 100644
index 00000000..de8f4236
--- /dev/null
+++ b/result/relaxng/tutor5_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_2.rng validates
diff --git a/result/relaxng/tutor5_3_1.err b/result/relaxng/tutor5_3_1.err
index 594d855c..62269a00 100644
--- a/result/relaxng/tutor5_3_1.err
+++ b/result/relaxng/tutor5_3_1.err
@@ -1 +1 @@
-error detected at relaxng.c:5201
+error detected at relaxng.c:5306
diff --git a/result/relaxng/tutor5_3_err b/result/relaxng/tutor5_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor5_3_err
diff --git a/result/relaxng/tutor5_3_valid b/result/relaxng/tutor5_3_valid
new file mode 100644
index 00000000..f00a5436
--- /dev/null
+++ b/result/relaxng/tutor5_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_3.rng validates
diff --git a/result/relaxng/tutor5_4_err b/result/relaxng/tutor5_4_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor5_4_err
diff --git a/result/relaxng/tutor5_4_valid b/result/relaxng/tutor5_4_valid
new file mode 100644
index 00000000..669b41d4
--- /dev/null
+++ b/result/relaxng/tutor5_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_4.rng validates
diff --git a/result/relaxng/tutor5_5_err b/result/relaxng/tutor5_5_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor5_5_err
diff --git a/result/relaxng/tutor5_5_valid b/result/relaxng/tutor5_5_valid
new file mode 100644
index 00000000..4f9f0f55
--- /dev/null
+++ b/result/relaxng/tutor5_5_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_5.rng validates
diff --git a/result/relaxng/tutor6_1_3.err b/result/relaxng/tutor6_1_3.err
index 22c50637..43abea66 100644
--- a/result/relaxng/tutor6_1_3.err
+++ b/result/relaxng/tutor6_1_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5061
+error detected at relaxng.c:5156
diff --git a/result/relaxng/tutor6_1_err b/result/relaxng/tutor6_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor6_1_err
diff --git a/result/relaxng/tutor6_1_valid b/result/relaxng/tutor6_1_valid
new file mode 100644
index 00000000..7440829a
--- /dev/null
+++ b/result/relaxng/tutor6_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor6_1.rng validates
diff --git a/result/relaxng/tutor6_2_4.err b/result/relaxng/tutor6_2_4.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor6_2_4.err
+++ b/result/relaxng/tutor6_2_4.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor6_2_err b/result/relaxng/tutor6_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor6_2_err
diff --git a/result/relaxng/tutor6_2_valid b/result/relaxng/tutor6_2_valid
new file mode 100644
index 00000000..ba78ec98
--- /dev/null
+++ b/result/relaxng/tutor6_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor6_2.rng validates
diff --git a/result/relaxng/tutor6_3_1.err b/result/relaxng/tutor6_3_1.err
index 22c50637..43abea66 100644
--- a/result/relaxng/tutor6_3_1.err
+++ b/result/relaxng/tutor6_3_1.err
@@ -1 +1 @@
-error detected at relaxng.c:5061
+error detected at relaxng.c:5156
diff --git a/result/relaxng/tutor6_3_err b/result/relaxng/tutor6_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor6_3_err
diff --git a/result/relaxng/tutor6_3_valid b/result/relaxng/tutor6_3_valid
new file mode 100644
index 00000000..35dbe510
--- /dev/null
+++ b/result/relaxng/tutor6_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor6_3.rng validates
diff --git a/result/relaxng/tutor7_1_2.err b/result/relaxng/tutor7_1_2.err
index dea493fd..3a8a7dbb 100644
--- a/result/relaxng/tutor7_1_2.err
+++ b/result/relaxng/tutor7_1_2.err
@@ -1,3 +1,3 @@
-error detected at relaxng.c:4164
-error detected at relaxng.c:5255
-error detected at relaxng.c:5053
+error detected at relaxng.c:4196
+error detected at relaxng.c:5360
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor7_1_3.err b/result/relaxng/tutor7_1_3.err
index 17a46f66..ac8d77aa 100644
--- a/result/relaxng/tutor7_1_3.err
+++ b/result/relaxng/tutor7_1_3.err
@@ -1,3 +1,3 @@
-error detected at relaxng.c:4353
-error detected at relaxng.c:5255
-error detected at relaxng.c:5053
+error detected at relaxng.c:4385
+error detected at relaxng.c:5360
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor7_1_err b/result/relaxng/tutor7_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor7_1_err
diff --git a/result/relaxng/tutor7_1_valid b/result/relaxng/tutor7_1_valid
new file mode 100644
index 00000000..03d273f0
--- /dev/null
+++ b/result/relaxng/tutor7_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor7_1.rng validates
diff --git a/result/relaxng/tutor7_2_4.err b/result/relaxng/tutor7_2_4.err
index c8637a88..119e2331 100644
--- a/result/relaxng/tutor7_2_4.err
+++ b/result/relaxng/tutor7_2_4.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:4328
-error detected at relaxng.c:5255
+error detected at relaxng.c:4360
+error detected at relaxng.c:5360
diff --git a/result/relaxng/tutor7_2_err b/result/relaxng/tutor7_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor7_2_err
diff --git a/result/relaxng/tutor7_2_valid b/result/relaxng/tutor7_2_valid
new file mode 100644
index 00000000..cec5245f
--- /dev/null
+++ b/result/relaxng/tutor7_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor7_2.rng validates
diff --git a/result/relaxng/tutor7_3_4.err b/result/relaxng/tutor7_3_4.err
index 17a46f66..ac8d77aa 100644
--- a/result/relaxng/tutor7_3_4.err
+++ b/result/relaxng/tutor7_3_4.err
@@ -1,3 +1,3 @@
-error detected at relaxng.c:4353
-error detected at relaxng.c:5255
-error detected at relaxng.c:5053
+error detected at relaxng.c:4385
+error detected at relaxng.c:5360
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor7_3_5.err b/result/relaxng/tutor7_3_5.err
index dea493fd..3a8a7dbb 100644
--- a/result/relaxng/tutor7_3_5.err
+++ b/result/relaxng/tutor7_3_5.err
@@ -1,3 +1,3 @@
-error detected at relaxng.c:4164
-error detected at relaxng.c:5255
-error detected at relaxng.c:5053
+error detected at relaxng.c:4196
+error detected at relaxng.c:5360
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor7_3_err b/result/relaxng/tutor7_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor7_3_err
diff --git a/result/relaxng/tutor7_3_valid b/result/relaxng/tutor7_3_valid
new file mode 100644
index 00000000..9f1c5a38
--- /dev/null
+++ b/result/relaxng/tutor7_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor7_3.rng validates
diff --git a/result/relaxng/tutor8_1_err b/result/relaxng/tutor8_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor8_1_err
diff --git a/result/relaxng/tutor8_1_valid b/result/relaxng/tutor8_1_valid
new file mode 100644
index 00000000..a4f6ce54
--- /dev/null
+++ b/result/relaxng/tutor8_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor8_1.rng validates
diff --git a/result/relaxng/tutor8_2_4.err b/result/relaxng/tutor8_2_4.err
index d0012f71..4317d77a 100644
--- a/result/relaxng/tutor8_2_4.err
+++ b/result/relaxng/tutor8_2_4.err
@@ -1 +1,3 @@
-error detected at relaxng.c:5053
+Unimplemented block at relaxng.c:4828
+Unimplemented block at relaxng.c:4828
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor8_2_5 b/result/relaxng/tutor8_2_5
index dcd25f93..453f7561 100644
--- a/result/relaxng/tutor8_2_5
+++ b/result/relaxng/tutor8_2_5
@@ -1,3 +1,3 @@
-Expecting an element
+Expecting an element, got empty
 Extra content for element head: meta
 ./test/relaxng/tutor8_2_5.xml fails to validate
diff --git a/result/relaxng/tutor8_2_5.err b/result/relaxng/tutor8_2_5.err
index 3a34a13a..9f6bbaaa 100644
--- a/result/relaxng/tutor8_2_5.err
+++ b/result/relaxng/tutor8_2_5.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:4993
-error detected at relaxng.c:5053
+error detected at relaxng.c:5059
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor8_2_6.err b/result/relaxng/tutor8_2_6.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor8_2_6.err
+++ b/result/relaxng/tutor8_2_6.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor8_2_err b/result/relaxng/tutor8_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor8_2_err
diff --git a/result/relaxng/tutor8_2_valid b/result/relaxng/tutor8_2_valid
new file mode 100644
index 00000000..fa3dcb22
--- /dev/null
+++ b/result/relaxng/tutor8_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor8_2.rng validates
diff --git a/result/relaxng/tutor8_3_err b/result/relaxng/tutor8_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor8_3_err
diff --git a/result/relaxng/tutor8_3_valid b/result/relaxng/tutor8_3_valid
new file mode 100644
index 00000000..01c6184d
--- /dev/null
+++ b/result/relaxng/tutor8_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor8_3.rng validates
diff --git a/result/relaxng/tutor9_10_err b/result/relaxng/tutor9_10_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_10_err
diff --git a/result/relaxng/tutor9_10_valid b/result/relaxng/tutor9_10_valid
new file mode 100644
index 00000000..a8a7cb6a
--- /dev/null
+++ b/result/relaxng/tutor9_10_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_10.rng validates
diff --git a/result/relaxng/tutor9_11_err b/result/relaxng/tutor9_11_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_11_err
diff --git a/result/relaxng/tutor9_11_valid b/result/relaxng/tutor9_11_valid
new file mode 100644
index 00000000..edd98bfa
--- /dev/null
+++ b/result/relaxng/tutor9_11_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_11.rng validates
diff --git a/result/relaxng/tutor9_12_err b/result/relaxng/tutor9_12_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_12_err
diff --git a/result/relaxng/tutor9_12_valid b/result/relaxng/tutor9_12_valid
new file mode 100644
index 00000000..8881730d
--- /dev/null
+++ b/result/relaxng/tutor9_12_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_12.rng validates
diff --git a/result/relaxng/tutor9_1_err b/result/relaxng/tutor9_1_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_1_err
diff --git a/result/relaxng/tutor9_1_valid b/result/relaxng/tutor9_1_valid
new file mode 100644
index 00000000..22c5f370
--- /dev/null
+++ b/result/relaxng/tutor9_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_1.rng validates
diff --git a/result/relaxng/tutor9_2_err b/result/relaxng/tutor9_2_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_2_err
diff --git a/result/relaxng/tutor9_2_valid b/result/relaxng/tutor9_2_valid
new file mode 100644
index 00000000..83c34ff7
--- /dev/null
+++ b/result/relaxng/tutor9_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_2.rng validates
diff --git a/result/relaxng/tutor9_3_err b/result/relaxng/tutor9_3_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_3_err
diff --git a/result/relaxng/tutor9_3_valid b/result/relaxng/tutor9_3_valid
new file mode 100644
index 00000000..0a82f8eb
--- /dev/null
+++ b/result/relaxng/tutor9_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_3.rng validates
diff --git a/result/relaxng/tutor9_4_err b/result/relaxng/tutor9_4_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_4_err
diff --git a/result/relaxng/tutor9_4_valid b/result/relaxng/tutor9_4_valid
new file mode 100644
index 00000000..42d087f3
--- /dev/null
+++ b/result/relaxng/tutor9_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_4.rng validates
diff --git a/result/relaxng/tutor9_5_2.err b/result/relaxng/tutor9_5_2.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor9_5_2.err
+++ b/result/relaxng/tutor9_5_2.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor9_5_3.err b/result/relaxng/tutor9_5_3.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor9_5_3.err
+++ b/result/relaxng/tutor9_5_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor9_5_err b/result/relaxng/tutor9_5_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_5_err
diff --git a/result/relaxng/tutor9_5_valid b/result/relaxng/tutor9_5_valid
new file mode 100644
index 00000000..e6ddd7a3
--- /dev/null
+++ b/result/relaxng/tutor9_5_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_5.rng validates
diff --git a/result/relaxng/tutor9_6_2.err b/result/relaxng/tutor9_6_2.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor9_6_2.err
+++ b/result/relaxng/tutor9_6_2.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor9_6_3.err b/result/relaxng/tutor9_6_3.err
index d0012f71..8fcd1831 100644
--- a/result/relaxng/tutor9_6_3.err
+++ b/result/relaxng/tutor9_6_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor9_6_err b/result/relaxng/tutor9_6_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_6_err
diff --git a/result/relaxng/tutor9_6_valid b/result/relaxng/tutor9_6_valid
new file mode 100644
index 00000000..897a0929
--- /dev/null
+++ b/result/relaxng/tutor9_6_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_6.rng validates
diff --git a/result/relaxng/tutor9_7_err b/result/relaxng/tutor9_7_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_7_err
diff --git a/result/relaxng/tutor9_7_valid b/result/relaxng/tutor9_7_valid
new file mode 100644
index 00000000..e171320b
--- /dev/null
+++ b/result/relaxng/tutor9_7_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_7.rng validates
diff --git a/result/relaxng/tutor9_8_err b/result/relaxng/tutor9_8_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_8_err
diff --git a/result/relaxng/tutor9_8_valid b/result/relaxng/tutor9_8_valid
new file mode 100644
index 00000000..41a926c7
--- /dev/null
+++ b/result/relaxng/tutor9_8_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_8.rng validates
diff --git a/result/relaxng/tutor9_9_err b/result/relaxng/tutor9_9_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutor9_9_err
diff --git a/result/relaxng/tutor9_9_valid b/result/relaxng/tutor9_9_valid
new file mode 100644
index 00000000..c4a95fd1
--- /dev/null
+++ b/result/relaxng/tutor9_9_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_9.rng validates
diff --git a/result/relaxng/tutorA_err b/result/relaxng/tutorA_err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/relaxng/tutorA_err
diff --git a/result/relaxng/tutorA_valid b/result/relaxng/tutorA_valid
new file mode 100644
index 00000000..b4ab892f
--- /dev/null
+++ b/result/relaxng/tutorA_valid
@@ -0,0 +1 @@
+./test/relaxng/tutorA.rng validates