scyther/src/debuglevels.txt

8 lines
274 B
Plaintext
Raw Normal View History

2004-04-23 11:58:43 +01:00
Conventions for debug levels; ifdef DEBUG
-D1 meta show compiled code, meta dynamic results
-D2 claims show results of claims
-D3 events show executed events
-D4 internalsHigh interesting internals (traces that were cut off)
-D5 internalsLow usually uninteresting stuff