GoalScope — rolling_max (Qwen2.5-Coder-32B-Instruct) — hover a token to see the patched verbalization
↵
<code>↵
def rolling_max(numbers: List[int]) -> List[int]:↵
"""Generate a list of rolling maximum elements."""↵
if not numbers:↵
return []↵
↵
max_list = [numbers[0]]↵
current_max = numbers[0]↵
↵
for num in numbers[1:]:↵
current_max = max(current_max, num)↵
max_list.append(current_max)↵
↵
return max_list↵
</code>