GVSDS/Viper_RegressionTesting
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

test: 补充循环 else 与整型 vs None 回归用例

Browse Source 
- 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 回归）
This commit is contained in:
TermiNexus committed 2026-10-02 22:07:06 +08:00
1 parent 1edc266ada
commit e82440bdd8
2 files changed
+126
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

EqTest/App/main.vp
+32
View File
@@ -54,4 +54,36 @@ def main() -> CInt | CExport:
testcheck.check(null_ptr == None, "ptr == None OK", "ptr == None FAILED")
testcheck.check(not (s1 == None), "str != None OK", "str != None FAILED")
# === Test 7: 整型 vs None（整数上的 None 隐式为 0）===
# 语义（TPC / TPV 统一）：x is None ≡ x == None ≡ x == 0；x is not None ≡ x != None ≡ x != 0
testcheck.section("Test 7: int vs None")
nz: int = 7
zr: int = 0
# 非零整数 ⇒ 不等于 None
testcheck.check(not (nz is None), "int(7) is None -> false OK", "int(7) is None FAILED")
testcheck.check(nz is not None, "int(7) is not None -> true OK", "int(7) is not None FAILED")
testcheck.check(not (nz == None), "int(7) == None -> false OK", "int(7) == None FAILED")
testcheck.check(nz != None, "int(7) != None -> true OK", "int(7) != None FAILED")
# 零值 ⇒ 等价于 None
testcheck.check(zr is None, "int(0) is None -> true OK", "int(0) is None FAILED")
testcheck.check(not (zr is not None), "int(0) is not None -> false OK", "int(0) is not None FAILED")
testcheck.check(zr == None, "int(0) == None -> true OK", "int(0) == None FAILED")
testcheck.check(not (zr != None), "int(0) != None -> false OK", "int(0) != None FAILED")
# None 在左侧的镜像方向（TPV 此前该方向分支有误，恒判相等）
testcheck.check(not (None is nz), "None is int(7) -> false OK", "None is int(7) FAILED")
testcheck.check(None is zr, "None is int(0) -> true OK", "None is int(0) FAILED")
# === Test 8: 其它整型位宽 vs None（i8 / i64，防"从空指针 load"回归）===
testcheck.section("Test 8: char / sizet vs None")
c8: char = 0
c8nz: char = 65
testcheck.check(c8 is None, "char(0) is None -> true OK", "char(0) is None FAILED")
testcheck.check(c8nz is not None, "char(65) is not None -> true OK", "char(65) is not None FAILED")
testcheck.check(c8 == None, "char(0) == None -> true OK", "char(0) == None FAILED")
s64: sizet = 0
s64nz: sizet = 4096
testcheck.check(s64 is None, "sizet(0) is None -> true OK", "sizet(0) is None FAILED")
testcheck.check(s64nz is not None, "sizet(4096) is not None -> true OK", "sizet(4096) is not None FAILED")
testcheck.check(s64nz != None, "sizet(4096) != None -> true OK", "sizet(4096) != None FAILED")
return testcheck.end()