Welcome to Chamelon’s documentation!

Chamelon is an open-source general-purpose delta-debugger for OCaml code. It performs automated testcase reduction: given a program and an error it triggers, Chamelon will output a reduced version of the program triggering the same error.

This documentation explains how to get started with Chamelon.

Additional resources

• The source code of Chamelon is available on GitHub

• A tool paper on Chamelon is published at FM24. It was awarded the Available, Functional and Reusable badges.

• A docker demonstrating the usage of Chamelon is available on Zenodo

• A demonstration is also available on GitHub

Getting Started

• Installation
  • Downloading Chamelon
  • Installing Chamelon from source
• Usage
  • Using Chamelon
  • Logs
  • Options

Illustration

• Illustrative example
  • From the Docker image
  • From the GitHub repository
  • Demonstration

Indices and tables

• Index

• Module Index

• Search Page