[MAIN] SPL-Token Proof Status

[jberthold]

The existing property tests for P-token #24 should be tested against SPL-Token

Start symbol name	Seconds	Status	Linked Issues	Updated
test_ptoken_domain_data	444	✅ PASSED		1211
test_process_approve_checked	2436	✅ PASSED		1212
test_process_approve	1454	✅ PASSED		1211
test_process_freeze_account	3088	✅ PASSED		1211
test_process_get_account_data_size	562	✅ PASSED		1211
test_process_initialize_account2	7201	5xPASS 17xFAIL	panic & #readOperandsAux & #traverseProjection	1217
test_process_initialize_account3	7200	2xPASS 9xPending		1217
test_process_initialize_account	7200	5xPASSED 17xStuck	core::panicking::assert_failed_inner & core::panicking::panic & thunk & traverse transparent structure & readOperandsAux	1211
test_process_initialize_immutable_owner	498	✅ PASSED		1211
test_process_initialize_mint2_freeze	???	✅ PASSED	6xTerminal	0106
test_process_initialize_mint2_no_freeze	???	✅ PASSED	6xTerminal	0106
test_process_initialize_mint_freeze	???	✅ PASSED	10xTerminals	0105
test_process_initialize_mint_no_freeze	???	✅ PASSED	6xTerminals	0105
test_process_mint_to_checked	6770	22xPASSED 2xFAIL	panic	1217
test_process_mint_to	4549	✅ PASSED		1211
test_process_revoke	1110	✅ PASSED		1211
test_process_set_authority_account	7200	30xPASS 20xPending		1217
test_process_set_authority_mint	7201	10xPASS 44xPending		1217
test_process_sync_native	989	✅ PASSED		1211
test_process_thaw_account	3024	✅ PASSED		1211
test_process_withdraw_excess_lamports_account	1548	7xStuck	core::panicking::assert_failed_inner & thunk	1211
test_process_withdraw_excess_lamports_mint	1888	10xStuck	core::panicking::assert_failed_inner & thunk	1211
test_process_close_account	7200	30x PASSED 20xPending 2xFailing	p-token not passed; Intrinsic volatile_store	1211
test_process_burn_checked	7200	32xPASSED 16xPending		1212
test_process_burn	7200	32xPASSED 16xPending		1211
test_process_transfer_checked			p-token not passed
test_process_transfer	7200	16xPASSED 7xFailed 18xPending	core::panicking::assert_failed_inner	1124
test_process_amount_to_ui_amount	435	2xPASSED 2xFailing	p-token not passed; core::fmt::num::imp::::fmt ; thunk	1211
test_process_ui_amount_to_amount	7200	50xPending 55xStuck	p-token not passed; core::str::converts::from_utf8; bounds-check; mapOffset	1211

Cheat codes are missing or a problem for these proofs, therefore not recommended to execute them
(keep the empty first column so run-proofs.sh won't pick these up):

	Start symbol name
	test_process_initialize_multisig
	test_process_initialize_multisig2