mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
ffab18ee48
This commit resolves a non-deterministic test failure in `revng daemon`. When running daemon tests, `randint` was used for selecting the listen port, this caused test failures when the same port number was used for reused. This has been replaced with the use of port 0 that guarantees the use of an unused port and psutil to find the port number once it has been bound by the daemon process.
rev.ng python package
This python package provides classes that can be used to represent, serialize and deserialize rev.ng models.
It also contains other modules related to various revng CLI tools.
How to install
You probably want to install this package in a virtualenv:
python -m venv <virtualenv_dir>
source <virtualenv_dir>/bin/activate
Installation
To build and install from source:
pip install .
Creating redistributable packages
This command will create a redistributable package in dist:
python setup.py bdist_wheel
The package can be installed using pip:
pip install dist/revng*.whl