Lines Matching full:things
547 // checks that the right things happened.
598 // checks that the right things happened.
685 // checks that the right things happened.
739 // checks that the right things happened. Note that the verifier holds the
798 // checks that the right things happened.
864 // checks that the right things happened.
