Add support for setting initial node number through debugging extension.
authorManuel Mohr <manuel.mohr@kit.edu>
Wed, 20 Jun 2012 11:51:15 +0000 (13:51 +0200)
committerManuel Mohr <manuel.mohr@kit.edu>
Wed, 27 Jun 2012 12:02:15 +0000 (14:02 +0200)
commit3259e5539908d99fdfbbd62b49d35e19630c6849
tree4b0e66b4988c97d0075e123fac04fae8a3b5bac2
parentba1c02ac436380909c5526e49328f625dc036632
Add support for setting initial node number through debugging extension.

This also supports setting the initial node number to "rand", thereby
replacing randnodenr.
ir/debug/debugger.c