[APE] >>>>>>>> SATA begin step [319][Elapsed: 0000 00:08:05] [APE] *** INFO *** Explored 11 app activities. [APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB [APE] *** INFO *** Create state g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] for GUI tree GUITree[462@0]@g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] *** INFO *** Checking new state: g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 273 ms. [APE] *** INFO *** Create state g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] for GUI tree GUITree[463@0]@g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] for GUI tree GUITree[464@0]@g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] for GUI tree GUITree[465@0]@g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] is excluded from future refresh checks. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]: #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: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] 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] Target: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] Add target result: true [APE] GSTG(g15): activities (11), states (53), edges (210), unvisited actions (98), visited actions (203) [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 17 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,319][94][S=17] [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 (2) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 288 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 g15a363[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/cancel_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][133,1483,947,1618][Cancel] [APE] 2 g15a364[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][133,1258,947,1399][] [APE] 3 g15a365[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][133,1258,947,1399][] [APE] 4 g15a366[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/delete_button;clickable=true;[P=52][T=200][, DISABLED, UNVISITED][S=0.000000][RN=1][133,1639,947,1786][Delete p] [APE] 5 g15a367[-1,0][0]@MODEL_BACKg15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][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: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] *** INFO *** > - B: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] *** INFO *** Never move from a cold state (g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]) to a hot state (g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g15a364[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][133,1258,947,1399][] by strategy EARLY_STAGE [APE] Last state: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10] [APE] Last 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] Curr state: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] Curr 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] New state: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] New action: g15a364[319,319][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][133,1258,947,1399][] [APE] *** INFO *** Select [Sorry, t] 122/138 from string list [APE] *** INFO *** Use random string 43963650931 [APE] >>>>>>>> SATA end step [319] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.EditText|text=|resource_id=org.odk.collect.android:id/confirmation_field_input|bounds=133,1258,947,1399 target_fp=activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.EditText|text=|resource_id=org.odk.collect.android:id/confirmation_field_input action=g15a364[319,319][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][133,1258,947,1399][] [APE] *** INFO *** Input text is 43963650931 :Sending Touch (ACTION_DOWN): 0:(540.0,1328.5) :Sending Touch (ACTION_UP): 0:(540.0,1328.5) :Sending Touch (ACTION_DOWN): 0:(133.0,1258.0) :Sending Touch (ACTION_UP): 0:(133.0,1258.0) // Allowing start of Intent { cmp=org.odk.collect.android/.configure.qr.QRCodeTabsActivity } in package org.odk.collect.android