mirror of
https://github.com/NaC-L/Mergen.git
synced 2026-05-12 09:40:34 +00:00
yusufcanislek
2180c6aabe
Additive coverage only.
Adds the remaining narrow-width complement tests for the phi-address helpers:
- generalized_phi_address_byte_count_two_returns_masked_phi
- generalized_local_phi_address_byte_count_one_returns_masked_phi
These complete the stable narrow-width matrix across phi_address and
local_phi_address helpers, complementing the already-landed byteCount=1
phi_address and byteCount=2 local_phi_address tests.
Verified:
- python test.py micro: all 177 microtests pass (was 175)
- python test.py baseline: all rewrite regression checks passed,
determinism check passed (42 golden files match)
- Themida reference sample unchanged (2544/0/0)
Loop-related microtest count: 126 -> 128 per the
/loop|backedge|generalized|rolled|themida|phi_address/i regex.
Session cumulative total: 36 baseline -> 128 current (+92).