Update launch.json and python version

esbmc · Feb 10, 2025 · cd241b5 · cd241b5
1 parent 930a6d6
commit cd241b5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -5,13 +5,14 @@
   "version": "0.2.0",
   "configurations": [
     {
-      "name": "Launch ESBMC-AI on Open File",
+      "name": "UserChat on Open File",
       "type": "debugpy",
       "request": "launch",
       "module": "esbmc_ai",
       "justMyCode": true,
       "cwd": "${workspaceFolder}",
       "args": [
+        "userchat",
         "${file}"
       ]
     },
@@ -23,7 +24,6 @@
       "justMyCode": true,
       "cwd": "${workspaceFolder}",
       "args": [
-        "-c",
         "fix-code",
         "-v",
         "-r",

diff --git a/pyproject.toml b/pyproject.toml
@@ -12,7 +12,7 @@ authors = [
 description = "LLM driven development and automatic repair kit."
 readme = "README.md"
 license-files = { paths = ["LICENSE"] }
-requires-python = ">=3.10"
+requires-python = ">=3.12"
 classifiers = [
     "Programming Language :: Python :: 3",
     "License :: OSI Approved :: GNU Affero General Public License v3",
@@ -41,6 +41,7 @@ dependencies = [
   "langchain-community",
   "langchain-ollama",
   "lizard",
+  "platformdirs",
 ]
 
 #[project.optional-dependencies]