[APE] >>>>>>>> SATA begin step [288][Elapsed: 0000 00:06:59] [APE] *** INFO *** Explored 10 app activities. [APE] *** INFO *** Used: 10 MB, Max: 192 MB, Available: 182 MB [APE] *** INFO *** Create state g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] for GUI tree GUITree[410@0]@g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] [APE] *** INFO *** Checking new state: g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] for GUI tree GUITree[411@0]@g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] for GUI tree GUITree[412@0]@g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] for GUI tree GUITree[413@0]@g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] is excluded from future refresh checks. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g13s59[-1,0][0]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] *** INFO *** Entry state: g13s59[288,288][1]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] [APE] GSTG(g13): activities (10), states (47), edges (183), unvisited actions (86), visited actions (175) [APE] *** INFO *** - 0.76 5 org.odk.collect.android.mainmenu.MainMenuActivity[1,236][31][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,287][91][S=16] [APE] *** INFO *** - 0.00 1 org.odk.collect.android.activities.FirstLaunchActivity[288,288][1][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 (0), state (0), activity (0) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 258 EARLY_STAGE [APE] 20 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 6 BUFFER_LOSS [APE] 90 FILL_BUFFER [APE] 0 BAD_STATE [APE] 2 PROBE [APE] 1 g13a313[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/configure_manually_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][199,1426,882,1573][Manually] [APE] 2 g13a314[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/configure_via_qr_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][199,1258,882,1405][Configur] [APE] 3 g13a315[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/dont_have_server;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][190,2244,891,2295][Don't ha] [APE] 4 g13a316[-1,0][0]@MODEL_BACKg13s59[288,288][1]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g13a314[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/configure_via_qr_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][199,1258,882,1405][Configur] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: null [APE] Curr action: null [APE] New state: g13s59[288,288][1]org.odk.collect.android.activities.FirstLaunchActivity@-1032865630@Naming[0]@[W=4][A=4] [APE] New action: g13a314[288,288][1]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/configure_via_qr_button;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][199,1258,882,1405][Configur] [APE] >>>>>>>> SATA end step [288] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.activities.FirstLaunchActivity|class=android.widget.Button|text=Configur|resource_id=org.odk.collect.android:id/configure_via_qr_button|bounds=199,1258,882,1405 target_fp=activity=org.odk.collect.android.activities.FirstLaunchActivity|class=android.widget.Button|text=Configur|resource_id=org.odk.collect.android:id/configure_via_qr_button action=g13a314[288,288][1]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/configure_via_qr_button;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][199,1258,882,1405][Configur] :Sending Touch (ACTION_DOWN): 0:(540.5,1331.5) :Sending Touch (ACTION_UP): 0:(540.5,1331.5)