Minimal Plutus Testing Examples Repository

Overview

This repo contains a variety of minimal examples showcasing the testing of DApps written in plutus using the quickcheck contractmodel library. This contains examples using a variety of techniques and emulators. The emulators include the plutus-apps emulator, cooked emulator and the cardano-node-emulator. Techniques include model-based property testing, threat modelling such as double satisfaction as well as negative testing. Each example is contained in a separate branch and written with a minimal configuration so that it can be taken and adapted for other developers.

Examples

The notable branches are listed below by emulator:

plutus-apps emulator

1. Escrow
2. EscrowNoCoverage
3. Vesting
4. governance

cooked emuator

1. escrow-cooked
2. minimal-lotto-experimental
3. auction-cooked

cardano-node-emulator

1. escrow-node-emulator
2. vesting-node-emulator

Current Build Instructions

1. go to the escrow folder
2. run nix develop
3. cabal build escrow

To enter testing repl after step 2 run in the escrow directory:

• cabal repl escrow-test

To run tests after step 2 run in the escrow directory:

• cabal run escrow-test