Circuit/System Verification
WARNING: This page is about a different car, the 2007 Buick Lucerne. However, it is still accessible from the selected car via links, so may be relevant.
With the scan tool, access the ABS special functions menu and perform the ABS Motor test. The pump motor should function and no DTCs should be set.