We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 331573f commit ecc80a9Copy full SHA for ecc80a9
README.md
@@ -36,7 +36,7 @@ If you get a message `Exit status: ... (Failure)`, `usvm-python` could not be ru
36
37
Configuration is set in `python_tool_competition_2024_utbot_python/config.py`.
38
39
-You can specify time budget with option `timeout`. Now it is set to 300 seconds. The tool will probably spend all given time.
+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.
40
41
## Development
42
0 commit comments