Skip to content

runtimeverification/komet

Repository files navigation

komet

Installation

Prerequsites: python >= 3.10, pip >= 20.0.2, poetry >= 1.3.2.

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

For interactive use, spawn a shell with poetry shell (after poetry install), then run an interpreter.