Testing tools

0.0% of it built.

Tools that try to break a contract before anybody else does.

0 of 5 shipped

Read from the copy of the company plan written Oct 10, 2026, 5:00 a.m.. The live plan has not answered yet.

Every piece

A property fuzzer
Next
Planned for December 18, 2026, added since 7 October
Ready-made invariants for common contracts
Later
Planned for January 29, 2027, added since 7 October
An upgrade and storage checker
Later
Planned for January 29, 2027, added since 7 October
A symbolic explorer
Later
Planned for April 30, 2027, added since 7 October
A differential fuzzer for nodes and clients
Later
Planned for May 28, 2027, added since 7 October

No changelog entry names this module yet. The project's own entries are on its page: Open source

No help pages for this module yet.