Update configuration

Author: tamarinvs19

README.md

@@ -26,6 +26,9 @@ Exit status: 0 (Success)
 ............ | INFO  | GlobalPythonEngine | Symbolic: stop receiver
 ............ | INFO  | PythonTestCaseGenerator | Collect all test executions for some_method
 ............ | INFO  | SbftGenerateTestsCommand | Saving tests...
+Process finished in ...
+Mean time: ...
+Max time: ...
 ```
 
 If you get a message `No VenvConfig`, virtual environment in our interpreter was not activated for some reason.

poetry.lock

@@ -10,10 +10,10 @@ packages = [{include = "python_tool_competition_2024_utbot_python"}]
 [tool.poetry.dependencies]
 python = "^3.11"
 python-tool-competition-2024 = "^0.2.0"
-utbot-executor = "1.9.2"
+utbot-executor = "1.9.5"
 utbot-mypy-runner = "0.2.15"
 utbot_dist = [
-    { url = "https://github.com/UnitTestBot/UTBotPythonSBFT2024/releases/download/v3/utbot_dist-0.1.0-py3-none-manylinux_2_31_x86_64.whl", platform = "linux" }
+    { url = "https://github.com/UnitTestBot/UTBotPythonSBFT2024/releases/download/v4/utbot_dist-0.1.0-py3-none-manylinux_2_31_x86_64.whl", platform = "linux" }
 ]
 
 [build-system]

pyproject.toml

@@ -6,7 +6,7 @@
 class UTBotPythonConfig:
     JAVA_PATH = "java"
     SITE_DIR = pathlib.Path(site.getsitepackages()[0])
-    JAR_FILE = SITE_DIR / "utbot_dist" / "utbot-cli-python-2023.11-SNAPSHOT.jar"
+    JAR_FILE = SITE_DIR / "utbot_dist" / "utbot-cli-python.jar"
     USVM_PATH = SITE_DIR / "utbot_dist" / "usvm-python"
     PYTHON_PATH = sys.executable
     INCLUDE_MYPY_RUN_IN_TIMEOUT = True

python_tool_competition_2024_utbot_python/config.py

@@ -112,6 +112,7 @@ def _run_utbot(
         f" --usvm-dir {usvm_dir}"
         f" --runtime-exception-behaviour PASS"
         f" --prohibited-exceptions -"
+        f" --do-not-generate-state-assertions"
     )
     if check_usvm:
         command += " --check-usvm"