done (0, actionNone, 0)
done (0, action2, 2)
done (2, action1, 1)
done Forced reset(true)
done (0, action2, 2)
done (2, action0, 0)
done (0, action2, 2)
done (2, action0, 0)
done (0, actionNone, 0)
done (0, actionNone, 0)
done (0, actionNone, 0)
done (0, action2, 2)
done (2, action0, 0)
done Random reset(true)
done (0, actionNone, 0)
done (0, actionNone, 0)
done (0, action2, 2)
done (2, action0, 0)
done (0, action2, 2)
done Random reset(true)
Transition Coverage was 4/5