[APE] >>>>>>>> SATA begin step [1228][Elapsed: 0000 00:32:05] [APE] *** INFO *** Explored 25 app activities. [APE] *** INFO *** Used: 22 MB, Max: 192 MB, Available: 170 MB [APE] *** INFO *** Create state g35s313[1225,1227][3]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] for GUI tree GUITree[1506@0]@g35s313[1225,1227][3]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g35s313[1225,1227][3]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18]: #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: g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] [APE] Action: g35a3311[1227,1227][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/replySubjectText;enabled=true;clickable=true;long-clickable=true;[P=52][T=0][][S=1.000000][RN=1][42,273,2358,419][98445.44] [APE] Target: g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] [APE] Add target result: true [APE] GSTG(g35): activities (25), states (264), edges (1004), unvisited actions (2033), visited actions (902) [APE] *** INFO *** - 0.59 15 org.wikipedia.settings.languages.WikipediaLanguagesActivity[236,1221][138][S=15] [APE] *** INFO *** - 0.10 3 org.wikipedia.categories.CategoryActivity[666,1125][5][S=3] [APE] *** INFO *** - 0.35 67 org.wikipedia.page.PageActivity[22,1210][407][S=67] [APE] *** INFO *** - 0.20 8 org.wikipedia.diff.ArticleEditDetailsActivity[888,1216][33][S=8] [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.64 3 org.wikipedia.commons.FilePageActivity[9,769][11][S=3] [APE] *** INFO *** - 0.11 4 org.wikipedia.page.edithistory.EditHistoryListActivity[886,1214][7][S=4] [APE] *** INFO *** - 0.20 2 org.wikipedia.talk.TalkReplyActivity[1223,1228][6][S=2] [APE] *** INFO *** - 0.27 3 org.wikipedia.login.LoginActivity[175,708][21][S=3] [APE] *** INFO *** - 0.67 3 org.wikipedia.page.customize.CustomizeToolbarActivity[440,1006][74][S=3] [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.25 10 org.wikipedia.language.LangLinksActivity[366,1194][35][S=10] [APE] *** INFO *** - 0.16 37 org.wikipedia.main.MainActivity[1,1025][107][S=37] [APE] *** INFO *** - 0.95 2 org.wikipedia.donate.GooglePayActivity[277,792][20][S=2] [APE] *** INFO *** - 0.27 4 org.wikipedia.talk.TalkTopicsActivity[369,1222][7][S=4] [APE] *** INFO *** - 0.26 32 org.wikipedia.search.SearchActivity[23,1205][165][S=32] [APE] *** INFO *** - 0.20 13 org.wikipedia.readinglist.ReadingListActivity[57,848][30][S=13] [APE] *** INFO *** - 0.31 2 org.wikipedia.language.LanguagesListActivity[237,1168][14][S=2] [APE] *** INFO *** - 0.46 4 org.wikipedia.descriptions.DescriptionEditActivity[756,768][13][S=4] [APE] *** INFO *** - 0.83 5 org.wikipedia.gallery.GalleryActivity[33,978][44][S=5] [APE] *** INFO *** - 0.49 15 org.wikipedia.page.tabs.TabActivity[30,1196][74][S=15] [APE] *** INFO *** - 0.35 11 org.wikipedia.edit.EditSectionActivity[559,1131][55][S=11] [APE] *** INFO *** - 0.19 8 org.wikipedia.createaccount.CreateAccountActivity[96,702][44][S=8] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (3), activity (5) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 57 USE_BUFFER [APE] 1164 EARLY_STAGE [APE] 6 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 86 BUFFER_LOSS [APE] 251 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g35a3310[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,84,147,210][#a86d804d] [APE] 2 g35a3311[1227,1227][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/replySubjectText;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][42,273,2358,419][98445.44] [APE] 3 g35a3312[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/replySubjectText;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,273,2358,419][98445.44] [APE] 4 g35a3313[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/inputEditText;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,461,2358,656][70930436] [APE] 5 g35a3314[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/inputEditText;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,461,2358,656][70930436] [APE] 6 g35a3315[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/replyNextButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2227,84,2400,210][Next] [APE] 7 g35a3316[1226,1226][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_user_mention;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,891,126,1017][] [APE] 8 g35a3317[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_text_format;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][126,891,252,1017][] [APE] 9 g35a3318[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_list_bulleted;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][252,891,378,1017][] [APE] 10 g35a3319[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_list_numbered;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][378,891,504,1017][] [APE] 11 g35a3320[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_undo;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][504,891,630,1017][] [APE] 12 g35a3321[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_redo;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][630,891,756,1017][] [APE] 13 g35a3322[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_insert_media;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][756,891,882,1017][] [APE] 14 g35a3323[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_link;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][882,891,1008,1017][] [APE] 15 g35a3324[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_preview_link;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][1008,891,1134,1017][] [APE] 16 g35a3325[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_template;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][1134,891,1260,1017][] [APE] 17 g35a3326[1225,1225][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_ref;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][1260,891,1386,1017][] [APE] 18 g35a3327[-1,0][0]@MODEL_BACKg35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g35a3312[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/replySubjectText;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,273,2358,419][98445.44] [APE] *** INFO *** - g35a3313[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/inputEditText;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,461,2358,656][70930436] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] [APE] *** INFO *** > - B: g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] [APE] *** INFO *** Never move from a cold state (g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18]) to a hot state (g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g35a3322[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_insert_media;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][756,891,882,1017][] by strategy EARLY_STAGE [APE] Last state: g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] [APE] Last action: g35a3316[1226,1226][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_user_mention;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,891,126,1017][] [APE] Curr state: g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] [APE] Curr action: g35a3311[1227,1227][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/replySubjectText;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][42,273,2358,419][98445.44] [APE] New state: g35s313[1225,1228][4]org.wikipedia.talk.TalkReplyActivity@1369970231@Naming[0]@[W=16][A=18] [APE] New action: g35a3322[1228,1228][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_insert_media;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][756,891,882,1017][] [APE] >>>>>>>> SATA end step [1228] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.talk.TalkReplyActivity|class=android.widget.FrameLayout|text=|resource_id=org.wikipedia:id/wikitext_button_insert_media|bounds=756,891,882,1017 target_fp=activity=org.wikipedia.talk.TalkReplyActivity|class=android.widget.FrameLayout|text=|resource_id=org.wikipedia:id/wikitext_button_insert_media action=g35a3322[1228,1228][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_insert_media;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][756,891,882,1017][] :Sending Touch (ACTION_DOWN): 0:(819.0,954.0) :Sending Touch (ACTION_UP): 0:(819.0,954.0) // Allowing start of Intent { cmp=org.wikipedia/.edit.insertmedia.InsertMediaActivity } in package org.wikipedia