Asserts that measuring the given qubits in the given Pauli basis will always have the given result.
operation Assert (bases : Pauli, qubits : Qubit, result : Result, msg : String) : ()
A measurement effect to assert the probability of, expressed as a multi-qubit Pauli operator.
A register on which to make the assertion.
The expected result of
A message to be reported if the assertion fails.
Note that the Adjoint and Controlled versions of this operation will not check the condition.