mkorpela/RoboMachine — Issue #8: '--to-state' option to allow generation of tests that have a well specified end state
Author: mkorpela
Created: 2012-01-14 21:30:22+00:00
State: open

At least 2 interleaving DFS searches from start and end state will work for this.

Have to think how to do the random algo.