Internal measurements

[bichselb]

Does Feynver support internal measurements?

I can use Feynopt with internal measurements, such as

OPENQASM 2.0;
include "qelib1.inc";
qreg q[1];
creg c[1];

measure q[0] -> c[0];
h q[0];

But I was unable to figure out how to specify measurements in .qc files expected by Feynver.

[meamy]

Feynver doesn't support internal measurements at the moment. The code to perform the verification exists, I just haven't gotten around to hooking it all up. Marking this as a feature request!