Files
endorphin-aster-vm/crates/objects/tests/README.md

1.1 KiB

Objects 独立行为检查

本目录只依赖 objects 公共 API,不依赖 core 或 VM 求值器。

文件 覆盖
attribute_storage.rs 可转移字段存储、原类型身份、替换释放、属性写删、非法路径拒绝及类型化能力方法遮蔽的登记/调用/修复
store.rs 只读嵌套、容器与类型写入屏障、稳定地址、跨存储句柄拒绝与更新原子性、Dict/Cell 循环回收、函数校验失败无泄漏、共享代码与常量生命周期

非法句柄索引、槽位代数与计数溢出仍在 src/heap.rs 的私有单元测试内,不开放句柄构造器。VM 委托 API 与求值行为继续由 core/tests 检查。随工作区在指定远端运行,本地不测试;现有测试源码不代表已通过,见 验证。返回 objects。

store.rs 还覆盖只读子调用读取区域、重复读取、LIFO 校验与未关闭区域的调用结束清理;这些用例按约定不在本地运行。