Home | History | Annotate | Download | only in tool

Lines Matching full:forked

2695 decision forked new accepts each time for each nondet state.