[APE] >>>>>>>> SATA begin step [47][Elapsed: 0000 00:01:25] [APE] *** INFO *** Explored 3 app activities. [APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB [APE] *** INFO *** Create state g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] for GUI tree GUITree[79@0]@g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] [APE] *** INFO *** Check under-abstracted states g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[42]. The state is g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]. #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 *** Check under-abstracted states collected 1 targets for naming Naming[41]. The state is g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]. #1 [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 g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[42]. The state is g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]. #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 *** Check under-abstracted states collected 1 targets for naming Naming[41]. The state is g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]. #1 [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: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] [APE] Action: g3a137[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][0,402,1080,543][] [APE] Target: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] [APE] Add target result: true [APE] GSTG(g3): activities (3), states (17), edges (39), unvisited actions (82), visited actions (38) [APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3] [APE] *** INFO *** - 0.23 2 it.feio.android.omninotes.SettingsActivity[44,47][4][S=2] [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 (2), 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 g3a133[-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 g3a134[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=1;enabled=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][916,437,1038,508][] [APE] 3 g3a135[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][916,987,1038,1058][] [APE] 4 g3a136[-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] 5 g3a137[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,402,1080,543][] [APE] 6 g3a138[-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,543,1080,735][] [APE] 7 g3a139[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,735,1080,927][] [APE] 8 g3a140[45,45][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,927,1080,1119][] [APE] 9 g3a141[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1119,1080,1311][] [APE] 10 g3a142[-1,0][0]@MODEL_BACKg3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10][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: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] [APE] *** INFO *** > - B: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] [APE] *** INFO *** Never move from a cold state (g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]) to a hot state (g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g3a135[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][916,987,1038,1058][] by strategy EARLY_STAGE [APE] Last state: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] [APE] Last action: g3a140[45,45][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,927,1080,1119][] [APE] Curr state: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] [APE] Curr action: g3a137[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,402,1080,543][] [APE] New state: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] [APE] New action: g3a135[47,47][1]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=64][T=200][][S=0.000000][RN=3][916,987,1038,1058][] [APE] >>>>>>>> SATA end step [47] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Switch|text=|resource_id=android:id/switch_widget|bounds=916,987,1038,1058 target_fp=activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Switch|text=|resource_id=android:id/switch_widget action=g3a135[47,47][1]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=64][T=200][][S=0.000000][RN=3][916,987,1038,1058][] :Sending Touch (ACTION_DOWN): 0:(977.0,1022.5) :Sending Touch (ACTION_UP): 0:(977.0,1022.5)