Development environment

This section describes the tools constituting the development environment.

Launch the tests

Todo

Documentation needed for testing:

• ./test/run-unit-campaign.py

• ./test/run-unit-test.py

Type checking

Todo

Documentation needed for type checking:

• ./tools/checktypes.py

• Adjust files and namespace_packages configurations in mypy.conf depending on mypy#9393 returns.

Check encodings and file permissions

Todo

Documentation needed for encoding checking:

• repo-checkfiles

Check license headers

Todo

Documentation needed for license headers:

• repo-checklicense

Build documentation

Todo

Documentation needed for building the documentation:

• ./tools/mkdoc.py