Python Style & Coding Guide

For Python code in CPAchecker, we use Ruff as automatic code formatter and linter. Install it with pipx install ruff and run it with ruff format.

We try to follow the official Python style guide PEP8.

Please also use ruff check to check your code for warnings.

Tests are written as standard Python unit tests and can be executed with python3 -m unittest discover scripts.