[APE] >>>>>>>> SATA begin step [44][Elapsed: 0000 00:01:22] [APE] *** INFO *** Explored 3 app activities. [APE] *** INFO *** Used: 6 MB, Max: 192 MB, Available: 186 MB [APE] *** INFO *** Recover current states and actions... [APE] *** INFO *** > recovered current state: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] *** INFO *** > recovered current action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][] [APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] for GUI tree GUITree[70@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] [APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] for GUI tree GUITree[71@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] for GUI tree GUITree[72@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] for GUI tree GUITree[73@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] 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@-1257340347@Naming[0]@[W=3][A=3]: #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: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] Action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][] [APE] Target: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] [APE] Add target result: true [APE] GSTG(g1): activities (3), states (16), edges (36), unvisited actions (75), 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 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_CLICKclass=android.widget.CheckedTextView;resource-id=android:id/text1;enabled=true;clickable=true;checkable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][70,1002,1010,1128][Keep pos] [APE] 2 g1a122[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][779,1391,978,1517][CANCEL] [APE] 3 g1a123[-1,0][0]@MODEL_BACKg1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3][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: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] [APE] *** INFO *** > - B: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] *** INFO *** Never move from a cold activity (g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3])(it.feio.android.omninotes.SettingsActivity[44,44][1][S=1]) to a hot activity (g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9])(it.feio.android.omninotes.MainActivity[1,43][42][S=12]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g1a122[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][779,1391,978,1517][CANCEL] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9] [APE] Curr action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][] [APE] New state: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] [APE] New action: g1a122[44,44][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][779,1391,978,1517][CANCEL] [APE] >>>>>>>> SATA end step [44] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2|bounds=779,1391,978,1517 target_fp=activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2 action=g1a122[44,44][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][779,1391,978,1517][CANCEL] :Sending Touch (ACTION_DOWN): 0:(878.5,1454.0) :Sending Touch (ACTION_UP): 0:(878.5,1454.0)