feat: TLA 模块 test262 入口按编译标志路由异步驱动

This commit is contained in:
2026-10-13 18:26:53 +00:00
parent e63d835c86
commit b0249e84f7
3 changed files with 30 additions and 23 deletions
+8 -1
View File
@@ -223,7 +223,14 @@ fn run_and_judge(
}
let mut run_result: Result<JsValue, String> = Ok(JsValue::undefined());
for module in modules {
match vm.run(module) {
// 按编译产物标志路由:TLA 模块走异步驱动(单次 drain 到静止、三态终结),
// 非 TLA 模块走原同步路径零 diff。判据是编译标志而非测试元数据旗标。
let result = if module.is_async {
vm.run_tla(module)
} else {
vm.run(module)
};
match result {
Ok(v) => run_result = Ok(v),
Err(e) => {
run_result = Err(e);