Files
Interpreter/tests
Admin 8c0fc4fe98 12.9 步骤 6:vm_test 固化(手工映像 + 编译器产物 + 确定性)。
- 手工映像:标量/跳转/数据区、CALL/RET 帧复制(r1/r2 实参 → r0 结果)、自调用 StackOverflow、越界槽 BadSlot、坏常量 BadConst
- 编译器产物:用例 01~09/13/15/17/18/20 跑周期断言(TON 第 3 周期 q=1、line1 真值表 4 组)
- 用例 06 CycleLimit;确定性:同一 I 序列两遍数据区逐字节一致
- step 单步:停在指令边界、cycle_count/regs 逐步核对
- ctest 10/10(vm_cycles 84 断言)
2026-08-21 20:22:36 +08:00
..

tests

自动化用例,由顶层 enable_testing() 接入 CTest。

可以 add_testSTCompiler / BytecodeExecutor(编译→执行管线),或直接链接 compiler + vm 做单元断言。样例工程数据按「一份 toml + 若干 .st」分子目录存放,不要做成 library。

用例目录(cases/

每个用例一个子目录:project.toml + .st + EXPECTED.md(期望:通过 / 报哪类错)。清单与编号见 Doc/初步计划.md 12.2 节,共 20 个:

  • 正例:01 空 MAIN、02 BOOL、03 短路、04 IF、05 WHILE、07 算术、08 TIME、09 GVL+EXTERNAL、13 FUNCTION、15 FB、17 TON、18 TOF/CTU、20 line1
  • 负例(编译错误/链接失败):10 非 GVL 写全局、11 同名全局、12 io.var 未声明、14 FUNCTION 写全局、16 未声明实例、19 循环调用
  • 运行时故障:06 cycle_limit 打满

12.2 完成标准:目录和期望表齐,此时大部分还编不过,属正常。实现阶段逐个点亮。

第一版要冻的

  • 关键字表与约 20 个样例程序
  • 约 20 条指令编码
  • 符号表字段:名字、种类、类型、地址、源文件
  • 链接错误:重复 VAR_GLOBAL、非 GVL 文件写全局、io.var 未声明

给人看的最小闭环放 examples/line1/,本目录放断言和负例。