Use unordered containers in DeMorganSimplifier#2232
Use unordered containers in DeMorganSimplifier#2232esseivaju wants to merge 3 commits intoceleritas-project:developfrom
Conversation
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## develop #2232 +/- ##
========================================
Coverage 86.81% 86.82%
========================================
Files 1330 1330
Lines 42019 42027 +8
Branches 12950 12949 -1
========================================
+ Hits 36480 36489 +9
Misses 4335 4335
+ Partials 1204 1203 -1
🚀 New features to boost your workflow:
|
Test summary 5 893 files 9 431 suites 18m 27s ⏱️ Results for commit 092ff67. ♻️ This comment has been updated with latest results. |
| CELER_ASSERT(node_ids_translation_[negated->node.get()].unmodified); | ||
| negated->node | ||
| = node_ids_translation_[negated->node.get()].unmodified; | ||
| CELER_ASSERT(this->translation(negated->node).unmodified); |
There was a problem hiding this comment.
In the places where we call translation() inside an assertion, is the node always guaranteed to already be in the map, or is it possible for the debug check to create a new entry?
There was a problem hiding this comment.
Ah thanks good catch! There's no guarantee that the node is present when calling the assertion. I've reworked this to avoid the side-effect in the assertion.
Follow-up to #2231, use map and set instead of pre-allocated vectors.