Insufficient Branching in Passing Proofs #69
Description
Passing passing proofs have insufficient branching to what the spec should show. I have reduced the number to what makes sense with the current restrictions in the proof harness input data. Currently looking at passing proofs only but this can be done for the failing ones also perhaps once we fix non-det branching.
| Proof | Branches in spec | Branches in proof |
|---|---|---|
| approve | 6 | 2 |
| approve_checked | 10 | 4 |
| withdraw_excess_lamports_account | ? | ? |
| withdraw_excess_lamports_mint | ? | ? |
| initialize_mint_freeze | ? | ? |
| initialize_mint_no_freeze | ? | ? |
| initialize_account | ? | ? |
| initialize_account2 | ? | ? |
| transfer | 17 | 8 |
| mint_to | 14 | 4 |
| burn | 16 | 16 |
| close_account | 9 | 8 |
| transfer_checked | 22 | 16 |
| burn_checked | 17 | 16 |
| initialize_account3 | ? | ? |
| initialize_mint2_freeze | ? | ? |
| initialize_mint2_no_freeze | ? | ? |
| revoke | 6 | ? |
| freeze_account | 12 | 8 |
| thaw_account | 12 | 8 |
| mint_to_checked | 15 | 4 |
| sync_native | 7 | 8? |
| get_account_data_size | 4 | 4 |
| initialize_immutable_owner | 3 | 2 |
| amount_to_ui_amount | ? | ? |
| ui_amount_to_amount | ? | ? |
| set_authority_account | 14 | ? |
| set_authority_mint | 13 | ? |