Product Updates

State Space v0.1.0 beta

Release notes:

• State space exploration via symbolic execution under full EVM semantics
• Test suite generation for Foundry and Hardhat, with full reproducibility (setup, inputs, asserts)
• Multi-contract interaction modeling and execution path discovery (e.g. end-to-end, integration, unit tests, obscure sequences)
• Visual workbench canvas for multi-contract test scenario (transaction sequence) design
• Configurable symbolic and concrete input parameterization
• Structured dynamic input generation
• Decoded state management across transaction sequences
• Team based state validation
• Support for Cancun upgrade
• CLI for Foundry and Hardhat support
• Detailed code coverage highlighting and reporting
• Experimental: Test case analysis and descriptions using AI
• Docs v0.1.0