Add a tiny XML file to help debug automata behaviour.

diff --git a/tests/tiny.xml b/tests/tiny.xml
new file mode 100644 (file)
index 0000000..fe1474f
--- /dev/null
+++ b/tests/tiny.xml
@@ -0,0 +1 @@
+<a><b><c></c></b></a>

diff --git a/tests/tiny.xml.queries b/tests/tiny.xml.queries
new file mode 100644 (file)
index 0000000..55ba351
--- /dev/null
+++ b/tests/tiny.xml.queries
@@ -0,0 +1,2 @@
+T1     /descendant::b [ not(d/preceding-sibling::c) ]
+T2     /descendant::b [ (not(c/following::e) or not(c/preceding::e)) or (c/following::e and c/preceding::e)]/d

diff --git a/tests/tiny.xml.results/T1_jaxp.log b/tests/tiny.xml.results/T1_jaxp.log
new file mode 100644 (file)
index 0000000..e212525
--- /dev/null
+++ b/tests/tiny.xml.results/T1_jaxp.log
@@ -0,0 +1,2 @@
+evaluation time: 75ms
+serialization time: 166ms

diff --git a/tests/tiny.xml.results/T1_jaxp.xml b/tests/tiny.xml.results/T1_jaxp.xml
new file mode 100644 (file)
index 0000000..eff93ba
--- /dev/null
+++ b/tests/tiny.xml.results/T1_jaxp.xml
@@ -0,0 +1,3 @@
+<xml_result num="1">
+<b><c/></b>
+</xml_result>

diff --git a/tests/tiny.xml.results/T2_jaxp.log b/tests/tiny.xml.results/T2_jaxp.log
new file mode 100644 (file)
index 0000000..dd20777
--- /dev/null
+++ b/tests/tiny.xml.results/T2_jaxp.log
@@ -0,0 +1,2 @@
+evaluation time: 75ms
+serialization time: 0ms

diff --git a/tests/tiny.xml.results/T2_jaxp.xml b/tests/tiny.xml.results/T2_jaxp.xml
new file mode 100644 (file)
index 0000000..25b9f37
--- /dev/null
+++ b/tests/tiny.xml.results/T2_jaxp.xml
@@ -0,0 +1,2 @@
+<xml_result num="1">
+</xml_result>