Asserts that measuring the given qubits in the given Pauli basis will have the given result with the given probability, within some tolerance.
operation AssertMeasurementProbability (bases : Pauli, qubits : Qubit, result : Result, prob : Double, msg : String, tol : Double) : Unit
bases : Pauli
A measurement effect to assert the probability of, expressed as a multi-qubit Pauli operator.
qubits : Qubit
A register on which to make the assertion.
result : invalid
An expected result of
prob : Double
The probability with which the given result is expected.
msg : String
A message to be reported if the assertion fails.
tol : Double
Output : Unit
Note that the Adjoint and Controlled versions of this operation will not check the condition.