Fix pyproject.toml, README.md and update poetry.lock

tamarinvs19 · tamarinvs19 · commit 53649b43d629 · 2023-11-23T20:19:32.000+03:00
diff --git a/README.md b/README.md
@@ -19,7 +19,7 @@ For more information see
 * Run `poetry install`
 
 ### Check the installation success
-* Run `poetry check`, this command runs simple test generation and shows error messages
+* Run `poetry run check`, this command runs simple test generation and shows error messages
 * Successful logger messages should end with the following lines:
 ```
 Exit status: 0
diff --git a/poetry.lock b/poetry.lock
diff --git a/pyproject.toml b/pyproject.toml
@@ -24,4 +24,4 @@ build-backend = "poetry.core.masonry.api"
 utbot-python = "python_tool_competition_2024_utbot_python.generator:UTBotPythonTestGenerator"
 
 [tool.poetry.scripts]
-check = "python_tool_competition_2024_utbot_python.check_usvm:main"
+check = "python_tool_competition_2024_utbot_python.check_usvm:check_usvm"
