[APE] >>>>>>>> SATA begin step [160][Elapsed: 0000 00:03:58] [APE] *** INFO *** Explored 8 app activities. [APE] *** INFO *** Used: 8 MB, Max: 192 MB, Available: 184 MB [APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.odk.collect.android:id/projects@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.odk.collect.android:id/project_icon_text@D [APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.odk.collect.android:id/enter_data@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.odk.collect.android:id/name@Start ne [APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.odk.collect.android:id/review_data@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.odk.collect.android:id/name@Drafts [APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.odk.collect.android:id/send_data@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.odk.collect.android:id/name@Ready to [APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.odk.collect.android:id/view_sent_forms@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.odk.collect.android:id/name@Sent [APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.odk.collect.android:id/get_forms@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.odk.collect.android:id/name@Download [APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.odk.collect.android:id/manage_forms@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.odk.collect.android:id/name@Delete f [APE] *** INFO *** Create state g1s1[1,127][5]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8] for GUI tree GUITree[231@0]@g1s1[1,127][5]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8] [APE] *** INFO *** Check under-abstracted states g1s1[1,127][5]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[3]. The state is g1s1[1,127][5]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8]. #0 [APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g1s1[1,127][5]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g1s1[1,127][5]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[3]. The state is g1s1[1,127][5]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8]. #0 [APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] *** INFO *** Entry state: g1s1[1,160][6]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8] [APE] GSTG(g11): activities (8), states (26), edges (101), unvisited actions (56), visited actions (100) [APE] *** INFO *** - 0.50 1 org.odk.collect.android.mainmenu.MainMenuActivity[1,160][6][S=1] [APE] *** INFO *** - 0.95 4 org.odk.collect.android.activities.InstanceChooserList[2,37][36][S=4] [APE] *** INFO *** - 1.00 1 com.karumi.dexter.DexterActivity[67,67][1][S=1] [APE] *** INFO *** - 0.65 5 org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity[39,66][31][S=5] [APE] *** INFO *** - 0.83 2 org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,74][7][S=2] [APE] *** INFO *** - 0.83 4 org.odk.collect.android.formlists.blankformlist.BlankFormListActivity[126,159][33][S=4] [APE] *** INFO *** - 0.18 5 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,79][6][S=5] [APE] *** INFO *** - 0.74 4 org.odk.collect.android.activities.DeleteFormsActivity[81,124][44][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] 4 USE_BUFFER [APE] 153 EARLY_STAGE [APE] 2 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 0 BUFFER_LOSS [APE] 54 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g1a3[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/project_icon_text;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][959,107,1038,186][D] [APE] 2 g1a4[125,127][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=0;enabled=true;clickable=true;[P=42][T=500][][S=1.000000][RN=1][437,315,749,378][Start ne] [APE] 3 g1a5[1,1][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=1;enabled=true;clickable=true;[P=22][T=500][][S=1.000000][RN=1][231,504,912,567][Drafts] [APE] 4 g1a6[38,38][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=2;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][231,693,912,756][Ready to] [APE] 5 g1a7[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][231,882,912,945][Sent] [APE] 6 g1a8[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][231,1071,912,1134][Download] [APE] 7 g1a9[80,80][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=5;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][231,1260,912,1323][Delete f] [APE] 8 g1a10[-1,0][0]@MODEL_BACKg1s1[1,160][6]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8][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 g1a8[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][231,1071,912,1134][Download] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: null [APE] Curr action: null [APE] New state: g1s1[1,160][6]org.odk.collect.android.mainmenu.MainMenuActivity@-84927010@Naming[3]@[W=8][A=8] [APE] New action: g1a8[160,160][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=4;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][231,1071,912,1134][Download] [APE] >>>>>>>> SATA end step [160] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.mainmenu.MainMenuActivity|class=android.widget.TextView|text=Download|resource_id=org.odk.collect.android:id/name|bounds=231,1071,912,1134 target_fp=activity=org.odk.collect.android.mainmenu.MainMenuActivity|class=android.widget.TextView|text=Download|resource_id=org.odk.collect.android:id/name action=g1a8[160,160][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=4;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][231,1071,912,1134][Download] :Sending Touch (ACTION_DOWN): 0:(571.5,1102.5) :Sending Touch (ACTION_UP): 0:(571.5,1102.5) // Allowing start of Intent { cmp=org.odk.collect.android/.activities.FormDownloadListActivity } in package org.odk.collect.android