From 3f5d10c5af7ec6697aa34309096f9d99ea62cdc6 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Thu, 18 Apr 2024 10:43:14 -0700
Subject: [PATCH] chore: bump default python version to 3.12 (#278)

---
 .github/workflows/test-external.yml | 2 +-
 .github/workflows/test-ffi.yml      | 2 +-
 .github/workflows/test-long.yml     | 3 ++-
 .github/workflows/test.yml          | 2 +-
 .pre-commit-config.yaml             | 2 +-
 pyproject.toml                      | 2 +-
 6 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
index 50a9074d..07fbac4f 100644
--- a/.github/workflows/test-external.yml
+++ b/.github/workflows/test-external.yml
@@ -58,7 +58,7 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: "3.11"
+          python-version: "3.12"
 
       - name: Install dependencies
         run: python -m pip install --upgrade pip
diff --git a/.github/workflows/test-ffi.yml b/.github/workflows/test-ffi.yml
index b0f79c31..fd332e6c 100644
--- a/.github/workflows/test-ffi.yml
+++ b/.github/workflows/test-ffi.yml
@@ -27,7 +27,7 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: "3.11"
+          python-version: "3.12"
 
       - name: Install dependencies
         run: |
diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
index 1e3a598a..d60e3e9e 100644
--- a/.github/workflows/test-long.yml
+++ b/.github/workflows/test-long.yml
@@ -31,12 +31,13 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: "3.11"
+          python-version: "3.12"
 
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
           python -m pip install pytest
+          python -m pip install setuptools
 
       - name: Install Halmos
         run: |
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 1c30b7b3..46bf7045 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -14,7 +14,7 @@ jobs:
       fail-fast: false
       matrix:
         os: ["macos-latest", "ubuntu-latest", "windows-latest"]
-        python-version: ["3.9", "3.10", "3.11"]
+        python-version: ["3.9", "3.10", "3.11", "3.12"]
         parallel: ["", "--test-parallel"]
         storage-layout: ["solidity", "generic"]
 
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index d4ab458b..dc0ebfc0 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -7,4 +7,4 @@ repos:
         # supported by your project here, or alternatively use
         # pre-commit's default_language_version, see
         # https://pre-commit.com/#top_level-default_language_version
-        language_version: python3.11
+        language_version: python3.12
diff --git a/pyproject.toml b/pyproject.toml
index 43cfaf0f..8b05df4d 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -33,7 +33,7 @@ halmos = "halmos.__main__:main"
 "Homepage" = "https://github.com/a16z/halmos"
 
 [tool.black]
-target-versions = ["py39", "py310", "py311"]
+target-versions = ["py39", "py310", "py311", "py312"]
 
 [tool.pytest.ini_options]
 # TODO: re-add test_traces.py when we have a better way to support it in CI