Repository files navigation

Uses the python-tool-competition-2024 to generate tests using the UTBotPython.

For more information seehttps://github.com/ThunderKey/python-tool-competition-2024/.

• Python 3.11, implementation: CPython
• OS: Linux
• Java 17, accessible in command line under namejava
• glibc>=2.31

• Installpoetry
• Runpoetry install

• Runpoetry run check.
• Successful logger messages should end with the following lines:

VenvConfig: VenvConfig(basePath=..., libPath=..., binPath=...)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 messageNo VenvConfig, virtual environment in our interpreter was not activated for some reason.

If you get a messageExit status: ... (Failure),usvm-python could not be run for some reason.

Configuration is set inpython_tool_competition_2024_utbot_python/config.py.

You can specify the time budget with the optionTIMEOUT. Now it is set to 380 seconds. The tool will probably spend all given time. Sometimes it can exceed this limit a little.

The entry point called bypython-tool-competition-2024 is thebuild_testmethod inpython_tool_competition_2024_utbot_python/generator.py.

Runpoetry run python-tool-competition-2024 run utbot-python.

Withpoetry run python-tool-competition-2024 run -h you can find out whatgenerators were detected.