diff options
| author | Anas Nashif <anas.nashif@intel.com> | 2012-11-05 11:10:13 -0800 |
|---|---|---|
| committer | Anas Nashif <anas.nashif@intel.com> | 2012-11-05 11:10:13 -0800 |
| commit | 7be93f2d05131d061bd4790ae33c8d50f50010d7 (patch) | |
| tree | 72736c1606f803a92ffa07c9808ffea2521d009e /examples/trace.m4 | |
| download | m4-7be93f2d05131d061bd4790ae33c8d50f50010d7.tar.gz m4-7be93f2d05131d061bd4790ae33c8d50f50010d7.tar.bz2 m4-7be93f2d05131d061bd4790ae33c8d50f50010d7.zip | |
Imported Upstream version 1.4.16upstream/1.4.16
Diffstat (limited to 'examples/trace.m4')
| -rw-r--r-- | examples/trace.m4 | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/examples/trace.m4 b/examples/trace.m4 new file mode 100644 index 0000000..92ce981 --- /dev/null +++ b/examples/trace.m4 @@ -0,0 +1,30 @@ +divert(-1) + +# move(from, to) +define(`move', `Move one disk from `$1' to `$2'. +') + +# _hanoi (cnt, from, to, aux) +define(`_hanoi', `ifelse(eval(`$1'<=1), 1, `move($2, $3)', +`$0(decr($1), $2, $4, $3)move($2, $3)$0(decr($1), $4, $3, $2)')') + +# hanoi (cnt) +define(`hanoi', `_$0(`$1', source, destination, auxilliary)') +divert`'dnl + +# Debugmode t +debugmode(`t') +hanoi(2) + +# Debugmode taeq +debugmode(`taeq') +hanoi(2) + +# Debugmode OFF +debugmode +hanoi(2) + +# Debugmode ae +debugmode(`ae') +traceon(`move', `_hanoi') +hanoi(2) |