Re-exports§
pub use access_control_stub::create_comprehensive_access_control_test_contract;pub use access_control_stub::generate_access_control_tests_from_cfg;pub use revert_stub::create_comprehensive_revert_test_contract;pub use revert_stub::generate_revert_tests_from_cfg;pub use state_change_stub::create_comprehensive_state_change_test_contract;pub use state_change_stub::generate_state_change_tests_from_cfg;pub use teststubs::generate_tests_with_foundry;
Modules§
- access_
control_ stub - Enhanced access control test generation using proper Solidity AST
- deployer_
stub - invariant_
breaker - Invariant Breaker Module
- revert_
stub - Enhanced revert test generation using proper Solidity AST
- state_
change_ stub - Enhanced state change test generation using proper Solidity AST
- teststubs
- Test generation module using proper Solidity AST