Welcome to the documentation!

First steps

• Installation
  • Arch Linux
  • Installation using pipx
  • Docker Image
  • Installation from Source
• CI/CD Integration
• Usage
  • Synopsis
  • Arguments
• Result Analysis

Theory of Operation

• Papers and Presentations

API Documentation

• tree checker module
  • MCDCTreeChecker
• report module
  • Report
• helper module
  • bdd_to_dot()
  • check_bdd_is_tree()
  • get_children_list()
  • is_interesting_decision()

Indices and tables

• Index

• Module Index