result in .gitignore + pretty printing

[tatoo.git] / tests / results / my.result

diff --git a/tests/results/my.result b/tests/results/my.result
index 63faaef..c2f4cd7 100644 (file)
--- a/tests/results/my.result
+++ b/tests/results/my.result
@@ -1,4 +1,4 @@
-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]
 
@@ -38,4 +38,5 @@ Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
     |  q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅  
     |  q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇    
  
-##### Run #####
+##### RUN #####
+  # Mapping: ø