X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tests%2Fresults%2Fmy.result;h=760aeaf2b1b8eec7311f94f57a33da99eb67bfbb;hb=881ebcb1df7335560c8715ec673980158f6ee585;hp=63faaef9340fce374244e1fe0227192b5b248646;hpb=8ea5ba2ff786907b1859fb7f8dd0a0342a369cbf;p=tatoo.git diff --git a/tests/results/my.result b/tests/results/my.result index 63faaef..760aeaf 100644 --- 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,7 @@ Parse query OK ! Parse Tree OK ! Compil OK ! Run OK ! | q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅ | q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇ -##### Run ##### +##### RUN ##### + # Mapping: ø + +