src

Build

.jar file can be built in Github Actions with script publish-plugin-and-cli-from-branch.

Generate tests:

java -jar utbot-cli.jar generate_python dir/file_with_sources.py -p <PYTHON_PATH> -o generated_tests.py -s dir

This will generate tests for top-level functions from file_with_sources.py.

Run generated tests:

java -jar utbot-cli.jar run_python generated_tests.py -p <PYTHON_PATH>

-s, --sys-path <dir1>,<dir2>

(required) Directories to add to sys.path. One of directories must contain the file with the methods under test.

sys.path is a list of strings that specifies the search path for modules. It must include paths for all user modules that are used in imports.
-p, --python-path <path>

(required) Path to Python interpreter.
-o, --output <filename>

(required) File for generated tests.
--coverage <filename>

File to write coverage report.
-c, --class <class>

Specify top-level (ordinary, not nested) class under test. Without this option tests will be generated for top-level functions.
-m, --methods <method1>,<method2>

Specify methods under test.
--install-requirements

Install Python requirements if missing.
--do-not-minimize

Turn off minimization of the number of generated tests.
--do-not-check-requirements

Turn off Python requirements check (to speed up).
--visit-only-specified-source

Do not search for classes and imported modules in other Python files from --sys-path option.
-t, --timeout INT

Specify the maximum time in milliseconds to spend on generating tests (60000 by default).
--timeout-for-run INT

Specify the maximum time in milliseconds to spend on one function run (2000 by default).
--test-framework [pytest|Unittest]

Test framework to be used.