PoX-4/Boot Contracts Testing Plan

[setzeus]

Here you'll find a quick overview on previous testing efforts, an introduction to the frameworks used this time around, as well as a growing list of user stories that range from simple single-user unit tests to extensive multiple-users integrated tests.

Each tester, listed below, is in charge of exhausting all tests mentioned in the doc with their respective framework:

Stateful Property/Fuzz, Clarinet: @moodmosaic, @BowTiedRadone
Integrated, Rust: @setzeus
State/Property, Clarunit: @MarvinJanssen
E2E, Stacks E2E: @friedger
Framework Support/Setup: @obycode

These efforts are all specifically concentrated on PoX-4/Boot contracts (.PoX-4, .Signers, .Signers-Voting) with the goal of 100% coverage in each framework prior to a Nakamoto production launch.

For any comments, feedback, suggestions or issues please feel to use this discussion thread directly.