Home | History | Annotate | Download | only in src

Lines Matching full:pushed

1059      have just been pushed. so pushing a state here evens the stacks.