Fixing deep checking and shield checking#209
Draft
rptb1 wants to merge 15 commits intomasterfrom branch/2023-03-30/fix-deep-check
Commits
Commits on Mar 30, 2023
- committed
- committed
Correcting false assertion about shield queue length and enforcing exact check by better accounting. Fixes job004026 <https://www.ravenbrook.com/project/mps/issue/?action=job&job=job004026>. Mitiga…
committed- committed
- committed
- committed
- committed
Commits on Mar 31, 2023
- committed
Passing a shield to shield functions, rather than an arena, to ensure the shield gets checked. Also makes the shield code smaller and more natural. Fixes GitHub issue #205 <#205>.
committedDon't remove segment from pool ring until it is flushed from the shield queue, so that shieldDebugCheck can find and check it. Fixes GitHub issue #206 <#206>.
committed- committed
- committed
- committed