From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 24 Nov 2013 21:18:57 +0000 (+0100)
Subject: Add a tiny XML file to help debug automata behaviour.
X-Git-Tag: v0.1~33
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=9c56424fe98c1182060170c724ef603392c82074

Add a tiny XML file to help debug automata behaviour.
---

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