To check whether an expected behavior
occurred during a run, you add verification points. When you run a test that
contains a verification point, an error is reported if the expected behavior
did not occur. When global verification points are disabled (the default),
you can enable verification points for a specific test.
Procedure