Circuit/System Verification
WARNING: This page is about a different car, the 2009 Saturn Vue. However, it is still accessible from the selected car via links, so may be relevant.
Ignition ON, use a scan tool to observe the EBCM BMC Primary Piston Position Sensor A and B parameter while applying and releasing the brake pedal. The voltage should change between 0 and 5 volts.