pschanely

def make_bigger(n: int) -> int:
  '''
  post: __return__ != 0
  '''
  res1=20
  res2=20
  if n<50:
    res1=1
  else:

pschanely

def make_bigger(n: int) -> int:
  '''
  pre: n != -5
  post: __return__ != 0
  '''
  return 2 * n + 10

pschanely

def make_bigger(n: int) -> int:
  '''
  post: __return__ != 0
  '''
  return 2 * n + 10

pschanely

import re
from typing import Optional

def parse_year(yearstring: str) -> Optional[int]:
    '''
    Something is wrong with this year parser! Can you guess what it is?
    
    post: __return__ is None or 1000 <= __return__ <= 9999
    '''
    return int(yearstring) if re.fullmatch('[1-9][0-9][0-9][0-9]', yearstring) else None

pschanely

def make_bigger(n: int) -> int:
  '''
  pre: n>=0
  post: __return__ != 0
  '''
  return 2 * n + 10

pschanely

def make_bigger(n: int) -> int:
  '''
  post: __return__ > 0
  '''
  if n > -10:
      return n + 10
  else:
      return -n

pschanely

def make_bigger(n: int) -> int:
  '''
  post: __return__ != 0
  '''
  return 2 * n + 10

pschanely

from typing import List, TypeVar, Union

'''
Below are some examples of some type limitations of CrossHair using some types.
'''

#############################
#        FLOATS
#############################
def using_float(x: float) -> float:

pschanely

def make_bigger(n: int) -> int:
  '''
  post: __return__ != 0
  '''
  return 2 * n + 10

pschanely

def f1(n: int) -> int:
    return (n % 2) == 0

def f2(n: int) -> int:
    if (n == 1000):
        return 0
    else:
        return (n & 1) == 0