# Qiskit comparing circuit to desired one

I am working on a simple program using Qiskit in python in which the programs are using evolutionarily algorithms to search for a desired circuit. I need to compare the generated circuits with desired one but I don't know how? I know that there is no truth table for quantum circuits. But for example I need to check if a circuit is working true as an adder or not. How to do this in Qiskit?

For example, if you want to add 3 + 5 in a $$n$$ qubit representation, the circuit likely does something like representing the inputs with (for example) two registers with 5 qubits each (with an additional qubit each to account for carry in the result), eg.: $$a = |000011\rangle \\ b = |000101\rangle$$ The adder circuit must also reserve an $$n+1$$-register for the result (the $$+1$$ is again required to account for a potential carry). If you read out the result register and look for the sub-state with the highest probability, you can check whether the result has been computed correctly as: $${\tt result} = |001000\rangle$$