test: integration tests for dynamic supply

cairo-contracts/packages/apps/src/transfer/components/transfer.cairo

@@ -735,7 +735,7 @@ pub mod TokenTransferComponent {
 
             token.transfer_from(account, get_contract_address(), amount);
 
-            token.burn(get_contract_address(), amount);
+            token.burn(amount);
         }
 
         fn refund_execute(

cairo-contracts/packages/apps/src/transfer/erc20_call.cairo

@@ -61,7 +61,7 @@ pub impl ERC20ContractImpl of ERC20ContractTrait {
         call_contract_syscall(*self.address, selector!("mint"), calldata.span()).unwrap_syscall();
     }
 
-    fn burn(self: @ERC20Contract, account: ContractAddress, amount: u256) {
+    fn burn(self: @ERC20Contract, amount: u256) {
         let mut calldata = array![];
         amount.serialize(ref calldata);
         call_contract_syscall(*self.address, selector!("burn"), calldata.span()).unwrap_syscall();

cairo-contracts/packages/contracts/src/lib.cairo

@@ -13,5 +13,6 @@ mod tests {
     pub(crate) mod channel;
     pub(crate) mod client;
     pub(crate) mod connection;
+    pub(crate) mod erc20;
     pub(crate) mod transfer;
 }

cairo-contracts/packages/contracts/src/tests/erc20.cairo

@@ -0,0 +1,73 @@
+use snforge_std::{EventSpy, spy_events, start_cheat_caller_address};
+use starknet_ibc_apps::transfer::{ERC20Contract, ERC20ContractTrait};
+use starknet_ibc_testkit::dummies::{AMOUNT, OWNER, SN_USER, ZERO};
+use starknet_ibc_testkit::event_spy::{ERC20EventSpyExt, ERC20EventSpyExtImpl};
+use starknet_ibc_testkit::handles::ERC20Handle;
+use starknet_ibc_testkit::setup::SetupImpl;
+
+fn setup() -> (ERC20Contract, EventSpy) {
+    let setup = SetupImpl::default();
+    let erc20 = SetupImpl::deploy_erc20(@setup, OWNER());
+    let spy = spy_events();
+    (erc20, spy)
+}
+
+#[test]
+fn test_deploy_erc20_ok() {
+    setup();
+}
+
+#[test]
+fn test_erc20_mint_ok() {
+    let (mut erc20, mut spy) = setup();
+    start_cheat_caller_address(erc20.address, OWNER());
+    erc20.mint(SN_USER(), AMOUNT);
+    spy.assert_transfer_event(erc20.address, ZERO(), SN_USER(), AMOUNT);
+    erc20.assert_balance(OWNER(), 0);
+    erc20.assert_balance(SN_USER(), AMOUNT);
+    erc20.assert_total_supply(AMOUNT);
+}
+
+#[test]
+fn test_erc20_burn_ok() {
+    let (mut erc20, mut spy) = setup();
+    start_cheat_caller_address(erc20.address, OWNER());
+    erc20.mint(SN_USER(), AMOUNT);
+    erc20.approve(SN_USER(), OWNER(), AMOUNT);
+    erc20.transfer_from(SN_USER(), OWNER(), AMOUNT);
+    spy.assert_transfer_event(erc20.address, SN_USER(), OWNER(), AMOUNT);
+    erc20.burn(AMOUNT);
+    spy.assert_transfer_event(erc20.address, OWNER(), ZERO(), AMOUNT);
+    erc20.assert_balance(OWNER(), 0);
+    erc20.assert_balance(SN_USER(), 0);
+    erc20.assert_total_supply(0);
+}
+
+#[test]
+#[should_panic(expected: 'Caller is not the owner')]
+fn test_erc20_unauthorized_mint() {
+    let (mut erc20, _) = setup();
+    erc20.mint(SN_USER(), AMOUNT);
+}
+
+#[test]
+#[should_panic(expected: 'Caller is not the owner')]
+fn test_erc20_unauthorized_burn() {
+    let (mut erc20, _) = setup();
+    start_cheat_caller_address(erc20.address, OWNER());
+    erc20.mint(SN_USER(), AMOUNT);
+    erc20.approve(SN_USER(), OWNER(), AMOUNT);
+    erc20.transfer_from(SN_USER(), OWNER(), AMOUNT);
+    start_cheat_caller_address(erc20.address, SN_USER());
+    erc20.burn(AMOUNT);
+}
+
+#[test]
+#[should_panic(expected: 'ERC20: insufficient allowance')]
+fn test_erc20_transfer_without_user_approval() {
+    let (mut erc20, _) = setup();
+    start_cheat_caller_address(erc20.address, OWNER());
+    erc20.mint(SN_USER(), AMOUNT);
+    erc20.transfer_from(SN_USER(), OWNER(), AMOUNT);
+}
+

cairo-contracts/packages/testkit/src/dummies/transfer.cairo

@@ -24,6 +24,10 @@ pub fn CLASS_HASH() -> ClassHash {
     class_hash_const::<'ERC20Mintable'>()
 }
 
+pub fn ZERO() -> ContractAddress {
+    contract_address_const::<0>()
+}
+
 pub fn ERC20() -> ERC20Contract {
     contract_address_const::<0x049d36570d4e46f48e99674bd3fcc84644ddd6b96f7c741b1562b82f9e004dc7>()
         .into()

cairo-contracts/packages/testkit/src/lib.cairo

@@ -35,7 +35,7 @@ pub mod dummies {
     pub use transfer::{
         AMOUNT, CLASS_HASH, COSMOS, CS_USER, DECIMALS_18, DECIMAL_ZERO, EMPTY_MEMO, ERC20,
         HOSTED_DENOM, NAME, NATIVE_DENOM, OWNER, PACKET_COMMITMENT_ON_SN, PACKET_DATA_FROM_SN, SALT,
-        SN_USER, STARKNET, SUPPLY, SYMBOL,
+        SN_USER, STARKNET, SUPPLY, SYMBOL, ZERO,
     };
 }
 pub mod event_spy {