Demo

Author: tochilinak

poetry.lock

@@ -13,7 +13,7 @@ python-tool-competition-2024 = "^0.2.0"
 utbot-executor = "1.9.16"
 utbot-mypy-runner = "0.2.16"
 utbot_dist = [
-    { url = "https://github.com/UnitTestBot/UTBotPythonSBFT2024/releases/download/v19/utbot_dist-0.1.0-py3-none-manylinux_2_31_x86_64.whl", platform = "linux" }
+    { url = "https://github.com/UnitTestBot/UTBotPythonSBFT2024/releases/download/v20/utbot_dist-0.1.0-py3-none-manylinux_2_31_x86_64.whl", platform = "linux" }
 ]
 
 [build-system]

pyproject.toml

@@ -16,6 +16,6 @@ class UTBotPythonConfig:
     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
-    TIMEOUT = 180_000
+    INCLUDE_MYPY_RUN_IN_TIMEOUT = False
+    TIMEOUT = 8_000
     MODE = Mode.SYMBOLIC

python_tool_competition_2024_utbot_python/config.py

@@ -113,9 +113,10 @@ def _run_utbot(
         f" --java-cmd {java_cmd}"
         f" --usvm-dir {usvm_dir}"
         f" --runtime-exception-behaviour PASS"
-        f" --prohibited-exceptions -"
+        f" --prohibited-exceptions builtins.TypeError,builtins.AttributeError"
         f" --do-not-generate-state-assertions"
         f" --mode {mode.value}"
+        f" --only-toplevel"
     )
     if check_usvm:
         command += " --check-usvm"

python_tool_competition_2024_utbot_python/generator.py

@@ -0,0 +1,6 @@
+def sum_(a_and_n):
+    (a, n) = a_and_n
+    result = 0
+    for i in range(n):
+        result += a[i]
+    return result

targets/__init__.py

@@ -0,0 +1,12 @@
+class RawCommand:
+    def __init__(self, cmd):
+        self.cmd = cmd
+
+    def run(self):
+        eval(self.cmd)
+
+
+def run(commands):
+    for cmd in commands:
+        cmd.run()
+    return "Success"