Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

🐛 Properly reset task managers #348

Merged
merged 2 commits into from
Jan 5, 2024
Merged

🐛 Properly reset task managers #348

merged 2 commits into from
Jan 5, 2024

Conversation

burgholzer
Copy link
Member

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:

  • The pull request only contains commits that are related to it.
  • I have added appropriate tests and documentation.
  • I have made sure that all CI jobs on GitHub pass.
  • The pull request introduces no new warnings and follows the project's style guidelines.

@burgholzer burgholzer added c++ Anything related to C++ code fix Anything related to bugfixes labels Jan 5, 2024
@burgholzer burgholzer self-assigned this Jan 5, 2024
Copy link

codecov bot commented Jan 5, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

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

Additional details and impacted files

Impacted file tree graph

@@          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 Coverage Δ
cpp 96.0% <100.0%> (+<0.1%) ⬆️
python 97.2% <ø> (ø)
Files Coverage Δ
include/checker/dd/DDAlternatingChecker.hpp 100.0% <ø> (ø)
include/checker/dd/DDConstructionChecker.hpp 83.3% <100.0%> (+1.5%) ⬆️
include/checker/dd/DDEquivalenceChecker.hpp 100.0% <ø> (ø)
include/checker/dd/TaskManager.hpp 98.4% <100.0%> (+<0.1%) ⬆️
src/checker/dd/DDEquivalenceChecker.cpp 95.4% <100.0%> (+1.0%) ⬆️
src/checker/dd/DDSimulationChecker.cpp 100.0% <100.0%> (ø)

burgholzer added a commit that referenced this pull request Jan 5, 2024
)

## Description

This was triggered by a clang-tidy warning that popped up in #348.
This PR also adjusts the `TaskManager` interface to take a reference to
a package instance instead of a unique pointer; making the interface
more generic.
This should unblock #348.

## Checklist:

<!---
This checklist serves as a reminder of a couple of things that ensure
your pull request will be merged swiftly.
-->

- [x] The pull request only contains commits that are related to it.
- [x] I have added appropriate tests and documentation.
- [x] I have made sure that all CI jobs on GitHub pass.
- [x] The pull request introduces no new warnings and follows the
project's style guidelines.

---------

Signed-off-by: burgholzer <[email protected]>
@burgholzer burgholzer force-pushed the reset-task-managers branch from cd9df9b to 8f8e95a Compare January 5, 2024 14:58
@burgholzer burgholzer enabled auto-merge (squash) January 5, 2024 15:01
@burgholzer burgholzer merged commit b867ac4 into main Jan 5, 2024
34 checks passed
@burgholzer burgholzer deleted the reset-task-managers branch January 5, 2024 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c++ Anything related to C++ code fix Anything related to bugfixes
Projects
Status: Done
Status: Done
Development

Successfully merging this pull request may close these issues.

🐛 Simulations only work correctly for the first run and check nothing from the second run
1 participant