[APE] >>>>>>>> SATA begin step [1006][Elapsed: 0000 00:27:04] [APE] *** INFO *** Explored 23 app activities. [APE] *** INFO *** Used: 41 MB, Max: 192 MB, Available: 151 MB [APE] *** INFO *** Create state g53s325[996,1004][2]org.wikipedia.talk.TalkReplyActivity@863731888@Naming[0]@[W=16][A=18] for GUI tree GUITree[1314@0]@g53s325[996,1004][2]org.wikipedia.talk.TalkReplyActivity@863731888@Naming[0]@[W=16][A=18] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g53s325[996,1004][2]org.wikipedia.talk.TalkReplyActivity@863731888@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: g53s326[997,1005][3]org.wikipedia.talk.TalkReplyActivity@-1930340679@Naming[0]@[W=16][A=18] [APE] Action: g53a3606[1003,1005][2]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_undo;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][504,891,630,1017][] [APE] Target: g53s325[996,1006][3]org.wikipedia.talk.TalkReplyActivity@863731888@Naming[0]@[W=16][A=18] [APE] Add target result: false [APE] GSTG(g53): activities (22), states (260), edges (841), unvisited actions (2225), visited actions (782) [APE] *** INFO *** - 0.17 39 org.wikipedia.main.MainActivity[1,965][123][S=39] [APE] *** INFO *** - 0.35 11 org.wikipedia.feed.configure.ConfigureActivity[675,751][65][S=11] [APE] *** INFO *** - 0.35 2 org.wikipedia.donate.GooglePayActivity[417,424][7][S=2] [APE] *** INFO *** - 0.32 9 org.wikipedia.talk.TalkTopicsActivity[44,994][43][S=9] [APE] *** INFO *** - 0.18 30 org.wikipedia.search.SearchActivity[23,954][93][S=30] [APE] *** INFO *** - 0.31 11 org.wikipedia.settings.languages.WikipediaLanguagesActivity[99,756][42][S=11] [APE] *** INFO *** - 0.15 1 org.wikipedia.usercontrib.UserContribListActivity[259,280][2][S=1] [APE] *** INFO *** - 0.30 63 org.wikipedia.page.PageActivity[22,990][304][S=63] [APE] *** INFO *** - 0.16 9 org.wikipedia.diff.ArticleEditDetailsActivity[260,283][23][S=9] [APE] *** INFO *** - 0.30 4 org.wikipedia.settings.SettingsActivity[410,759][17][S=4] [APE] *** INFO *** - 0.50 4 org.wikipedia.commons.FilePageActivity[9,777][12][S=4] [APE] *** INFO *** - 0.26 7 org.wikipedia.page.edithistory.EditHistoryListActivity[31,322][21][S=7] [APE] *** INFO *** - 0.19 8 org.wikipedia.readinglist.ReadingListActivity[107,238][21][S=8] [APE] *** INFO *** - 0.14 3 org.wikipedia.language.LanguagesListActivity[148,743][11][S=3] [APE] *** INFO *** - 0.20 14 org.wikipedia.talk.TalkReplyActivity[62,1006][53][S=14] [APE] *** INFO *** - 0.55 4 org.wikipedia.gallery.GalleryActivity[431,886][29][S=4] [APE] *** INFO *** - 0.47 12 org.wikipedia.page.tabs.TabActivity[163,963][59][S=12] [APE] *** INFO *** - 0.52 4 org.wikipedia.login.LoginActivity[368,670][24][S=4] [APE] *** INFO *** - 0.35 1 org.wikipedia.page.customize.CustomizeToolbarActivity[795,801][7][S=1] [APE] *** INFO *** - 0.27 4 org.wikipedia.talk.TalkTopicActivity[250,258][14][S=4] [APE] *** INFO *** - 0.21 8 org.wikipedia.language.LangLinksActivity[309,910][23][S=8] [APE] *** INFO *** - 0.45 12 org.wikipedia.createaccount.CreateAccountActivity[362,734][122][S=12] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (1), state (0), activity (11) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 29 USE_BUFFER [APE] 972 EARLY_STAGE [APE] 1 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 58 BUFFER_LOSS [APE] 182 FILL_BUFFER [APE] 0 BAD_STATE [APE] 3 PROBE [APE] 1 g53a3579[-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][#a09920] [APE] 2 g53a3580[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/replyNextButton;clickable=true;[P=52][T=200][, DISABLED, UNVISITED][S=0.000000][RN=1][2227,84,2400,210][Next] [APE] 3 g53a3581[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/replySubjectText;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,273,2358,419][Subject] [APE] 4 g53a3582[-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][Subject] [APE] 5 g53a3583[-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,607][Compose ] [APE] 6 g53a3584[-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,607][Compose ] [APE] 7 g53a3585[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_user_mention;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,891,126,1017][] [APE] 8 g53a3586[-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 g53a3587[-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 g53a3588[996,996][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_list_numbered;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][378,891,504,1017][] [APE] 11 g53a3589[-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 g53a3590[-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 g53a3591[-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 g53a3592[-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 g53a3593[-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 g53a3594[-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 g53a3595[1004,1004][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 g53a3596[-1,0][0]@MODEL_BACKg53s325[996,1006][3]org.wikipedia.talk.TalkReplyActivity@863731888@Naming[0]@[W=16][A=18][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g53a3582[-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][Subject] [APE] *** INFO *** - g53a3585[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_user_mention;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,891,126,1017][] [APE] *** INFO *** - g53a3592[-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] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g53s325[996,1006][3]org.wikipedia.talk.TalkReplyActivity@863731888@Naming[0]@[W=16][A=18] [APE] *** INFO *** > - B: g53s326[997,1005][3]org.wikipedia.talk.TalkReplyActivity@-1930340679@Naming[0]@[W=16][A=18] [APE] *** INFO *** Never move from a cold state (g53s325[996,1006][3]org.wikipedia.talk.TalkReplyActivity@863731888@Naming[0]@[W=16][A=18]) to a hot state (g53s326[997,1005][3]org.wikipedia.talk.TalkReplyActivity@-1930340679@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 g53a3591[-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: g53s325[996,1006][3]org.wikipedia.talk.TalkReplyActivity@863731888@Naming[0]@[W=16][A=18] [APE] Last action: g53a3595[1004,1004][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] Curr state: g53s326[997,1005][3]org.wikipedia.talk.TalkReplyActivity@-1930340679@Naming[0]@[W=16][A=18] [APE] Curr action: g53a3606[1003,1005][2]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=org.wikipedia:id/wikitext_button_undo;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][504,891,630,1017][] [APE] New state: g53s325[996,1006][3]org.wikipedia.talk.TalkReplyActivity@863731888@Naming[0]@[W=16][A=18] [APE] New action: g53a3591[1006,1006][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 [1006] [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=g53a3591[1006,1006][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