cda-tum / mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking
https://mqt.readthedocs.io/projects/qcec
MIT License
90 stars 21 forks source link

🚸 Warning for missing measurements #239

Closed burgholzer closed 1 year ago

burgholzer commented 1 year ago

Description

Resolves #106.

Checklist:

codecov[bot] commented 1 year ago

Codecov Report

Merging #239 (e4a756f) into main (67ab9ee) will increase coverage by 0.0%. The diff coverage is 100.0%.

@@          Coverage Diff          @@
##            main    #239   +/-   ##
=====================================
  Coverage   96.9%   97.0%           
=====================================
  Files         34      34           
  Lines       1716    1728   +12     
  Branches     210     210           
=====================================
+ Hits        1664    1677   +13     
+ Misses        52      51    -1     
Flag Coverage Δ
cpp 96.9% <ø> (+<0.1%) :arrow_up:
python 97.3% <100.0%> (+<0.1%) :arrow_up:

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
mqt/qcec/verify_compilation_flow.py 100.0% <100.0%> (ø)
src/checker/dd/DDEquivalenceChecker.cpp 91.7% <0.0%> (+0.9%) :arrow_up:

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.