diff options
Diffstat (limited to 'src/GF/Devel/README-testgf3')
| -rw-r--r-- | src/GF/Devel/README-testgf3 | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/GF/Devel/README-testgf3 b/src/GF/Devel/README-testgf3 index f7ea4b6aa..15f1be449 100644 --- a/src/GF/Devel/README-testgf3 +++ b/src/GF/Devel/README-testgf3 @@ -26,9 +26,11 @@ More options (debugging flags): -show_refreshing -- ... after refreshing variables -show_optimize -- ... after partial evaluation -show_factorize -- ... after factoring optimization + -show_all -- show all phases + + -1 -- stop after parsing + -2 -- ... extending + -3 -- ... renaming + -4 -- ... type checking + -5 -- ... refreshing - -1 -- stop before extending - -2 -- ... renaming - -3 -- ... type checking - -4 -- ... refreshing - -5 -- ... partial evaluation |