test(spl): update the spl-token specification without separating normal account test and multisig test#107

automergerpr-permission-manager[bot] merged 4 commits intoproofsruntimeverification/solana-token:proofsfrom

jh/update-spl-specsruntimeverification/solana-token:jh/update-spl-specsCopy head branch name to clipboard