Skip to content

Instantly share code, notes, and snippets.

@pschanely

pschanely/main.py

Created December 12, 2025 07:35
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save pschanely/f522b94b864837863498e628c55b95e6 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save pschanely/f522b94b864837863498e628c55b95e6 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via CrossHair Playground
Raw
main.py
def make_bigger(n: int) -> int:
'''
post: __return__ %2 == 0
'''
sum = 0
for i in range(n):
sum += 2
return sum
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment