Closed zekemorton closed 3 weeks ago
Merging #1156 (8f26972) into master (1c68ec6) will decrease coverage by
3.0%
. Report is 34 commits behind head on master. The diff coverage is66.6%
.:exclamation: Current head 8f26972 differs from pull request most recent head 04835ad. Consider uploading reports for the commit 04835ad to get more accurate results
@milroy looks like it wants another approval after rebasing
When either growing or shrinking the resource graph, there is no means of reinitializing the planner with the proper resource counts. If the planner is not reinitialized, the original totals from when the graph was created will remain. If it is initialized again, it will loose all allocated counts. This PR combined with the effort from converting planner_multi into a boost multi index address this issue.
This PR adds a check in the initialization function to see if a planner already exists, and if it does, it updates the total counts rather than creating a new planner without the allocated counts.