继续推进浏览器 random tool-table 结果行 guard

This commit is contained in:
2026-06-14 12:39:35 +08:00
parent c8dd5b0598
commit 03ddff7b57
2 changed files with 77 additions and 17 deletions

View File

@@ -9469,22 +9469,24 @@
],
};
const browserDirectRandomTools = [browserDirectRandomFinishTool, browserDirectRandomRoughTool];
const browserDirectRandomLoadToolTableResultLines = opfsRandomToolTableResultLines("load", [
{ resultLines: ["tooldata_last_index=9"] },
...browserDirectRandomTools,
{ resultLines: ["tool_index_for_tool_2=7"] },
]);
verifyExpectedOutput(
"load_tool_table_direct_random",
interp.loadToolTable(browserRandomToolTablePath, { randomToolChanger: true }),
opfsRandomToolTableResultLines("load", [
{ resultLines: ["tooldata_last_index=9"] },
...browserDirectRandomTools,
{ resultLines: ["tool_index_for_tool_2=7"] },
]).join("\n"),
browserDirectRandomLoadToolTableResultLines.join("\n"),
);
const browserDirectRandomSaveToolTableResultLines = opfsRandomToolTableResultLines("save", [
{ resultLines: ["tool_pocket_7.toolno=2"] },
{ resultLines: ["tool_pocket_9.toolno=5"] },
]);
verifyExpectedOutput(
"save_tool_table_direct_random",
interp.saveToolTable(browserRandomToolTablePath),
opfsRandomToolTableResultLines("save", [
{ resultLines: ["tool_pocket_7.toolno=2"] },
{ resultLines: ["tool_pocket_9.toolno=5"] },
]).join("\n"),
browserDirectRandomSaveToolTableResultLines.join("\n"),
);
const browserDirectRandomSavedToolTableTextLines = opfsRandomToolTableTextLines(
browserDirectRandomTools,
@@ -9677,13 +9679,14 @@
wasm: browserRandomWasmPaths,
},
);
const browserRandomLoadToolTableResultLines = opfsRandomToolTableResultLines("load", [
...browserRandomTools,
{ resultLines: ["tool_index_for_tool_2=7"] },
]);
verifyOpfsLoadResult(
"opfs_load_random_tool_table",
loadedRandomSession.toolTable,
opfsRandomToolTableResultLines("load", [
...browserRandomTools,
{ resultLines: ["tool_index_for_tool_2=7"] },
]),
browserRandomLoadToolTableResultLines,
);
const savedRandomToolTable = await saveMachineToolTableToOpfs(
interp,
@@ -9697,13 +9700,14 @@
OPFS_DEFAULT_TOOL_TABLE_FILENAME,
browserRandomWasmPaths.toolTable,
);
const browserRandomSaveToolTableResultLines = opfsRandomToolTableResultLines("save", [
{ resultLines: ["tool_pocket_7.toolno=2"] },
{ resultLines: ["tool_pocket_9.toolno=5"] },
]);
verifyOpfsSaveResult(
"opfs_save_random_tool_table",
savedRandomToolTable,
opfsRandomToolTableResultLines("save", [
{ resultLines: ["tool_pocket_7.toolno=2"] },
{ resultLines: ["tool_pocket_9.toolno=5"] },
]),
browserRandomSaveToolTableResultLines,
);
const browserRandomSavedToolTableTextLines = opfsRandomToolTableTextLines(browserRandomTools);
await verifyOpfsMachineFileReadback(