Assert operation

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) : ()

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
Result

The expected result of Measure(bases, qubits).

msg
String

A message to be reported if the assertion fails.

Output

()

See Also