'--to-state' option to allow generation of tests that have a well specified end state
Closed this issue · 0 comments
mkorpela commented
At least 2 interleaving DFS searches from start and end state will work for this.
Have to think how to do the random algo.