Asserts that the qubit
q is in the expected eigenstate of the Pauli Z operator.
operation AssertQubit (expected : Result, q : Qubit) : Unit is Adj + Ctl
expected : Result
Which state the qubit is expected to be in:
q : Qubit
The qubit whose state is asserted.
Output : Unit
AssertQubitIsInStateWithinTolerance operation allows for asserting arbitrary qubit states rather than only $Z$ eigenstates.
Note that the Adjoint and Controlled versions of this operation will not check the condition.