[APE] >>>>>>>> SATA begin step [43][Elapsed: 0000 00:00:59] [APE] *** INFO *** Explored 2 app activities. [APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@it.feio.android.omninotes:id/title@Notes [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@it.feio.android.omninotes:id/settings@Settings [APE] *** INFO *** Create state g1s15[42,42][1]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] for GUI tree GUITree[69@0]@g1s15[42,42][1]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] *** INFO *** State g1s15[42,42][1]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g1s15[42,42][1]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][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: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] Action: g1a118[42,42][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/title;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][116,404,798,530][Notes] [APE] Target: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] Add target result: true [APE] GSTG(g1): activities (2), states (15), edges (35), unvisited actions (73), visited actions (34) [APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3] [APE] *** INFO *** - 0.30 12 it.feio.android.omninotes.MainActivity[1,43][42][S=12] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (18) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 42 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 1 BUFFER_LOSS [APE] 8 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g1a112[-1,0][0]@MODEL_CLICKclass=android.widget.ListView;resource-id=it.feio.android.omninotes:id/drawer_tag_list;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,530,840,781][] [APE] 2 g1a113[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ListView;resource-id=it.feio.android.omninotes:id/drawer_tag_list;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,530,840,781][] [APE] 3 g1a114[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,530,840,656][] [APE] 4 g1a115[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,530,840,656][] [APE] 5 g1a116[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,655,840,781][] [APE] 6 g1a117[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,655,840,781][] [APE] 7 g1a118[42,42][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/title;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][116,404,798,530][Notes] [APE] 8 g1a119[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/settings;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][116,655,798,781][Settings] [APE] 9 g1a120[-1,0][0]@MODEL_BACKg1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] *** INFO *** > - B: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] *** INFO *** Never move from a cold state (g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9]) to a hot state (g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g1a117[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,655,840,781][] by strategy EARLY_STAGE [APE] Last state: g0s1[2,41][4]it.feio.android.omninotes.MainActivity@-475682167@Naming[0]@[W=7][A=10] [APE] Last action: g0a4[41,41][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,210][#758e2ff7] [APE] Curr state: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] Curr action: g1a118[42,42][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/title;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][116,404,798,530][Notes] [APE] New state: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] New action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][] [APE] >>>>>>>> SATA end step [43] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_LONG_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,655,840,781 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.LinearLayout|text=|resource_id= action=g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][] [APE] *** INFO *** Fuzzing: generate random click. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate app switch events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate app switch events. [APE] *** INFO *** Fuzzing: generate rotation events. [APE] *** INFO *** Fuzzing: action #2 events=28 total_events=37 [APE] *** INFO *** Fuzzing: reset rotation. :Sending Touch (ACTION_DOWN): 0:(420.0,718.0) :Sending Touch (ACTION_UP): 0:(420.0,718.0) // Allowing start of Intent { cmp=it.feio.android.omninotes/.SettingsActivity } in package it.feio.android.omninotes :Sending Touch (ACTION_DOWN): 0:(43.0,2245.0) :Sending Touch (ACTION_UP): 0:(43.0,2245.0) :Sending Trackball (ACTION_MOVE): 0:(4.0,3.0) :Sending Trackball (ACTION_MOVE): 0:(0.0,3.0) //[calendar_time:2026-11-07 02:42:32.856 system_uptime:1879600447] // Sending event #200 :Sending Trackball (ACTION_MOVE): 0:(1.0,2.0) // Rejecting start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.HOME] cmp=com.google.android.apps.nexuslauncher/.NexusLauncherActivity } in package com.google.android.apps.nexuslauncher :Sending rotation degree=0, persist=true :Sending rotation degree=0, persist=false