increment_fail.adl
1 2 program test.alpha { 3 mapping amounts: address => u128; 4 5 async transition increase_self(amount: u128) -> Future { 6 return finalize_increase_self(self.caller, amount); 7 } 8 9 async function finalize_increase_self(addr: address, amount: u128) { 10 increment(amounts, addr, amount); 11 } 12 }