microsoft/qdk
Publicmirrored from https://github.com/microsoft/qdkAvailable
katas/content/multi_qubit_systems/prepare_with_real/Verification.qs
15lines · modecode
| 1 | namespace Kata.Verification { |
| 2 | open Microsoft.Quantum.Katas; |
| 3 | |
| 4 | operation PrepareWithReal_Reference(qs : Qubit[]) : Unit is Adj + Ctl { |
| 5 | H(qs[0]); |
| 6 | X(qs[1]); |
| 7 | H(qs[1]); |
| 8 | } |
| 9 | |
| 10 | @EntryPoint() |
| 11 | operation CheckSolution() : Bool { |
| 12 | CheckOperationsEquivalenceOnZeroStateWithFeedback(Kata.PrepareWithReal, |
| 13 | PrepareWithReal_Reference, 2) |
| 14 | } |
| 15 | } |
| 16 | |