[APE] >>>>>>>> SATA begin step [320][Elapsed: 0000 00:08:09] [APE] *** INFO *** Explored 11 app activities. [APE] *** INFO *** Used: 10 MB, Max: 192 MB, Available: 182 MB [APE] *** INFO *** Create state g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] for GUI tree GUITree[466@0]@g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] [APE] *** INFO *** Checking new state: g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] for GUI tree GUITree[467@0]@g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] for GUI tree GUITree[468@0]@g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] for GUI tree GUITree[469@0]@g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] is excluded from future refresh checks. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g15s68[-1,0][0]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2]: #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: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] 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] Target: g15s68[320,320][1]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] [APE] Add target result: true [APE] GSTG(g15): activities (11), states (54), edges (211), unvisited actions (99), visited actions (204) [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.63 3 org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,320][9][S=3] [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 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 (0) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 289 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 g15a368[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][810,1284,978,1410][OK] [APE] 2 g15a369[-1,0][0]@MODEL_BACKg15s68[320,320][1]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2][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: g15s68[320,320][1]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] [APE] *** INFO *** > - B: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] *** INFO *** Never move from a cold activity (g15s68[320,320][1]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2])(org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,320][9][S=3]) to a hot activity (g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5])(org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,319][94][S=17]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g15a368[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][810,1284,978,1410][OK] by strategy EARLY_STAGE [APE] Last state: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] [APE] Last 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] Curr state: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] [APE] Curr 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] New state: g15s68[320,320][1]org.odk.collect.android.configure.qr.QRCodeTabsActivity@-1336728689@Naming[0]@[W=2][A=2] [APE] New action: g15a368[320,320][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][810,1284,978,1410][OK] [APE] >>>>>>>> SATA end step [320] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.configure.qr.QRCodeTabsActivity|class=android.widget.Button|text=OK|resource_id=android:id/button1|bounds=810,1284,978,1410 target_fp=activity=org.odk.collect.android.configure.qr.QRCodeTabsActivity|class=android.widget.Button|text=OK|resource_id=android:id/button1 action=g15a368[320,320][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][810,1284,978,1410][OK] :Sending Touch (ACTION_DOWN): 0:(894.0,1347.0) :Sending Touch (ACTION_UP): 0:(894.0,1347.0) // activityResuming(org.odk.collect.android)