create_comprehensive_state_change_test_contract

traverse_codegen::state_change_stub

Function create_comprehensive_state_change_test_contract 

Source 
pub fn create_comprehensive_state_change_test_contract(
    contract_info: &ContractInfo,
    function_info: &FunctionInfo,
    graph: &CallGraph,
    ctx: &CallGraphGeneratorContext,
) -> Result<SolidityTestContract>