Skip to content

Commit 331573f

Browse files
authored
Update README.md
1 parent 5b663cf commit 331573f

File tree

1 file changed

+14
-4
lines changed

1 file changed

+14
-4
lines changed

README.md

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ For more information see
88
## Requirements
99

1010
* Python 3.11, implementation: CPython
11-
* poetry
1211
* OS: Linux
1312
* Java 17, accessible in command line under name `java`
1413
* glibc>=2.31
@@ -19,19 +18,30 @@ For more information see
1918
* Run `poetry install`
2019

2120
### Check the installation success
22-
* Run `poetry run check`, this command runs simple test generation and shows error messages
21+
* Run `poetry run check`.
2322
* Successful logger messages should end with the following lines:
2423
```
25-
Exit status: 0
24+
VenvConfig: VenvConfig(basePath=..., libPath=..., binPath=...)
25+
Exit status: 0 (Success)
2626
............ | INFO | GlobalPythonEngine | Symbolic: stop receiver
2727
............ | INFO | PythonTestCaseGenerator | Collect all test executions for some_method
2828
............ | INFO | SbftGenerateTestsCommand | Saving tests...
2929
```
3030

31+
If you get a message `No VenvConfig`, virtual environment in our interpreter was not activated for some reason.
32+
33+
If you get a message `Exit status: ... (Failure)`, `usvm-python` could not be run for some reason.
34+
35+
## Configuration
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.
40+
3141
## Development
3242

3343
The entry point called by `python-tool-competition-2024` is the `build_test`
34-
method in `utbot_python_sbft_2024/generator.py`.
44+
method in `python_tool_competition_2024_utbot_python/generator.py`.
3545

3646
## Calculating Metrics
3747

0 commit comments

Comments
 (0)