[APE] >>>>>>>> SATA begin step [756][Elapsed: 0000 00:20:27] [APE] *** INFO *** Explored 22 app activities. [APE] *** INFO *** Used: 12 MB, Max: 192 MB, Available: 180 MB [APE] *** INFO *** Patching this node: android.view.ViewGroup@org.wikipedia:id/view_description_edit_read_article_bar_container@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.wikipedia:id/viewArticleTitle@Shin-Osa [APE] *** INFO *** Create state g25s227[-1,0][0]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9] for GUI tree GUITree[956@0]@g25s227[-1,0][0]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g25s227[-1,0][0]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9]: #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: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5] [APE] Action: g24a2380[755,755][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][954,1893,1038,1956][] [APE] Target: g25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9] [APE] Add target result: true [APE] GSTG(g25): activities (22), states (194), edges (642), unvisited actions (1550), visited actions (590) [APE] *** INFO *** - 0.14 35 org.wikipedia.main.MainActivity[1,726][88][S=35] [APE] *** INFO *** - 0.90 2 org.wikipedia.donate.GooglePayActivity[277,297][19][S=2] [APE] *** INFO *** - 0.15 2 org.wikipedia.talk.TalkTopicsActivity[369,490][2][S=2] [APE] *** INFO *** - 0.27 22 org.wikipedia.search.SearchActivity[23,744][103][S=22] [APE] *** INFO *** - 0.45 12 org.wikipedia.settings.languages.WikipediaLanguagesActivity[236,741][81][S=12] [APE] *** INFO *** - 0.05 2 org.wikipedia.categories.CategoryActivity[666,667][2][S=2] [APE] *** INFO *** - 0.33 53 org.wikipedia.page.PageActivity[22,750][272][S=53] [APE] *** INFO *** - 1.00 1 org.wikipedia.places.PlacesFilterActivity[313,330][6][S=1] [APE] *** INFO *** - 0.06 1 org.wikipedia.settings.SettingsActivity[724,724][1][S=1] [APE] *** INFO *** - 0.57 3 org.wikipedia.commons.FilePageActivity[9,755][10][S=3] [APE] *** INFO *** - 0.22 12 org.wikipedia.readinglist.ReadingListActivity[57,692][29][S=12] [APE] *** INFO *** - 0.20 2 org.wikipedia.language.LanguagesListActivity[237,605][10][S=2] [APE] *** INFO *** - 0.00 1 org.wikipedia.descriptions.DescriptionEditActivity[756,756][1][S=1] [APE] *** INFO *** - 0.59 4 org.wikipedia.gallery.GalleryActivity[33,754][31][S=4] [APE] *** INFO *** - 0.39 9 org.wikipedia.page.tabs.TabActivity[30,719][43][S=9] [APE] *** INFO *** - 0.27 3 org.wikipedia.login.LoginActivity[175,708][21][S=3] [APE] *** INFO *** - 0.48 2 org.wikipedia.page.customize.CustomizeToolbarActivity[440,659][21][S=2] [APE] *** INFO *** - 0.40 5 org.wikipedia.edit.EditSectionActivity[559,584][18][S=5] [APE] *** INFO *** - 0.19 8 org.wikipedia.createaccount.CreateAccountActivity[96,702][44][S=8] [APE] *** INFO *** - 0.37 9 org.wikipedia.places.PlacesActivity[110,362][34][S=9] [APE] *** INFO *** - 0.18 2 org.wikipedia.onboarding.InitialOnboardingActivity[262,265][3][S=2] [APE] *** INFO *** - 0.11 4 org.wikipedia.language.LangLinksActivity[366,645][7][S=4] [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] 20 USE_BUFFER [APE] 735 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 46 BUFFER_LOSS [APE] 136 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g25a2385[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=org.wikipedia:id/text_input_end_icon;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][912,603,1038,729][#8f5578eb] [APE] 2 g25a2386[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/view_description_edit_cancel_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][11,84,137,210][] [APE] 3 g25a2387[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/view_description_edit_save_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][842,84,1069,210][Publish] [APE] 4 g25a2388[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=org.wikipedia:id/view_description_edit_page_summary_container;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,554][] [APE] 5 g25a2389[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/view_description_edit_text;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,593,1038,739][Image ca] [APE] 6 g25a2390[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/view_description_edit_text;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,593,1038,739][Image ca] [APE] 7 g25a2391[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.wikipedia:id/learnMoreButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][32,937,1048,1063][Learn mo] [APE] 8 g25a2392[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/viewArticleTitle;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][126,2191,891,2335][Shin-Osa] [APE] 9 g25a2393[-1,0][0]@MODEL_BACKg25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9][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: g25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9] [APE] *** INFO *** > - B: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5] [APE] *** INFO *** Never move from a cold activity (g25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9])(org.wikipedia.descriptions.DescriptionEditActivity[756,756][1][S=1]) to a hot activity (g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5])(org.wikipedia.commons.FilePageActivity[9,755][10][S=3]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g25a2385[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=org.wikipedia:id/text_input_end_icon;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][912,603,1038,729][#8f5578eb] by strategy EARLY_STAGE [APE] Last state: g25s226[394,754][4]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] [APE] Last action: g25a2383[754,754][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;index=1;enabled=true;clickable=true;[P=0][T=0][, INVALID] [APE] Curr state: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5] [APE] Curr action: g24a2380[755,755][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][954,1893,1038,1956][] [APE] New state: g25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9] [APE] New action: g25a2385[756,756][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=org.wikipedia:id/text_input_end_icon;enabled=true;clickable=true;checkable=true;[P=52][T=200][][S=0.000000][RN=1][912,603,1038,729][#8f5578eb] [APE] >>>>>>>> SATA end step [756] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.descriptions.DescriptionEditActivity|class=android.widget.ImageButton|text=#8f5578eb|resource_id=org.wikipedia:id/text_input_end_icon|bounds=912,603,1038,729 target_fp=activity=org.wikipedia.descriptions.DescriptionEditActivity|class=android.widget.ImageButton|text=#8f5578eb|resource_id=org.wikipedia:id/text_input_end_icon action=g25a2385[756,756][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=org.wikipedia:id/text_input_end_icon;enabled=true;clickable=true;checkable=true;[P=52][T=200][][S=0.000000][RN=1][912,603,1038,729][#8f5578eb] :Sending Touch (ACTION_DOWN): 0:(975.0,666.0) :Sending Touch (ACTION_UP): 0:(975.0,666.0) // Rejecting start of Intent { act=android.speech.action.RECOGNIZE_SPEECH cmp=com.google.android.tts/com.google.android.apps.speech.tts.googletts.service.GoogleTTSActivity } in package com.google.android.tts