ITADN

Miri strict provenance issue (and a suggestion to reduce dependencies)

#156Closedjustanotheranonymoususer 创建于 2026-03-26
I run some of my tests under Miri strict provenance. SDD was known to be incompatible with Miri strict provenance, and it was [fixed](https://codeberg.org/wvwwvwwv/scalable-delayed-dealloc/commit/a10dd6b7d4d6ae6e517642556b07a0b1e3327e9c) in SDD 4.6.4. The problem is with `serial_test` dependencies... Its latest version 3.4.0 depends on scc = ^2 which in turn depends on sdd = ^3.0. Is it possible to update SCC? v3 was released 7 months ago. And even better, is it possible to remove this dependency and just use standard mutex to have less moving parts?
关闭于 2026-04-03 3 条评论