better discribution of passing proofs among groups of 3,4,5

jberthold · jberthold · commit a00b124bd13f · 2025-11-06T12:30:51.000+11:00
diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 42b4b087e99cd8149b6be5fb0093bc550fe09db1
+Subproject commit 638f28b2309b23ac432b2fc0f18fb4ea22c2f676
diff --git a/p-token/test-properties/select-proofs.sh b/p-token/test-properties/select-proofs.sh
@@ -24,20 +24,20 @@ sed -n -e "/^| ${HEADING}.*/,/^\$/ {/| ${HEADING}.*/d; /^\$/q; s/^| \(test_p[a-z
 | Passing                                       |
 |-----------------------------------------------|
 | test_ptoken_domain_data                       |
-| test_process_approve                          |
+| test_process_burn                             |
 | test_process_approve_checked                  |
 | test_process_withdraw_excess_lamports_account |
 | test_process_transfer                         |
 | test_process_mint_to                          |
-| test_process_burn                             |
+| test_process_approve                          |
 | test_process_close_account                    |
-| test_process_transfer_checked                 |
+| test_process_sync_native                      |
 | test_process_burn_checked                     |
 | test_process_revoke                           |
 | test_process_freeze_account                   |
 | test_process_thaw_account                     |
 | test_process_mint_to_checked                  |
-| test_process_sync_native                      |
+| test_process_transfer_checked                 |
 | test_process_get_account_data_size            |
 | test_process_initialize_immutable_owner       |
 | test_process_set_authority_account            |
