GVSDS/Viper_RegressionTesting
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
19 Commits 1 Branch 0 Tags
63cab96f533c20b804d9cccb184cd6e74440719b
Commit Graph
19 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
TermiNexus 63cab96f53 fix(generictest2): 去掉 generic_swap 的幽灵类型形参 [T] 
T 未被签名/函数体任何位置引用，签名形参注解为 IntPair | t.CPtr，泛型函数类型实参推断无法为它找到形参槽（_annotation_refers_type_param 返回 0），触发 fail-fast（禁止静默默认 int）。该函数本就不需要泛型，去掉 [T] 即语义正确。
 2026-10-03 15:20:33 +08:00
TermiNexus 7148f8b58d test(zlib-dbg): 加 UINT8PTR/BYTEPTR 元素符号性对拍，验证字节>=128 被符号扩展的假设 2026-10-03 13:18:43 +08:00
TermiNexus 48fabc461a test(zlib-dbg): 加真实频率统计探针（zdeflate_count_freqs 对拍朴素直方图） 2026-10-03 13:16:58 +08:00
TermiNexus 6083d17826 test(zlib-dbg): 加字面量码表探针（直方图/no_code/sum15 完整码校验），定位 comp 远小于熵下限的根因层 2026-10-03 13:15:06 +08:00
TermiNexus 3466b61c58 test(zlib): 启用 test_huffman_tree（前置到干净堆）并补 257 符号全量往返，复现码表构建缺陷 2026-10-03 12:49:34 +08:00
TermiNexus 6e60a89b5c test(zlib-dbg): 去掉 import stdio，验证 f-string 隐式提供 snprintf 声明 2026-10-03 12:46:36 +08:00
TermiNexus 338e28383c fix(zlib-dbg): 补 import stdio，f-string 需要 stdio 声明的 snprintf 2026-10-03 12:40:41 +08:00
TermiNexus 91ebacf36b test(zlib-dbg): 输出改用 testcheck（PASS/FAIL 计数 + 退出码取失败数） 2026-10-03 12:36:59 +08:00
TermiNexus 9fef174f3e fix(sequential-regression): 产物定位兜底 TPV 默认 .tpv_build/output 2026-10-03 12:30:06 +08:00
TermiNexus 76e1acf4da test: 泛型类注解补全类型实参（G5 的 GSList[G5Node]、VectorGenericTest 的 Vector[CInt]/[CFloat64T]） 
配合 TransPyV 新增的「泛型类注解必须带类型实参」fail-fast，把裸泛型注解改为带实参写法。
 2026-10-03 11:16:47 +08:00
TermiNexus f15bb0bc8e test(switch): switch 穿透/跳出/多值 case 回归用例 
- LogicFlowTest：MatchCaseFallthroughTest 改为 SwitchCaseFallthroughTest（match -> switch，case _ -> default）
- 新增 SwitchCaseBreakTest（switch 内 break 只跳出 switch）与 SwitchMultiValueTest（case 1 | 2:）
- main.vp：同步注册上述断言
 2026-10-02 23:15:14 +08:00
TermiNexus 05eec02a9a test(match): 补 break 跳出 match 与 fallthrough 回归用例 
- MatchCaseBreakTest：循环内 match 的 case 写 break 只跳出 match（limit=5 ⇒ 117）
- MatchCaseFallthroughTest：`fallthrough` 落到下一个 case（value=1/2/3/9 ⇒ 6/5/3/77）
- main.vp 注册上述 5 个断言
 2026-10-02 22:33:27 +08:00
TermiNexus e82440bdd8 test: 补充循环 else 与整型 vs None 回归用例 
- ForAndLoopTest：新增 Test 11-17，覆盖 for-else（迭代耗尽 / break 跳过 / range(0)
  空迭代 / list[str] 迭代）与 while-else（条件变假 / 零迭代 / break 跳过）
- EqTest：新增 Test 7（int vs None 四种写法 × 零/非零 + None 在左镜像方向）、
  Test 8（char / sizet 位宽，防从空指针 load 回归）
 2026-10-02 22:07:06 +08:00
TermiNexus 1edc266ada refactor(test): DictTest 嵌套 dict 取用改用 dict* 强类型 
将 outer["sub"] 的 t.CPtr 中转改为 dict*，与 rawptr 迁移后的类型口径一致。
 2026-10-02 22:07:06 +08:00
TermiNexus e9f12973fd docs(Test): 补全测试清单——补录 9 个新增工程与 NegativeTest 负向测试说明 2026-10-01 23:42:42 +08:00
TermiNexus 3645d00753 fix(FormatStringTest): ptr_var 注解改为 str | t.CPtr，匹配 c.Addr(s) 的实际类型 i8** 
c.Addr(s) 取的是局部变量 s（str = i8*）的地址，结果是 i8**；与 INTPTR（= t.CInt | t.CPtr，int*，见 includes/stdint.vp）
层数与基座都不同，指针隐式转换收紧后（层数必须相同）原写法报 CastError。
 2026-10-01 18:01:46 +08:00
TermiNexus cdc6e8bf78 fix(test): FakeDuckTest 的 3 个 list 变量注解补上指针（list[str] → list[str] | t.CPtr） 
【类别 c 源码违规（注解漏指针）】与 includes/_fakeduck.vp 的 split 返回注解配套：
split 返回的是堆对象指针（list[T] 一律以指针传递），故接收变量也须按指针声明。

  Test/FakeDuckTest/App/main.vp:260  list_s: list[str] → list[str] | t.CPtr
  Test/FakeDuckTest/App/main.vp:274  list_a: list[str] → list[str] | t.CPtr
  Test/FakeDuckTest/App/main.vp:275  list_b: list[str] → list[str] | t.CPtr

行为不变：len(list_s) / zip(list_a, list_b) / for-in 都作用在对象上做方法分派，
指针与值写法在这些用法下等价；改注解只为与新判据（指针↔非基本类型值不隐式互转）自洽。
全仓 list 型声明共 383 处用指针写法，本处 3 处是仅剩的值类型写法。
 2026-09-29 16:00:50 +08:00
TermiNexus 0078102eca fix(test): LLvmLiteTest/MLIRLiteTest 的池改用 MemBuddy（llvmlite/mlirlite 的池契约是 MemBuddy） 
【类别 c 源码违规（调用方与库契约不符）】这两个测试给 llvmlite/mlirlite 传的是
memhub.MemPool，而这两个库的池契约是 memhub.MemBuddy；新判据禁止兄弟类指针相转，
于是编译期 fail-fast：
  · 先爆 MemPool* → MemBuddy*（传参处）
  · 若把库侧放宽成 MemManager*，则 TransPyV 读回 builder.Pool 时再爆
    MemManager* → MemBuddy*

为什么是调用方让步、而不是给 MemPool 补接口/把库放宽：
  1. llvmlite 的池不只是"库内 alloc/free"——它被存进 IRBuilder.Pool 并**被 TransPyV 读回**，
     而 TransPyV 需要 MemBuddy 专有方法（alloc_tagged 7 处、mark 12 处、reset_to 43 处），
     所以它对外暴露的有效契约就是 MemBuddy；
  2. llvmlite 的 git 历史里从未出现 pool: memhub.MemPool；
     pool: memhub.MemBuddy* 自 0f55646（2026-09-23）起即如此；
  3. 反观 ast / numpy / json 的池只在库内使用（只 alloc/free），写 MemManager 才对，
     故 Test/AstTest、NumpyTest、DictTest 继续用 MemPool 合法，不受本次改动影响。

改动：
  Test/LLvmLiteTest/App/main.vp  30 处 memhub.MemPool → memhub.MemBuddy
  Test/MLIRLiteTest/App/main.vp  20 处（含 "FAIL: memhub.MemPool init failed" 报文）
  另把 MLIRLiteTest 里"MemPool 是无释放的 bump 分配器（free 为空操作），故此处不调用 free"
  两处注释改成对 MemBuddy 也成立的说法（MemBuddy 支持 free，只是本测试无需逐块回收）。

配套：includes 仓 31b0f79（Revert 9b1399b）把 llvmlite/mlirlite/torch 复原回 pool: memhub.MemBuddy*。
 2026-09-29 15:51:02 +08:00
TermiNexus 3c6fb1d246 chore(test): 初始化回归测试仓（新增 .gitignore，TestsOverview.md 改为 README.md） 
把 Test/ 纳入 https://git.gvsds.com/GVSDS/Viper_RegressionTesting 。

1) 新增 .gitignore —— 只保留测试源码，剔除全部构建产物：
   目录   **/output*/（output / output_opt / output_orig / output_verify / output_dbg）、
          **/temp*/（temp / temp_opt）、**/.tpv_build/
   二进制 *.exe *.obj *.o *.out *.a *.lib *.dll
   中间物 *.ll *.vpi *.pyi *.deps.txt *.deps.json *.doc.json *_sha1_map.txt
          _pyi_cache_v1.pkl _pyi_cache_v1.sig.json _shared_sym.json _phase1_manifest.json
   其它   build_all.txt（构建日志）、*.log、__pycache__/、*.bak、IDE 目录
   保留   App/*.vp、project.json / project_opt.json / project.vpj、README.md、两个 .py
   实测 `git add -A --dry-run`：196 个文件，无任何构建产物混入。

2) TestsOverview.md → README.md（作为仓库首页文档）。

3) SequentialRegressionTest.py：7 处 TestsOverview.md 引用同步改为 README.md
   （文档串、OVERVIEW 路径、read_test_order 文档与报错文案、argparse description、
   启动横幅）；同时修正入口路径 PROJECTRANS —— 旧值 <root>/Projectrans.py 已不存在，
   改为 <root>/TransPyC/Projectrans.py（与 regression_test.py:45-48 记录一致），
   否则本脚本会以 "can't open file" 全量失败。
   regression_test.py 无需改动：它按目录扫描 project.json 找项目，不引用该文档。
 2026-09-29 15:14:59 +08:00