X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tests%2Fresults%2Fmy.result;h=53567dc4cd3a4c9584ffa0412bf07d465def1fae;hb=43df500d1441955e3bc932be2e76318f759f7295;hp=760aeaf2b1b8eec7311f94f57a33da99eb67bfbb;hpb=445457b2dc5ca11cb3d305c346fe7937f29ba2a9;p=tatoo.git

diff --git a/tests/results/my.result b/tests/results/my.result
index 760aeaf..53567dc 100644
--- a/tests/results/my.result
+++ b/tests/results/my.result
@@ -38,7 +38,21 @@ Parse Tree OK ! Parse query OK ! Compil OK ! Run OK !
     |  q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅  
     |  q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇    
  
-##### RUN #####
-  # Mapping: ø
-  
- 
+##### RUN ##### 
+  # Mapping:
+   |  14-->({ ø }, { ø })   |  16-->({ ø }, { ø })  
+   |  21-->({ ø }, { ø })   |  24-->({ ø }, { ø })  
+   |  25-->({ ø }, { ø })   |  34-->({ ø }, { ø })  
+   |  35-->({ ø }, { ø })   
+
+  # Doc: 
+<#document '0><a '1>
+  '2<b '3/>
+  '4<c '5/>
+  '6<d '7/>
+  '8<e '9>
+    '10<f '11 id="1" value="2"> '17<g '18/> '19<h '20/> '21</f>
+    '22<i '23> '24</i>
+  '25</e>
+  '26<j '27> '28<k '29/> '30<l '31/> '32<m '33/> '34</j>
+'35</a></#document>
\ No newline at end of file