# AssertMeasurementProbability operation

Namespace: Microsoft.Quantum.Diagnostics

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
```

## Input

### 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 `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.