search

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

πŸ› Properly reset task managers #348

Closed burgholzer closed 9 months ago

burgholzer commented 9 months ago

Description

This PR fixes an issue that TaskManager class was only ever being reliably usable once due to its internal iterator and permutation not being reset in further invocations. Β  Fixes #347

Checklist:

codecov[bot] commented 9 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (4d1caad) 96.2% compared to head (8f8e95a) 96.2%.

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348/graphs/tree.svg?width=650&height=150&src=pr&token=eKL7Ya7iep&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum)](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) ```diff @@ Coverage Diff @@ ## main #348 +/- ## ===================================== Coverage 96.2% 96.2% ===================================== Files 34 34 Lines 1751 1756 +5 Branches 214 214 ===================================== + Hits 1685 1691 +6 + Misses 66 65 -1 ``` | [Flag](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | Coverage Ξ” | | |---|---|---| | [cpp](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | `96.0% <100.0%> (+<0.1%)` | :arrow_up: | | [python](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | `97.2% <ΓΈ> (ΓΈ)` | | | [Files](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | Coverage Ξ” | | |---|---|---| | [include/checker/dd/DDAlternatingChecker.hpp](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-aW5jbHVkZS9jaGVja2VyL2RkL0REQWx0ZXJuYXRpbmdDaGVja2VyLmhwcA==) | `100.0% <ΓΈ> (ΓΈ)` | | | [include/checker/dd/DDConstructionChecker.hpp](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-aW5jbHVkZS9jaGVja2VyL2RkL0REQ29uc3RydWN0aW9uQ2hlY2tlci5ocHA=) | `83.3% <100.0%> (+1.5%)` | :arrow_up: | | [include/checker/dd/DDEquivalenceChecker.hpp](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-aW5jbHVkZS9jaGVja2VyL2RkL0RERXF1aXZhbGVuY2VDaGVja2VyLmhwcA==) | `100.0% <ΓΈ> (ΓΈ)` | | | [include/checker/dd/TaskManager.hpp](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-aW5jbHVkZS9jaGVja2VyL2RkL1Rhc2tNYW5hZ2VyLmhwcA==) | `98.4% <100.0%> (+<0.1%)` | :arrow_up: | | [src/checker/dd/DDEquivalenceChecker.cpp](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-c3JjL2NoZWNrZXIvZGQvRERFcXVpdmFsZW5jZUNoZWNrZXIuY3Bw) | `95.4% <100.0%> (+1.0%)` | :arrow_up: | | [src/checker/dd/DDSimulationChecker.cpp](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/348?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-c3JjL2NoZWNrZXIvZGQvRERTaW11bGF0aW9uQ2hlY2tlci5jcHA=) | `100.0% <100.0%> (ΓΈ)` | |