Skip to main content


Cleveland is a Haskell library for testing Michelson contracts.

Cleveland makes it trivial to load a contract from disk, originate it, transfer XTZ, check its storage/balance, call its entrypoints, check whether it failed with a given error, etc.

Cleveland tests can be run:

  • on an actual blockchain;
  • or via Morley's in-memory interpreter for a faster feedback loop.

It supports example-based testing (via the tasty testing framework) and property-based testing (via hedgehog).

Cleveland Resources#