Invariant testing from command-line
2023-01-30
Learn how Pandora enables property-based testing, fuzzing, and invariant testing for smart contracts on the Stacks blockchain, discovering bugs that traditional tests miss.
Blog
Picking up a Clarity contract
2023-01-23
Part of the Pandora series, introducing Cargo - a fictional smart contract for tracking shipment progress throughout the supply chain on the Stacks blockchain.
Pandora
2023-01-16
Deploy with confidence. Pandora enables property-based testing, fuzzing, and invariant testing for Clarity smart contracts on the Stacks blockchain.
Clarity model-based testing primer
2022-03-15
Advanced Clarity testing guide: verify any combination of contract functions using model-based testing techniques from QuickCheck, going beyond single-function property tests.
Clarity property-based testing primer
2022-03-05
A comprehensive guide to property-based testing in Clarity smart contracts using Clarinet, covering test generation, invariants, and advanced testing strategies.
Clarity Control flow & error handling - asserts!
2022-02-10
Learn how to refactor Clarity smart contracts from if statements to asserts! for cleaner control flow and error handling, based on examples from Clarity of Mind book.
Clarity "Hello, World!" deployed on Stacks
2022-01-28
Learn how to deploy a 'Hello, World!' smart contract on Stacks mainnet using Clarity, the decidable language that brings smart contracts to Bitcoin.