AssertProb operation
Asserts that measuring the given qubits in the given Pauli basis will have the given result with the given probability, within some tolerance.
operation AssertProb (bases : Pauli[], qubits : Qubit[], result : Result, prob : Double, msg : String, tol : Double) : Unit
 Functors

Adjoint Controlled
Input
 bases
 Pauli[]
A measurement effect to assert the probability of, expressed as a multiqubit Pauli operator.
 qubits
 Qubit[]
A register on which to make the assertion.
 result
 Result
An expected result of Measure(bases, qubits)
.
 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
Remarks
Note that the Adjoint and Controlled versions of this operation will not check the condition.