[APE] >>>>>>>> SATA begin step [318][Elapsed: 0000 00:08:04] [APE] *** INFO *** Explored 11 app activities. [APE] *** INFO *** Used: 12 MB, Max: 192 MB, Available: 180 MB [APE] *** INFO *** Recover current states and actions... [APE] *** INFO *** > recovered current state: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] *** INFO *** > recovered current 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 *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Delete [APE] *** INFO *** Create state g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] for GUI tree GUITree[458@0]@g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] *** INFO *** Checking new state: g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Delete [APE] *** INFO *** Create state g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] for GUI tree GUITree[459@0]@g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Delete [APE] *** INFO *** Create state g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] for GUI tree GUITree[460@0]@g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Delete [APE] *** INFO *** Create state g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] for GUI tree GUITree[461@0]@g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] is excluded from future refresh checks. [APE] *** INFO *** Check under-abstracted states g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]: #0 [APE] *** INFO *** Check under-abstracted states collected 3 targets for naming Naming[28]. The state is g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]. #0 [APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 [APE] *** INFO *** Check under-abstracted states collected 8 targets for naming Naming[4]. The state is g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]. #1 [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 g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]: #0 [APE] *** INFO *** Check under-abstracted states collected 3 targets for naming Naming[28]. The state is g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]. #0 [APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 [APE] *** INFO *** Check under-abstracted states collected 8 targets for naming Naming[4]. The state is g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]. #1 [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: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] 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] Target: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] Add target result: true [APE] GSTG(g15): activities (11), states (52), edges (209), unvisited actions (94), visited actions (202) [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.49 16 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,318][93][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 updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (1) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 287 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 g12a254[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,423][] [APE] 2 g12a255[75,75][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,423,1080,615][] [APE] 3 g12a256[-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,756][] [APE] 4 g12a257[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=android:id/title;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][189,657,312,714][Delete] [APE] 5 g12a258[-1,0][0]@MODEL_BACKg12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5][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: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] *** INFO *** > - B: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] *** INFO *** Never move from a cold state (g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]) to a hot state (g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Select action g12a256[-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,756][] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] Curr 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] New state: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] New action: g12a256[318,318][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,615,1080,756][] [APE] >>>>>>>> SATA end step [318] [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,615,1080,756 target_fp=activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.LinearLayout|text=|resource_id= action=g12a256[318,318][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,615,1080,756][] :Sending Touch (ACTION_DOWN): 0:(540.0,685.5) :Sending Touch (ACTION_UP): 0:(540.0,685.5)