Skip to content

Conversation

@Stevengre
Copy link

This PR makes the following specs passed:

  • test_process_initialize_mint_freeze
  • test_process_initialize_mint_no_freeze
  • test_process_initialize_mint2_freeze
  • test_process_initialize_mint2_no_freeze

Copy link
Collaborator

@dkcumming dkcumming left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approving, but iirc the process of updating the spl_token specs was automated, so will this change need to be accounted for in p-token or is there some idea for how to preserve it?

Comment on lines 971 to 982
assert_eq!(get_mint(&accounts[0]).mint_authority().unwrap().as_ref(), &instruction_data[1..33]);
let expected_mint_authority =
Pubkey::new_from_array(instruction_data[1..33].try_into().unwrap());
assert_eq!(
*get_mint(&accounts[0]).mint_authority().unwrap(),
expected_mint_authority
);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe this code sequence could be a macro? (which of course introduces more differences to the respective code in p-token...)

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done! I'm using macro for now. And it may make it easier to check the consistency.

@Stevengre Stevengre merged commit d93fa90 into proofs Jan 7, 2026
1 check passed
@Stevengre Stevengre deleted the jh/fix4spl branch January 7, 2026 04:21
dkcumming pushed a commit that referenced this pull request Jan 21, 2026
…ey eq (#143)

This PR makes the following specs passed:
- test_process_initialize_mint_freeze
- test_process_initialize_mint_no_freeze
- test_process_initialize_mint2_freeze
- test_process_initialize_mint2_no_freeze
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants