Issue
No test verifies that optimized/scheduled circuits produce the same unitary as the input circuit. After the scheduling and fusion bugs are fixed (#32, #33, #37), we need:
Operator(scheduled_circuit) == Operator(original_circuit) for all scheduling methods
Operator(fused_circuit) ≈ Operator(original_circuit) for fusion (up to global phase)
- Tests for ALAP producing a DIFFERENT schedule than ASAP
- Tests for
_partition_qubits producing correct groups after cutting
These are critical correctness properties that are currently untested.
Issue
No test verifies that optimized/scheduled circuits produce the same unitary as the input circuit. After the scheduling and fusion bugs are fixed (#32, #33, #37), we need:
Operator(scheduled_circuit) == Operator(original_circuit)for all scheduling methodsOperator(fused_circuit) ≈ Operator(original_circuit)for fusion (up to global phase)_partition_qubitsproducing correct groups after cuttingThese are critical correctness properties that are currently untested.