[APE] >>>>>>>> SATA begin step [317][Elapsed: 0000 00:07:48] [APE] *** INFO *** Explored 11 app activities. [APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Set admi [APE] *** INFO *** Create state g6s14[59,287][7]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] for GUI tree GUITree[457@0]@g6s14[59,287][7]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] *** INFO *** Check under-abstracted states g6s14[59,287][7]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]: #0 [APE] *** INFO *** Check under-abstracted states collected 8 targets for naming Naming[4]. The state is g6s14[59,287][7]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]. #0 [APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 4, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 4 <= threshold: 8 [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g6s14[59,287][7]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g6s14[59,287][7]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]: #0 [APE] *** INFO *** Check under-abstracted states collected 8 targets for naming Naming[4]. The state is g6s14[59,287][7]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]. #0 [APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 4, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 4 <= threshold: 8 [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g11s42[195,316][5]org.odk.collect.android.mainmenu.MainMenuActivity@496791506@Naming[0]@[W=5][A=5] [APE] Action: g11a229[236,316][2]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/general_settings_button;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][233,1171,552,1318][Settings] [APE] Target: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] Add target result: false [APE] GSTG(g15): activities (11), states (52), edges (208), unvisited actions (95), visited actions (201) [APE] *** INFO *** - 0.79 5 org.odk.collect.android.mainmenu.MainMenuActivity[1,316][35][S=5] [APE] *** INFO *** - 0.95 4 org.odk.collect.android.activities.InstanceChooserList[2,213][37][S=4] [APE] *** INFO *** - 1.00 1 com.karumi.dexter.DexterActivity[67,198][2][S=1] [APE] *** INFO *** - 0.69 5 org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity[39,216][32][S=5] [APE] *** INFO *** - 0.83 2 org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,74][8][S=2] [APE] *** INFO *** - 0.69 5 org.odk.collect.android.activities.FormDownloadListActivity[161,234][39][S=5] [APE] *** INFO *** - 0.87 4 org.odk.collect.android.formlists.blankformlist.BlankFormListActivity[126,227][40][S=4] [APE] *** INFO *** - 0.48 16 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,317][92][S=16] [APE] *** INFO *** - 0.58 5 org.odk.collect.android.activities.FirstLaunchActivity[288,305][30][S=5] [APE] *** INFO *** - 1.00 1 org.odk.collect.android.activities.AboutActivity[309,314][6][S=1] [APE] *** INFO *** - 0.76 4 org.odk.collect.android.activities.DeleteFormsActivity[81,219][46][S=4] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (2), state (0), activity (0) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 286 EARLY_STAGE [APE] 21 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 6 BUFFER_LOSS [APE] 93 FILL_BUFFER [APE] 0 BAD_STATE [APE] 2 PROBE [APE] 1 g6a69[237,237][2]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][0,231,1080,423][] [APE] 2 g6a70[279,279][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][0,423,1080,615][] [APE] 3 g6a71[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,615,1080,807][] [APE] 4 g6a72[281,281][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][0,807,1080,999][] [APE] 5 g6a73[283,287][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=android:id/title;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][189,1560,581,1617][Set admi] [APE] 6 g6a74[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,999,1080,1191][] [APE] 7 g6a75[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1191,1080,1383][] [APE] 8 g6a76[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1659,1080,1851][] [APE] 9 g6a77[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=9;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1851,1080,2043][] [APE] 10 g6a78[59,59][1]@MODEL_BACKg6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10][P=8][T=0][] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] *** INFO *** > - B: g11s42[195,316][5]org.odk.collect.android.mainmenu.MainMenuActivity@496791506@Naming[0]@[W=5][A=5] [APE] *** INFO *** Move from A (g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]) to B (g11s42[195,316][5]org.odk.collect.android.mainmenu.MainMenuActivity@496791506@Naming[0]@[W=5][A=5]). [APE] *** INFO *** A cannot reach B. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g6a76[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1659,1080,1851][] by strategy EARLY_STAGE [APE] Last state: g1s1[1,315][17]org.odk.collect.android.mainmenu.MainMenuActivity@-2032148028@Naming[3]@[W=8][A=8] [APE] Last action: g1a3[194,315][5]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/project_icon_text;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][959,107,1038,186][D] [APE] Curr state: g11s42[195,316][5]org.odk.collect.android.mainmenu.MainMenuActivity@496791506@Naming[0]@[W=5][A=5] [APE] Curr action: g11a229[236,316][2]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/general_settings_button;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][233,1171,552,1318][Settings] [APE] New state: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] New action: g6a76[317,317][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1659,1080,1851][] [APE] >>>>>>>> SATA end step [317] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,1659,1080,1851 target_fp=activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.LinearLayout|text=|resource_id= action=g6a76[317,317][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1659,1080,1851][] [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate pinch or zoom. [APE] *** INFO *** Fuzzing: generate drag. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate random click. [APE] *** INFO *** Fuzzing: action #6 events=18 total_events=109 [APE] *** INFO *** Fuzzing: reset rotation. :Sending Touch (ACTION_DOWN): 0:(540.0,1755.0) :Sending Touch (ACTION_UP): 0:(540.0,1755.0) // Allowing start of Intent { cmp=org.odk.collect.android/.configure.qr.QRCodeTabsActivity } in package org.odk.collect.android :Sending Touch (ACTION_DOWN): 0:(132.0,1951.0) //[calendar_time:2026-11-07 03:52:47.423 system_uptime:1883814915] // Sending event #2000 :Sending Touch (ACTION_UP): 0:(88.90527,1974.4277) // activityResuming(org.odk.collect.android) :Sending Trackball (ACTION_MOVE): 0:(-5.0,-3.0) :Sending Trackball (ACTION_UP): 0:(0.0,0.0) // Allowing start of Intent { cmp=org.odk.collect.android/.configure.qr.QRCodeTabsActivity } in package org.odk.collect.android // activityResuming(org.odk.collect.android) // Allowing start of Intent { cmp=org.odk.collect.android/.configure.qr.QRCodeTabsActivity } in package org.odk.collect.android // activityResuming(org.odk.collect.android) :Sending Touch (ACTION_DOWN): 0:(367.0,119.0) :Sending Touch (ACTION_UP): 0:(367.0,119.0) :Sending rotation degree=0, persist=false