A simple test framework for Ligo Lang, the name breathalyzer is a wink to Alcotest, a powerful test framework for the OCaml language.

The best way to understand the design and use of Breathalyzer is to consult the various examples in the examples/ directory.

The test framework is tested with itself, however, there are several fairly explicit examples of how to run a test suite:

• List: A fairly simple demonstration that shows how to make simple assertions. A library is declared and some test cases are provided which check the behaviour of the functions.
• Auction: A slightly more complicated test suite that demonstrates the notion of context, how to act as an actor and how to wait (Expect) for an error from the transfer execution to a smart-contract.
• Ticket factory: An example that takes advantage of tickets and the exploitation of multiple contracts. A real (partly real-world) example that attempts to use all the features of the testing framework.