projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Structure run + Print run
[tatoo.git]
/
tests
/
results
/
my.result
diff --git
a/tests/results/my.result
b/tests/results/my.result
index
8d48275
..
760aeaf
100644
(file)
--- a/
tests/results/my.result
+++ b/
tests/results/my.result
@@
-38,4
+38,7
@@
Parse Tree OK ! Parse query OK ! Compil OK ! Run OK !
| q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅
| q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇
-##### Run #####
+##### RUN #####
+ # Mapping: ø
+
+