Skip to content

runtimeverification/komet

Repository files navigation

komet

Installation

Prerequsites: python >= 3.10, uv.

make build
pip install dist/*.whl

For Developers

Use make to run common tasks (see the Makefile for a complete list of available targets).

  • make build: Build wheel
  • make check: Check code style
  • make format: Format code
  • make test-unit: Run unit tests
  • make test-integration: Run integration tests