How do I set_accounts() for a token Mint?

[IaroslavMazur]

Hi, everyone!

I'm working on a Trident fuzz test for our Solana program - and am blocked trying to set_accounts() for an Ix of ours that involves the following token mint account:

#[account(
      init,
      payer = initializer,
      seeds = [b"nft_collection_mint"],
      bump,
      mint::authority = nft_collection_mint,
      mint::decimals = 0,
      mint::freeze_authority = nft_collection_mint,
      mint::token_program = nft_token_program,
    )]
    pub nft_collection_mint: Box<InterfaceAccount<'info, Mint>>,

Here's how I'm currently trying to set the account up:

impl InstructionHooks for InitializeInstruction {
    type IxAccounts = FuzzAccounts;

    fn set_accounts(&mut self, trident: &mut Trident, fuzz_accounts: &mut Self::IxAccounts) {
        let nft_collection_mint = fuzz_accounts.nft_collection_mint.get_or_create_mint_account(
            self.accounts.nft_collection_mint.account_id,
            trident,
            Some(PdaSeeds {
                seeds: &[NFT_COLLECTION_MINT],
                program_id: self.accounts.nft_token_program.pubkey(),
            }),
            0u8,
            &self.accounts.nft_collection_mint.pubkey(),
            Some(self.accounts.nft_collection_mint.pubkey()),
        );

        self.accounts.nft_collection_mint.set_address(nft_collection_mint);
    }
}

What am I doing wrong? 🤔

[lukacan]

Hello, thanks for the question, this looks alright, can you share error you are receiving ? If you enable metrics (dashboard or json), you can see what is the error returned :), can you share that ?

[IaroslavMazur]

Hi, lukacan - and thanks for getting back!

Back when I created this discussion, the error I was getting was a "Seed Constraint violation": the address of the nft_collection_mint derived by Trident didn't match with the one derived by the tested program.

However, since then, I've made some progressed: instead of self.accounts.nft_token_program.pubkey(), I had to pass self.get_program_id() as the program_id of PdaSeeds (even though this doesn't make sense, imo, because the created Mint is a PDA of the respective Token Program - and not of my program).

The bad news, however, is that I'm now facing another error:

Error from the Dashboard

So, for some reason, someone tries to create the nft_collection_mint account a second time, even though I've configured Trident to run a single iteration with a single flow call per iteration:

FuzzTest config

Any idea what's going on here? 🤷

[lukacan]

I see, the issue is, with Trident you are trying to initialize the mint before the transaction is executed. If you have experience with for example Anchor test, if the program initializes the mint, you cant initialize it before the instruction execution as you will get this already in use error. What you need to do instead is just get_or_create with correct seeds in order to obtain just address. The mint initialization will be handled by the program :)

[IaroslavMazur]

What you need to do instead is just get_or_create with correct seeds in order to obtain just address

But won't get_or_create()... create the respective account if it doesn't exist?..

[IaroslavMazur]

Update: switching to get_or_create() does seem to have helped (as more Program Logs for invoke/success are being printed out now), but I'm still confused as to why that helped.

What I'm trying to say is that ...or_create() from the function name clearly suggests that the account will be created if it doesn't already exist (even though, apparently, it isn't created).

So, the ...or_create() should, probably, be dropped in favor of something less misleading :)

[lukacan]

Yes agree that the function name is confusing. What the call does is that it adds address into the account storage (address storage). The create means - generate random account id, if for that account id no address is stored in storage, adds it, if there already is address for that account id, just returns it. The creation here is just empty account creation which is added into the address storage.

But completely agree this is confusing and we need to get rid of it.

[IaroslavMazur]

So, the create in get_or_create() refers to just adding an empty account to the "virtual" address storage, while the create in get_or_create_mint_account() - to, actually, creating the Mint account on Trident's local SVM.

[IaroslavMazur]

Closing this, in favor of #382.