lpssim with random steps

[jgroote]

Issue migrated from trac ticket # 857

component: lpssim | priority: minor

2011-11-03 19:31:00: [email protected] created the issue

---

It would be very useful to add some commands to lpssim, e.g.:

b/back N: go backward N steps in the trace f/forward N: you guess

c/choose N: do N random steps from current state (e.g. uniformly choosing between successors)

[jgroote]

2012-08-24 07:05:07:

[jgroote]

2012-08-24 07:05:07: commented

---

Milestone To be decided deleted

[jgroote]

2016-11-24 19:30:27: @wiegerw