Module revert_stub 

Enhanced revert test generation using proper Solidity AST

This module generates revert tests using the new AST-based approach with SolidityTestContractBuilder and proper type-safe Solidity code generation.

Functions

create_comprehensive_revert_test_contract

generate_revert_tests_from_cfg