[APE] >>>>>>>> SATA begin step [47][Elapsed: 0000 00:01:12] [APE] *** INFO *** Explored 3 app activities. [APE] *** INFO *** Used: 3 MB, Max: 192 MB, Available: 189 MB [APE] *** INFO *** Create state g4s21[46,46][1]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8] for GUI tree GUITree[82@0]@g4s21[46,46][1]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8] [APE] *** INFO *** Check under-abstracted states g4s21[46,46][1]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[40]. The state is g4s21[46,46][1]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[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 g4s21[46,46][1]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g4s21[46,46][1]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[40]. The state is g4s21[46,46][1]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[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] === Adding edge... [APE] Source: g4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8] [APE] Action: g4a177[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][0,786,1080,978][] [APE] Target: g4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8] [APE] Add target result: true [APE] GSTG(g4): activities (3), states (18), edges (38), unvisited actions (104), visited actions (38) [APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3] [APE] *** INFO *** - 0.09 3 it.feio.android.omninotes.SettingsActivity[44,47][4][S=3] [APE] *** INFO *** - 0.31 12 it.feio.android.omninotes.MainActivity[1,43][42][S=12] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (3) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 46 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 g4a174[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,63,147,210][#47b2d09b] [APE] 2 g4a175[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,402,1080,594][] [APE] 3 g4a176[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,594,1080,786][] [APE] 4 g4a177[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,786,1080,978][] [APE] 5 g4a178[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,978,1080,1170][] [APE] 6 g4a179[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;enabled=true;checkable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][916,1038,1038,1109][] [APE] 7 g4a180[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,210,1080,402][] [APE] 8 g4a181[-1,0][0]@MODEL_BACKg4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g4a176[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,594,1080,786][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8] [APE] *** INFO *** > - B: g4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8] [APE] *** INFO *** Never move from a cold state (g4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8]) to a hot state (g4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g4a178[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,978,1080,1170][] by strategy EARLY_STAGE [APE] Last state: g3s19[45,45][1]it.feio.android.omninotes.SettingsActivity@-836465787@Naming[39]@[W=20][A=23] [APE] Last action: g3a160[45,45][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,486,1080,627][] [APE] Curr state: g4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8] [APE] Curr action: g4a177[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,786,1080,978][] [APE] New state: g4s21[46,47][2]it.feio.android.omninotes.SettingsActivity@1221446186@Naming[40]@[W=8][A=8] [APE] New action: g4a178[47,47][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,978,1080,1170][] [APE] >>>>>>>> SATA end step [47] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,978,1080,1170 target_fp=activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id= action=g4a178[47,47][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,978,1080,1170][] :Sending Touch (ACTION_DOWN): 0:(540.0,1074.0) :Sending Touch (ACTION_UP): 0:(540.0,1074.0)