[APE] >>>>>>>> SATA begin step [1560][Elapsed: 0000 00:42:12] [APE] *** INFO *** Explored 9 app activities. [APE] *** INFO *** Used: 48 MB, Max: 192 MB, Available: 144 MB [APE] *** INFO *** Create state g15s96[689,1559][10]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9] for GUI tree GUITree[1680@0]@g15s96[689,1559][10]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g15s96[689,1559][10]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9] [APE] Action: g15a1060[1559,1559][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][732,549,1667,676][Stop] [APE] Target: g15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9] [APE] Add target result: true [APE] GSTG(g18): activities (9), states (105), edges (711), unvisited actions (510), visited actions (605) [APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3] [APE] *** INFO *** - 0.65 17 it.feio.android.omninotes.SettingsActivity[44,1437][428][S=17] [APE] *** INFO *** - 0.04 1 org.wikipedia.page.edithistory.EditHistoryListActivity[193,193][1][S=1] [APE] *** INFO *** - 0.53 72 it.feio.android.omninotes.MainActivity[1,1560][1204][S=72] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.AboutActivity[276,278][4][S=1] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[167,170][2][S=1] [APE] *** INFO *** - 0.85 2 it.feio.android.omninotes.intro.IntroActivity[404,1417][99][S=2] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.StatsActivity[292,432][4][S=1] [APE] *** INFO *** - 0.64 7 it.feio.android.omninotes.PasswordActivity[104,662][66][S=7] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (21) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 106 USE_BUFFER [APE] 1118 EARLY_STAGE [APE] 313 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 97 BUFFER_LOSS [APE] 445 FILL_BUFFER [APE] 0 BAD_STATE [APE] 22 PROBE [APE] 1 g15a1057[1541,1541][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,168,1667,295][Camera] [APE] 2 g15a1058[749,749][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][732,295,1667,422][Video] [APE] 3 g15a1059[1537,1537][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][732,422,1667,549][Files] [APE] 4 g15a1060[1559,1559][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,549,1667,676][Stop] [APE] 5 g15a1061[689,1465][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/sketch;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,676,1667,803][Sketch] [APE] 6 g15a1062[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,803,1667,911][Location] [APE] 7 g15a1063[1543,1551][4]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][732,168,1667,911][] [APE] 8 g15a1064[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] [APE] 9 g15a1065[-1,0][0]@MODEL_BACKg15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g15a1062[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,803,1667,911][Location] [APE] *** INFO *** - g15a1064[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9] [APE] *** INFO *** > - B: g15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9] [APE] *** INFO *** Never move from a cold state (g15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9]) to a hot state (g15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Select action g15a1064[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] by strategy EARLY_STAGE [APE] Last state: g1s10[6,1558][36]it.feio.android.omninotes.MainActivity@1937406186@Naming[37]@[W=10][A=14] [APE] Last action: g1a79[26,1558][8]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;index=1;enabled=true;clickable=true;[P=62][T=200][][S=1.000000][RN=1][1787,73,1914,199][] [APE] Curr state: g15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9] [APE] Curr action: g15a1060[1559,1559][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,549,1667,676][Stop] [APE] New state: g15s96[689,1560][11]it.feio.android.omninotes.MainActivity@-1460100767@Naming[0]@[W=8][A=9] [APE] New action: g15a1064[1560,1560][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][732,168,1667,911][] [APE] >>>>>>>> SATA end step [1560] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_SCROLL_TOP_DOWN|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ScrollView|text=|resource_id=it.feio.android.omninotes:id/attachment_dialog_root|bounds=732,168,1667,911 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.ScrollView|text=|resource_id=it.feio.android.omninotes:id/attachment_dialog_root action=g15a1064[1560,1560][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][732,168,1667,911][] :Sending Touch (ACTION_DOWN): 0:(1199.5,539.5) //[calendar_time:2026-11-07 06:30:55.838 system_uptime:1893303429] // Sending event #9500 //[calendar_time:2026-11-07 06:30:55.840 system_uptime:1893303431] // Sending event #9500 :Sending Touch (ACTION_UP): 0:(1199.5,1079.0)