[APE] >>>>>>>> SATA begin step [755][Elapsed: 0000 00:20:24] [APE] *** INFO *** Explored 21 app activities. [APE] *** INFO *** Used: 11 MB, Max: 192 MB, Available: 181 MB [APE] *** INFO *** Create state g24s224[-1,0][0]org.wikipedia.commons.FilePageActivity@-2120797805@Naming[0]@[W=2][A=2] for GUI tree GUITree[954@0]@g24s224[-1,0][0]org.wikipedia.commons.FilePageActivity@-2120797805@Naming[0]@[W=2][A=2] [APE] *** INFO *** Checking new state: g24s224[-1,0][0]org.wikipedia.commons.FilePageActivity@-2120797805@Naming[0]@[W=2][A=2], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 1565 ms. [APE] *** INFO *** Create state g24s225[-1,0][0]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5] for GUI tree GUITree[955@0]@g24s225[-1,0][0]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5] [APE] *** INFO *** New (trivial) state is updated from g24s224[-1,0][0]org.wikipedia.commons.FilePageActivity@-2120797805@Naming[0]@[W=2][A=2] to g24s225[-1,0][0]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5]. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g24s225[-1,0][0]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5]: #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: g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2] [APE] Action: g15a1418[394,754][4]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=2][597,202,1028,259][Go to im] [APE] Target: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5] [APE] Add target result: true [APE] GSTG(g24): activities (21), states (193), edges (641), unvisited actions (1542), visited actions (588) [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.50 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.58 4 org.wikipedia.gallery.GalleryActivity[33,754][23][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] === Try to resolve the non-determinism!! [APE] *** INFO *** Find the non-deterministic edge [APE] *** INFO *** st1: g15e338[437,441][30]@[H(3),M(0),T(0.000000)] g15s140 =[g15a1418]=> g15s139 [APE] *** INFO *** st2: g24e640[837,837][1]@[H(1),M(0),T(0.000000)] g15s140 =[g15a1418]=> g24s225 [APE] ################################## [APE] 0 - class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true; [APE] 1 - class=androidx.viewpager.widget.ViewPager;resource-id=org.wikipedia:id/pager;enabled=true;scrollable=true; [APE] 2 - class=android.widget.Button;resource-id=org.wikipedia:id/menu_gallery_share;enabled=true;clickable=true; [APE] 3 - class=android.widget.LinearLayout;resource-id=org.wikipedia:id/license_container;enabled=true;long-clickable=true; [APE] 4 - class=android.widget.ImageView;resource-id=org.wikipedia:id/license_icon;enabled=true;clickable=true; [APE] ---------------------------------- [APE] 0 = class=android.widget.ImageButton;enabled=true;clickable=true; [APE] ---------------------------------- [APE] 0 + class=android.widget.ScrollView;enabled=true;scrollable=true; [APE] 1 + class=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true; [APE] ################################## [APE] *** INFO *** Try action refinement, where source states are not necessarily to be the same. [APE] *** INFO *** Rebuild document for tree #394 [APE] *** INFO *** Rebuild document for tree #396 [APE] *** INFO *** Rebuild document for tree #398 [APE] *** INFO *** Rebuild document for tree #754 [APE] *** INFO *** Action refinement has 1 results. [APE] *** INFO *** Refinement takes 4 ms. [APE] *** INFO *** Find 1 new naming [APE] [0] Updating naming: from Naming[0] to Naming[4], [0] <-> [0]. [APE] ==================== Old ========================= [APE] this:Naming[0], parent:null. [APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]] [APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer] [APE] -------------------------------------------------- [APE] this:Naming[4], parent:Naming[0]. [APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]] [APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer] [APE] 2. [001][REFINE] //*[@class="android.widget.TextView"][@resource-id="org.wikipedia:id/title"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] ==================== New ========================= [APE] *** INFO *** Find a new naming that can resolve the non-deterministic transition. [APE] *** INFO *** Update naming for GUITree[539@394]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[0], new: Naming[4] [APE] *** INFO *** getNaming for tree GUITree[539@394]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: Source: Naming[0], Target: null, State: org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2] [APE] *** INFO *** updateNaming: Add - Source: Naming[0], Target: Naming[4], State: org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2] [APE] *** INFO *** Update naming for GUITree[541@396]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[4], new: Naming[4] [APE] *** INFO *** getNaming for tree GUITree[541@396]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: Source: Naming[0], Target: Naming[4], State: org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2] [APE] *** INFO *** getNaming for tree GUITree[541@396]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: Source: Naming[4], Target: null, State: org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3] [APE] *** INFO *** Update naming for GUITree[543@398]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[4], new: Naming[4] [APE] *** INFO *** getNaming for tree GUITree[543@398]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: Source: Naming[0], Target: Naming[4], State: org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2] [APE] *** INFO *** getNaming for tree GUITree[543@398]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: Source: Naming[4], Target: null, State: org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3] [APE] *** INFO *** Update naming for GUITree[953@754]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[4], new: Naming[4] [APE] *** INFO *** getNaming for tree GUITree[953@754]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: Source: Naming[0], Target: Naming[4], State: org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2] [APE] *** INFO *** getNaming for tree GUITree[953@754]@g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2]: Source: Naming[4], Target: null, State: org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2] [APE] *** INFO *** > Removing (1) old states and (4) transitions finished in 0 ms. [APE] *** INFO *** >> state: g15s140[394,754][4]org.wikipedia.gallery.GalleryActivity@-500757652@Naming[0]@[W=2][A=2] [APE] *** INFO *** >> transition: (g24s223,g24a2364,g15s140) [APE] *** INFO *** >> transition: (g15s140,g15a1418,g24s225) [APE] *** INFO *** >> transition: (g15s139,g15a1407,g15s140) [APE] *** INFO *** >> transition: (g15s140,g15a1418,g15s139) [APE] *** INFO *** > rebuilding tree #394 [APE] *** INFO *** Create state g25s226[-1,0][0]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] for GUI tree GUITree[539@394]@g25s226[-1,0][0]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] [APE] *** INFO *** > rebuilding tree #396 [APE] *** INFO *** Create state g25s226[-1,0][0]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] for GUI tree GUITree[541@396]@g25s226[-1,0][0]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] [APE] *** INFO *** > rebuilding tree #398 [APE] *** INFO *** Create state g25s226[-1,0][0]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] for GUI tree GUITree[543@398]@g25s226[-1,0][0]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] [APE] *** INFO *** > rebuilding tree #754 [APE] *** INFO *** Create state g25s226[-1,0][0]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] for GUI tree GUITree[953@754]@g25s226[-1,0][0]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] [APE] *** INFO *** > Readding transitions finished in 0 ms. [APE] *** INFO *** Rebuilding model finished in 1 ms, removed 1 states and 4 state transitions, and rebuild 8 tree transitions. [APE] *** INFO *** Eliminating non-deterministic transitions takes 9 ms. [APE] *** INFO *** Model has been refined, reset stateful.. [APE] Update action buffer... [APE] Updating g15e338[437,441][30]@[H(3),M(0),T(0.000000)] g15s140 =[g15a1418]=> g15s139 [APE] Updated g25e638[394,398][6]@[H(3),M(0),T(0.000000)] g25s226 =[g25a2382]=> g15s139 [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 20 USE_BUFFER [APE] 734 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 g24a2377[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,73,147,220][#547956c0] [APE] 2 g24a2378[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] [APE] 3 g24a2379[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] [APE] 4 g24a2380[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][954,1893,1038,1956][] [APE] 5 g24a2381[-1,0][0]@MODEL_BACKg24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g24a2378[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] [APE] *** INFO *** - g24a2379[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] [APE] *** INFO *** Inconsistent actions in action buffer: expected g25a2382[394,398][3]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;index=0;enabled=true;clickable=true;[P=0][T=0][, INVALID], get 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] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5] [APE] *** INFO *** > - B: g25s226[394,754][4]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] [APE] *** INFO *** Never move from a cold 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]) to a hot activity (g25s226[394,754][4]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3])(org.wikipedia.gallery.GalleryActivity[33,754][31][S=4]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g24a2380[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][954,1893,1038,1956][] by strategy EARLY_STAGE [APE] Last state: g24s223[751,753][4]org.wikipedia.gallery.GalleryActivity@876361199@Naming[0]@[W=7][A=12] [APE] Last action: g24a2364[753,753][2]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][975,20,1080,146][] [APE] Curr state: g25s226[394,754][4]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3] [APE] Curr 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] New state: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5] [APE] New 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] >>>>>>>> SATA end step [755] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.commons.FilePageActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/editButton|bounds=954,1893,1038,1956 target_fp=activity=org.wikipedia.commons.FilePageActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/editButton 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][] :Sending Touch (ACTION_DOWN): 0:(996.0,1924.5) :Sending Touch (ACTION_UP): 0:(996.0,1924.5) // Allowing start of Intent { cmp=org.wikipedia/.descriptions.DescriptionEditActivity } in package org.wikipedia