[PROVING] test_process_get_account_data_size #13
Description
- Branch:
jh/proofs - Commit:
47c73b6e01bd097cf17399cf9f7ba0f1aa1380b5
┌─ 1 🌳 ROOT ((root, init)) │ line 2
├─ 3 NORMAL │ line 253
├─ 4 NORMAL │ line 3624
┃ ├─ 5 NORMAL │ line 7021
┃ ├─ 7 🔀 SPLIT ((split)) │ line 10416
┃ ┃ ├─ 8 NORMAL │ line 13842
┃ ┃ ├─ 10 NORMAL │ line 17265
┃ ┃ ├─ 12 NORMAL │ line 20658
┃ ┃ └─ 14 ❌ STUCK ((stuck, leaf)) │ line 24030
┃ ├─ 9 NORMAL │ line 27438
┃ ├─ 11 NORMAL │ line 30861
┃ ├─ 13 🔀 SPLIT ((split)) │ line 34270
┃ ┃ ├─ 15 NORMAL │ line 37691
┃ ┃ ├─ 17 NORMAL │ line 41109
┃ ┃ ├─ 19 NORMAL │ line 44514
┃ ┃ ├─ 21 NORMAL │ line 47920
┃ ┃ └─ 23 ❌ STUCK ((stuck, leaf)) │ line 51349
┃ ├─ 16 NORMAL │ line 54725
┃ ├─ 18 NORMAL │ line 58143
┃ ├─ 20 NORMAL │ line 61545
┃ ├─ 22 NORMAL │ line 64939
┃ └─ 24 ❌ STUCK ((stuck, leaf)) │ line 68367
└─ 6 ❌ STUCK ((stuck, leaf)) │ line 71740
┌─ 2 🌳 ROOT ((root, leaf, target, terminal)) │ line 75136
📊 STATISTICS
════════════════════════════════════════
📈 Total nodes: 24
⚪ Normal : 16
🌳 Root : 2
🔀 Split : 2
❌ Stuck : 4
🎯 Proof Outcome:
❌ STUCK: 4 branch(es) got stuck