[APE] >>>>>>>> SATA begin step [193][Elapsed: 0000 00:05:30] [APE] *** INFO *** Explored 6 app activities. [APE] *** INFO *** Used: 9 MB, Max: 192 MB, Available: 183 MB [APE] *** INFO *** Create state g12s55[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10][A=14] for GUI tree GUITree[268@0]@g12s55[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10][A=14] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g12s55[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10][A=14]: #0 [APE] *** INFO *** actionRefinement: Refine name class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;enabled=true;clickable=true;long-clickable=true; that has been resolved to 4 nodes [APE] this:Naming[137], 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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] *** INFO *** New names: 1, try another namer. [APE] *** INFO *** - class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true; [APE] this:Naming[138], 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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[TypeNamer[type,resource-id]]] [APE] *** INFO *** New names: 1, try another namer. [APE] *** INFO *** - enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;enabled=true;clickable=true;long-clickable=true; [APE] this:Naming[139], 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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc]]] [APE] *** INFO *** New names: 1, try another namer. [APE] *** INFO *** - class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;text=;enabled=true;clickable=true;long-clickable=true; [APE] this:Naming[140], 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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[TypeNamer[type,resource-id]]] [APE] *** INFO *** New names: 1, try another namer. [APE] *** INFO *** - /class=android.widget.FrameLayout;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;enabled=true;scrollable=true;/class=android.widget.FrameLayout;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true; [APE] this:Naming[141], 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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]] [APE] *** INFO *** New names: 1, try another namer. [APE] *** INFO *** - enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true; [APE] this:Naming[142], 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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc],IndexNamer[index]]] [APE] *** INFO *** New names: 1, try another namer. [APE] *** INFO *** - class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;text=;index=0;enabled=true;clickable=true;long-clickable=true; [APE] this:Naming[143], 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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]] [APE] *** INFO *** Refine actions: nodes(4), new names (4), new states (1), trees(1), state threshold (8) [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=6;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=3;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=4;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true; [APE] *** INFO *** Update naming for GUITree[268@193]@g12s55[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10][A=14]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[0], new: Naming[143] [APE] *** INFO *** getNaming for tree GUITree[268@193]@g12s55[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10][A=14]: Source: Naming[0], Target: null, State: org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10] [APE] *** INFO *** updateNaming: Add - Source: Naming[0], Target: Naming[143], State: org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g12s55[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10][A=14] [APE] *** INFO *** > Removing (1) old states and (0) transitions finished in 0 ms. [APE] *** INFO *** >> state: g12s55[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10][A=14] [APE] *** INFO *** > rebuilding tree #193 [APE] *** INFO *** Create state g13s56[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13][A=20] for GUI tree GUITree[268@193]@g13s56[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13][A=20] [APE] *** INFO *** > Readding transitions finished in 0 ms. [APE] *** INFO *** Rebuilding model finished in 0 ms, removed 1 states and 0 state transitions, and rebuild 0 tree transitions. [APE] *** INFO *** Action refinement takes 28 ms. [APE] *** INFO *** Check over-abstracted states g13s56[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13][A=20]: #1 [APE] *** INFO *** actionRefinement: Refine name class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true; that has been resolved to 4 nodes [APE] this:Naming[144], parent:Naming[143]. [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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]] [APE] 3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="org.wikipedia:id/selectButton"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] *** INFO *** New names: 1, try another namer. [APE] *** INFO *** - class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;index=0;enabled=true;clickable=true; [APE] this:Naming[145], parent:Naming[143]. [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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]] [APE] 3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="org.wikipedia:id/selectButton"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[TypeNamer[type,resource-id]]] [APE] *** INFO *** Refine actions: nodes(4), new names (4), new states (1), trees(1), state threshold (8) [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=3;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=4;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=6;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true; [APE] *** INFO *** Update naming for GUITree[268@193]@g13s56[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13][A=20]: existing in dict: Naming[143], current in tree: Naming[143], check in graph: Naming[143], new: Naming[145] [APE] *** INFO *** getNaming for tree GUITree[268@193]@g13s56[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13][A=20]: Source: Naming[0], Target: Naming[143], State: org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10] [APE] *** INFO *** getNaming for tree GUITree[268@193]@g13s56[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13][A=20]: Source: Naming[143], Target: null, State: org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13] [APE] *** INFO *** updateNaming: Add - Source: Naming[143], Target: Naming[145], State: org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g13s56[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13][A=20] [APE] *** INFO *** > Removing (1) old states and (0) transitions finished in 0 ms. [APE] *** INFO *** >> state: g13s56[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13][A=20] [APE] *** INFO *** > rebuilding tree #193 [APE] *** INFO *** Create state g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23] for GUI tree GUITree[268@193]@g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23] [APE] *** INFO *** > Readding transitions finished in 0 ms. [APE] *** INFO *** Rebuilding model finished in 0 ms, removed 1 states and 0 state transitions, and rebuild 0 tree transitions. [APE] *** INFO *** Action refinement takes 11 ms. [APE] *** INFO *** Check over-abstracted states g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23]: #2 [APE] *** INFO *** actionRefinement: Refine name class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true; that has been resolved to 4 nodes [APE] this:Naming[146], parent:Naming[145]. [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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]] [APE] 3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="org.wikipedia:id/selectButton"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[TypeNamer[type,resource-id]]] [APE] 4. [001][REFINE] //*[@class="android.widget.Button"][@resource-id="org.wikipedia:id/userNameText"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] *** INFO *** New names: 1, try another namer. [APE] *** INFO *** - class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;index=3;enabled=true;clickable=true; [APE] this:Naming[147], parent:Naming[145]. [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.view.ViewGroup"][@resource-id="org.wikipedia:id/clickTargetView"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]]] [APE] 3. [001][REFINE] //*[@class="android.widget.ImageView"][@resource-id="org.wikipedia:id/selectButton"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[TypeNamer[type,resource-id]]] [APE] 4. [001][REFINE] //*[@class="android.widget.Button"][@resource-id="org.wikipedia:id/userNameText"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[TypeNamer[type,resource-id]]] [APE] *** INFO *** Refine actions: nodes(4), new names (4), new states (1), trees(1), state threshold (8) [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=4;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=6;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=3;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true; [APE] *** INFO *** Update naming for GUITree[268@193]@g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23]: existing in dict: Naming[145], current in tree: Naming[145], check in graph: Naming[145], new: Naming[147] [APE] *** INFO *** getNaming for tree GUITree[268@193]@g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23]: Source: Naming[0], Target: Naming[143], State: org.wikipedia.page.edithistory.EditHistoryListActivity@269403387@Naming[0]@[W=10] [APE] *** INFO *** getNaming for tree GUITree[268@193]@g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23]: Source: Naming[143], Target: Naming[145], State: org.wikipedia.page.edithistory.EditHistoryListActivity@1678593286@Naming[143]@[W=13] [APE] *** INFO *** getNaming for tree GUITree[268@193]@g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23]: Source: Naming[145], Target: null, State: org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16] [APE] *** INFO *** updateNaming: Add - Source: Naming[145], Target: Naming[147], State: org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23] [APE] *** INFO *** > Removing (1) old states and (0) transitions finished in 0 ms. [APE] *** INFO *** >> state: g14s57[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@-1856037374@Naming[145]@[W=16][A=23] [APE] *** INFO *** > rebuilding tree #193 [APE] *** INFO *** Create state g15s58[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26] for GUI tree GUITree[268@193]@g15s58[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26] [APE] *** INFO *** > Readding transitions finished in 0 ms. [APE] *** INFO *** Rebuilding model finished in 0 ms, removed 1 states and 0 state transitions, and rebuild 0 tree transitions. [APE] *** INFO *** Action refinement takes 16 ms. [APE] *** INFO *** Check over-abstracted states g15s58[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26]: #3 [APE] *** INFO *** Checking over-abstracted states takes 972 ms [APE] *** INFO *** Check under-abstracted states g15s58[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[147]. The state is g15s58[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26]. #0 [APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[145]. The state is g15s58[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26]. #1 [APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[143]. The state is g15s58[-1,0][0]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26]. #2 [APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 [APE] *** INFO *** Post-checking under-abstracted states takes 1 ms [APE] === Adding edge... [APE] Source: g1s12[27,192][6]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9] [APE] Action: g1a96[192,192][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][74,819,1006,946][Videu] [APE] Target: g15s58[193,193][1]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26] [APE] Add target result: true [APE] GSTG(g15): activities (6), states (44), edges (158), unvisited actions (240), visited actions (155) [APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3] [APE] *** INFO *** - 0.43 13 it.feio.android.omninotes.SettingsActivity[44,155][76][S=13] [APE] *** INFO *** - 0.00 1 org.wikipedia.page.edithistory.EditHistoryListActivity[193,193][1][S=1] [APE] *** INFO *** - 0.35 20 it.feio.android.omninotes.MainActivity[1,192][83][S=20] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[167,170][2][S=1] [APE] *** INFO *** - 0.57 6 it.feio.android.omninotes.PasswordActivity[104,145][52][S=6] [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] 2 USE_BUFFER [APE] 187 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 2 BUFFER_LOSS [APE] 30 FILL_BUFFER [APE] 0 BAD_STATE [APE] 3 PROBE [APE] 1 g15a523[-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][#f1409233] [APE] 2 g15a524[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.wikipedia:id/compareButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][865,84,1080,210][Cancel] [APE] 3 g15a525[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.wikipedia:id/compareConfirmButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][821,2190,1080,2316][Compare] [APE] 4 g15a526[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2169][] [APE] 5 g15a527[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2169][] [APE] 6 g15a528[-1,0][0]@MODEL_SCROLL_LEFT_RIGHTclass=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2169][] [APE] 7 g15a529[-1,0][0]@MODEL_SCROLL_RIGHT_LEFTclass=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2169][] [APE] 8 g15a530[-1,0][0]@MODEL_CLICKclass=androidx.cardview.widget.CardView;resource-id=org.wikipedia:id/search_container;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,641,1038,767][] [APE] 9 g15a531[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/filter_by_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][912,641,1038,767][] [APE] 10 g15a532[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=3;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,940,1038,1207][] [APE] 11 g15a533[-1,0][0]@MODEL_LONG_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=3;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,940,1038,1207][] [APE] 12 g15a534[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=4;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,1249,1038,1516][] [APE] 13 g15a535[-1,0][0]@MODEL_LONG_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=4;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,1249,1038,1516][] [APE] 14 g15a536[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,1558,1038,1826][] [APE] 15 g15a537[-1,0][0]@MODEL_LONG_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,1558,1038,1826][] [APE] 16 g15a538[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=6;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,1868,1038,2135][] [APE] 17 g15a539[-1,0][0]@MODEL_LONG_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=6;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,1868,1038,2135][] [APE] 18 g15a540[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=3;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][63,1011,189,1137][] [APE] 19 g15a541[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=4;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][63,1320,189,1446][] [APE] 20 g15a542[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][63,1629,189,1755][] [APE] 21 g15a543[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=6;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][63,1939,189,2065][] [APE] 22 g15a544[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=3;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][210,1060,658,1186][71.224.1] [APE] 23 g15a545[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=4;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][210,1369,658,1495][217.116.] [APE] 24 g15a546[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][210,1679,682,1805][67.167.2] [APE] 25 g15a547[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=6;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.Button;resource-id=org.wikipedia:id/userNameText;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][210,1988,610,2114][24.84.42] [APE] 26 g15a548[-1,0][0]@MODEL_BACKg15s58[193,193][1]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26][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: g15s58[193,193][1]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26] [APE] *** INFO *** > - B: g1s12[27,192][6]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9] [APE] *** INFO *** Never move from a cold activity (g15s58[193,193][1]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26])(org.wikipedia.page.edithistory.EditHistoryListActivity[193,193][1][S=1]) to a hot activity (g1s12[27,192][6]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9])(it.feio.android.omninotes.MainActivity[1,192][83][S=20]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g15a542[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][63,1629,189,1755][] by strategy EARLY_STAGE [APE] Last state: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15] [APE] Last action: g12a399[187,191][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][] [APE] Curr state: g1s12[27,192][6]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9] [APE] Curr action: g1a96[192,192][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][74,819,1006,946][Videu] [APE] New state: g15s58[193,193][1]org.wikipedia.page.edithistory.EditHistoryListActivity@1578758752@Naming[147]@[W=19][A=26] [APE] New action: g15a542[193,193][1]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][63,1629,189,1755][] [APE] >>>>>>>> SATA end step [193] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.page.edithistory.EditHistoryListActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/selectButton|bounds=63,1629,189,1755 target_fp=activity=org.wikipedia.page.edithistory.EditHistoryListActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/selectButton action=g15a542[193,193][1]@MODEL_CLICK/class=android.widget.FrameLayout;index=0;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/edit_history_coordinator;index=2;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/edit_history_recycler;index=0;enabled=true;scrollable=true;/class=android.widget.FrameLayout;index=5;enabled=true;/class=android.view.ViewGroup;resource-id=org.wikipedia:id/clickTargetView;index=0;enabled=true;clickable=true;long-clickable=true;enabled=true;clickable=true;long-clickable=true;/class=android.widget.ImageView;resource-id=org.wikipedia:id/selectButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][63,1629,189,1755][] :Sending Touch (ACTION_DOWN): 0:(126.0,1692.0) [APE] *** INFO *** Let's wait for activity loading... :Switch: #Intent;action=android.intent.action.MAIN;category=android.intent.category.LAUNCHER;launchFlags=0x10200000;component=it.feio.android.omninotes/.MainActivity;end :Switch with shell: it.feio.android.omninotes/.MainActivity // Allowing start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.LAUNCHER] cmp=it.feio.android.omninotes/.MainActivity } in package it.feio.android.omninotes [APE] *** INFO *** Expected activity package [it.feio.android.omninotes] is loaded... [APE] *** INFO *** App Activity it.feio.android.omninotes.MainActivity started.