Heterogeneous test-suites

This article is part of the Pandora series of articles.

Pandora enables property-based testing, fuzzing, and invariant testing for smart contracts that run on the Stacks 2.x layer-1 blockchain. Pandora discovers and run tests written in Clarity and TypeScript.

Conceptual exploration of combining TypeScript and native Clarity testing approaches for comprehensive coverage.

Both testing styles offer complementary advantages:

• TypeScript: Complex state modeling with fast-check commands.
• Native Clarity (prototype): Direct contract access without marshaling overhead.
• Combined: TypeScript for intricate property relationships, Clarity for native semantic validation.

UPDATE (August 7, 2025): SIP-031 demonstrates this approach in production - combining TypeScript fast-check commands with Rendezvous for comprehensive protocol testing.