Shared via CrossHair Playground

main.py

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

from crosshair.z3util import z3IntVal


class IntSubClass(IntEnum):
    FIRST = 1


def test_intval_on_int_enum():
    z3IntVal(IntSubClass.FIRST)