# Complete `BitOrder` Verification
This function checks some [`BitOrder`] implementation’s behavior on each of the
[`BitRegister`] types present on the target, and reports any violation of the
rules that it detects.
## Type Parameters
- `O`: The `BitOrder` implementation being tested.
## Parameters
- `verbose`: Controls whether the test should print diagnostic information to
standard output. If this is false, then the test only prints a message on
failure; if it is true, it emits a message for every test it executes.
## Panics
This panics when it detects a violation of the `BitOrder` rules. If it returns
normally, then the implementation is correct.
[`BitOrder`]: crate::order::BitOrder
[`BitRegister`]: crate::mem::BitRegister