projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Found two bugs by rewriting the compilation in the thesis.
[tatoo.git]
/
tests
/
results
/
my.result
diff --git
a/tests/results/my.result
b/tests/results/my.result
index
227e738
..
57e54c1
100644
(file)
--- a/
tests/results/my.result
+++ b/
tests/results/my.result
@@
-17,8
+17,8
@@
Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
# Query states: { q₁ q₂ q₈ q₉ }
# Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
# Selecting states: { q₁ }
# Query states: { q₁ q₂ q₈ q₉ }
# Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
# Selecting states: { q₁ }
- # Bottom states: { qâ
\82
\81
qâ
\82
\82
qâ
\82
\88
}
- # To
m
states: { q₉ }
+ # Bottom states: { qâ
\82
\82
qâ
\82
\88
qâ
\82
\89
}
+ # To
p
states: { q₉ }
# Queries transitions:
| q₁ ----F(b)---> ↓₁q₀
| q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁
# Queries transitions:
| q₁ ----F(b)---> ↓₁q₀
| q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁