source-academy / py-slang / 27491150850

74%

push

github

Fix CSE machine loop spec compliance (#153) (#155)

* Fix CSE machine loop spec compliance (#153)

- while loops now raise TypeError when condition is not boolean
- for loops now raise ValueError when range step is zero
- for loops push v1+v3 as a Binary expression onto control instead of a pre-computed literal
- remove stale forRangeRole tagging from evaluateForIterator

* Add tests for loop spec compliance (#153)

Cover the three new behaviours from the loop-spec fix:
- while loop raises TypeError when condition is not boolean
- for loop raises ValueError when range step is zero
- for loop produces empty output for start==stop or reversed step

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

1563 of 2384 branches covered (65.56%)

Branch coverage included in aggregate %.

22 of 24 new or added lines in 2 files covered. (91.67%)

4575 of 5928 relevant lines covered (77.18%)

11196.29 hits per line