Skip to content

Commit 1a6a2c7

Browse files
committed
Update settings and readme
1 parent a0610ce commit 1a6a2c7

File tree

4 files changed

+109
-109
lines changed

4 files changed

+109
-109
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ If you get a message `Exit status: ... (Failure)`, `usvm-python` could not be ru
3939

4040
Configuration is set in `python_tool_competition_2024_utbot_python/config.py`.
4141

42-
You can specify the time budget with the option `TIMEOUT`. Now it is set to 300 seconds. The tool will probably spend all given time.
42+
You can specify the time budget with the option `TIMEOUT`. Now it is set to 380 seconds. The tool will probably spend all given time. Sometimes it can exceed this limit a little.
4343

4444
## Development
4545

0 commit comments

Comments
 (0)