[APE] >>>>>>>> SATA begin step [44][Elapsed: 0000 00:01:09] [APE] *** INFO *** Explored 3 app activities. [APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB [APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] for GUI tree GUITree[70@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] [APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] for GUI tree GUITree[71@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] for GUI tree GUITree[72@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] for GUI tree GUITree[73@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] is excluded from future refresh checks. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][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: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] [APE] GSTG(g1): activities (3), states (16), edges (35), unvisited actions (76), visited actions (35) [APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3] [APE] *** INFO *** - 0.00 1 it.feio.android.omninotes.SettingsActivity[44,44][1][S=1] [APE] *** INFO *** - 0.31 12 it.feio.android.omninotes.MainActivity[1,43][42][S=12] [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] 0 USE_BUFFER [APE] 43 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 1 BUFFER_LOSS [APE] 8 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g1a121[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][74,168,1006,2105][] [APE] 2 g1a122[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ListView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][74,168,1006,2105][] [APE] 3 g1a123[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][785,2105,974,2231][OK] [APE] 4 g1a124[-1,0][0]@MODEL_BACKg1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][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 g1a123[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][785,2105,974,2231][OK] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: null [APE] Curr action: null [APE] New state: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@625706570@Naming[0]@[W=3][A=4] [APE] New action: g1a123[44,44][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][785,2105,974,2231][OK] [APE] >>>>>>>> SATA end step [44] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.TextView|text=OK|resource_id=it.feio.android.omninotes:id/md_buttonDefaultPositive|bounds=785,2105,974,2231 target_fp=activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.TextView|text=OK|resource_id=it.feio.android.omninotes:id/md_buttonDefaultPositive action=g1a123[44,44][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][785,2105,974,2231][OK] :Sending Touch (ACTION_DOWN): 0:(879.5,2168.0) :Sending Touch (ACTION_UP): 0:(879.5,2168.0)