X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tests%2Fresults%2Fmy.result;h=c2f4cd73d5dd461fc94cd5c94b8ecd0b338d41fd;hb=acfa2a9c516dfa751d6963d99e6148f7584537b1;hp=57e54c10c76d4b9b98044590a5e2d80e7aedf33a;hpb=56887cd3c475e6ee16a7ee5953dfc3d687a12452;p=tatoo.git

diff --git a/tests/results/my.result b/tests/results/my.result
index 57e54c1..c2f4cd7 100644
--- a/tests/results/my.result
+++ b/tests/results/my.result
@@ -1,6 +1,7 @@
-Parse query OK ! Parse Tree OK ! Compil OK ! Run OK ! 
+Parse Tree OK ! Parse query OK ! Compil OK ! Run OK ! 
 ##### Query #####
   /descendant::a[descendant::c[child::e and not descendant::f[not descendant::e]/descendant::g]]/descendant::b[child::g]
+
 ##### Doc #####
 <#document><a>
   <b/>
@@ -13,7 +14,7 @@ Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
   <j> <k/> <l/> <m/> </j>
 </a></#document>
 
- ##### ASTA #####
+##### ASTA #####
   # Query states: { q₁ q₂ q₈ q₉ }
   # Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
   # Selecting states: { q₁ }
@@ -36,5 +37,6 @@ Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
     |  q₆ ----F(e)---> ⊤   |  q₆ ----Cof(ø)---> ↓₂q₆  
     |  q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅  
     |  q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇    
-  
-  ##### Run #####
+ 
+##### RUN #####
+  # Mapping: ø