source-academy / py-slang / 29534975709

87%

push

github

Add table-driven operator conformance sweep for the stepper (#269)

Mirrors the existing CSE/native-Pynter/pynter-wasm conformance suites: for
every operator x type x type combination in operator-spec.ts, compute the CSE
machine's own result fresh and assert the substitution-model stepper agrees,
across binary operators, unary `-`, `not`, and `and`/`or`, for Python §1/§2
(the only chapters the stepper implements).

Building this sweep surfaced a real bug in reduce.ts: structuralEquals's
bool/function exclusion check delegated to reportBinaryTypeError, which
silently no-ops when either operand's valueTypeName is null (its deliberate
"stuck, not error" fallback for pair arithmetic) - so e.g. `pair(1, 2) ==
True` was silently evaluating to False instead of raising the TypeError
Python §1/§2 equality requires. Fixed by throwing directly with
operandTypeName (which does name pairs) in this equality-exclusion path only.

2758 of 3804 branches covered (72.5%)

Branch coverage included in aggregate %.

1 of 1 new or added line in 1 file covered. (100.0%)

6339 of 7823 relevant lines covered (81.03%)

13148.33 hits per line