[APE] >>>>>>>> SATA begin step [315][Elapsed: 0000 00:07:39] [APE] *** INFO *** Explored 10 app activities. [APE] *** INFO *** Used: 8 MB, Max: 192 MB, Available: 184 MB [APE] *** INFO *** Create state g7s18[67,198][2]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] for GUI tree GUITree[458@0]@g7s18[67,198][2]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] [APE] *** INFO *** State g7s18[67,198][2]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g7s18[67,198][2]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1]: #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: g16s66[311,314][3]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@1983317285@Naming[0]@[W=4][A=5] [APE] Action: g16a344[314,314][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: g7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] [APE] Add target result: true [APE] GSTG(g16): activities (10), states (43), edges (185), unvisited actions (65), visited actions (177) [APE] *** INFO *** - 0.79 5 org.odk.collect.android.mainmenu.MainMenuActivity[1,297][36][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,315][3][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.56 12 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,314][147][S=12] [APE] *** INFO *** - 1.00 1 org.odk.collect.android.activities.AboutActivity[290,295][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] 285 EARLY_STAGE [APE] 22 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 6 BUFFER_LOSS [APE] 99 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g7a91[67,198][2]@MODEL_BACKg7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1][P=8][T=0][] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] [APE] *** INFO *** > - B: g16s66[311,314][3]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@1983317285@Naming[0]@[W=4][A=5] [APE] *** INFO *** Never move from a cold activity (g7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1])(com.karumi.dexter.DexterActivity[67,315][3][S=1]) to a hot activity (g16s66[311,314][3]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@1983317285@Naming[0]@[W=4][A=5])(org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,314][147][S=12]) in ABA. [APE] *** INFO *** Find a path (1/1) to state g11s43[199,211][5]org.odk.collect.android.mainmenu.MainMenuActivity@291066004@Naming[0]@[W=4][A=5] for backtrack. [APE] *** INFO *** Fill buffer.. [APE] *** INFO *** 0 g11e123[203,203][6]@[H(1),M(0),T(0.000000)] g7s18 =[g7a91]=> g11s43 [APE] *** INFO *** Select action g7a91[67,198][2]@MODEL_BACKg7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1][P=8][T=200][] by strategy EARLY_STAGE [APE] Last state: g16s66[311,314][3]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@1983317285@Naming[0]@[W=4][A=5] [APE] Last action: g16a345[313,313][1]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=26][T=0][][S=1.000000][RN=1][133,1258,947,1399][] [APE] Curr state: g16s66[311,314][3]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@1983317285@Naming[0]@[W=4][A=5] [APE] Curr action: g16a344[314,314][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: g7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] [APE] New action: g7a91[67,315][3]@MODEL_BACKg7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1][P=8][T=200][] [APE] >>>>>>>> SATA end step [315] // activityResuming(org.odk.collect.android)