[APE] >>>>>>>> SATA begin step [35][Elapsed: 0000 00:01:29] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 36 MB, Max: 192 MB, Available: 156 MB [APE] *** INFO *** Too many nodes in WebView (3994 > 64), remove the WebView. [APE] *** INFO *** Too many nodes in WebView (3995 > 64), remove the WebView. [APE] *** INFO *** Create state g5s26[34,34][1]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10] for GUI tree GUITree[64@0]@g5s26[34,34][1]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g5s26[34,34][1]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10]: #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: g5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10] [APE] Action: g5a299[34,34][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_find_in_article;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][432,2148,648,2337][Find in ] [APE] Target: g5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10] [APE] Add target result: true [APE] GSTG(g5): activities (4), states (20), edges (32), unvisited actions (222), visited actions (30) [APE] *** INFO *** - 0.08 8 org.wikipedia.main.MainActivity[1,21][14][S=8] [APE] *** INFO *** - 0.78 2 org.wikipedia.commons.FilePageActivity[9,17][9][S=2] [APE] *** INFO *** - 0.12 8 org.wikipedia.page.PageActivity[22,35][12][S=8] [APE] *** INFO *** - 0.06 2 org.wikipedia.language.LangLinksActivity[25,27][2][S=2] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (6) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 34 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 2 BUFFER_LOSS [APE] 3 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g5a294[-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,100][#aa1de800] [APE] 2 g5a295[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][147,63,817,74][Search W] [APE] 3 g5a296[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/page_toolbar_button_show_overflow_menu;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][954,63,1080,90][] [APE] 4 g5a297[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_save;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2148,216,2337][Save] [APE] 5 g5a298[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_language;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][216,2148,432,2337][Language] [APE] 6 g5a299[34,34][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_find_in_article;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][432,2148,648,2337][Find in ] [APE] 7 g5a300[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_theme;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][648,2148,864,2337][Theme] [APE] 8 g5a301[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_contents;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][864,2148,1080,2337][Contents] [APE] 9 g5a302[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/page_toolbar_button_tabs;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][828,63,954,111][] [APE] 10 g5a303[-1,0][0]@MODEL_BACKg5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g5a294[-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,100][#aa1de800] [APE] *** INFO *** - g5a301[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_contents;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][864,2148,1080,2337][Contents] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10] [APE] *** INFO *** > - B: g5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10] [APE] *** INFO *** Never move from a cold state (g5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10]) to a hot state (g5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g5a295[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][147,63,817,74][Search W] by strategy EARLY_STAGE [APE] Last state: g5s25[33,33][1]org.wikipedia.page.PageActivity@-1943057390@Naming[0]@[W=2][A=2] [APE] Last action: g5a292[33,33][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;enabled=true;clickable=true;[P=64][T=200][][S=0.000000][RN=3][607,1826,1038,1883][Copy lin] [APE] Curr state: g5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10] [APE] Curr action: g5a299[34,34][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_find_in_article;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][432,2148,648,2337][Find in ] [APE] New state: g5s26[34,35][2]org.wikipedia.page.PageActivity@-1923708700@Naming[0]@[W=10][A=10] [APE] New action: g5a295[35,35][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][147,63,817,74][Search W] [APE] >>>>>>>> SATA end step [35] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search|bounds=147,63,817,74 target_fp=activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search action=g5a295[35,35][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][147,63,817,74][Search W] :Sending Touch (ACTION_DOWN): 0:(482.0,68.5) :Sending Touch (ACTION_UP): 0:(482.0,68.5) // Allowing start of Intent { cmp=org.wikipedia/.search.SearchActivity } in package org.wikipedia