Skip to content

Commit

Permalink
[readme] Added commands to quickly get started
Browse files Browse the repository at this point in the history
  • Loading branch information
springcomp committed Jan 15, 2025
1 parent aef45e9 commit f248250
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions README.rst
Original file line number Diff line number Diff line change
Expand Up @@ -244,6 +244,21 @@ there is a ``tests/compliance`` directory that contains
to verify they are producing the correct output. Each json
file is grouped by feature.
Contributing
============
Clone this repository and run the following commands:
.. code:: sh
python -m venv .venv/
pip install -r requirements.txt
source .venv/bin/activate
git submodule update --init --checkout --recursive --force
./scripts/sync-tests
./scripts/run-tests
Discuss
=======
Expand Down

0 comments on commit f248250

Please sign in to comment.