Module storable_tests

Module storable_tests 

Source
Expand description

Code generation for storage trait property tests.

This module generates comprehensive property tests for all supported storage types, including complete test function implementations.

Constantsยง

FIXED_BYTES_SIZES ๐Ÿ”’

Functionsยง

gen_alloy_signed_arbitrary ๐Ÿ”’
Generate arbitrary functions for Alloy signed integers
gen_alloy_signed_tests ๐Ÿ”’
Generate complete proptest! block for Alloy signed integers
gen_alloy_unsigned_arbitrary ๐Ÿ”’
Generate arbitrary functions for Alloy unsigned integers
gen_alloy_unsigned_tests ๐Ÿ”’
Generate complete proptest! block for Alloy unsigned integers
gen_fixed_bytes_arbitrary ๐Ÿ”’
Generate arbitrary functions for FixedBytes
gen_fixed_bytes_tests ๐Ÿ”’
Generate complete proptest! block for FixedBytes
gen_rust_signed_arbitrary ๐Ÿ”’
Generate arbitrary functions for Rust signed integers
gen_rust_signed_tests ๐Ÿ”’
Generate complete proptest! block for Rust signed integers
gen_rust_unsigned_arbitrary ๐Ÿ”’
Generate arbitrary functions for Rust unsigned integers
gen_rust_unsigned_tests ๐Ÿ”’
Generate complete proptest! block for Rust unsigned integers
gen_storable_tests ๐Ÿ”’
Generate all storage type tests.