diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-05 18:59:14 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-05 18:59:14 +0000 |
| commit | fe863958533cd905939241e6fa50af439058cf5a (patch) | |
| tree | c8254e5797d795d733585d0d82e85d4d4a1fa9dd /src/GF/Devel/README-testgf3 | |
| parent | 674b4765e653d91c8c900da1263df8c0f4d767ad (diff) | |
debugging testgf3
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 |