This chapter discusses the effects of non-unitary operations on quantum circuit equivalence checking. It shows that it is not necessary to start from scratch in order to use existing tools to handle this broader class of circuits and proposes two different schemes that target two slightly different verification scenarios. First, it shows how to transform dynamic circuits into circuits with only unitary operations by combining well-known results from quantum information. This allows existing methods for checking the equivalence of quantum circuits to be used for this broader class of dynamic circuits. Second, it shows how to use classical quantum circuit simulation in a clever way to get the full measurement probabilities of a dynamic circuit as if it did not contain any non-unitaries. Overall, these schemes form a generic solution for handling non-unitaries in verifying the equivalence of quantum circuits that is applicable to any existing verification framework.