[APE] >>>>>>>> SATA begin step [2][Elapsed: 0000 00:00:05] [APE] *** INFO *** Explored 1 app activities. [APE] *** INFO *** Used: 3 MB, Max: 192 MB, Available: 189 MB [APE] *** INFO *** Patching this node: android.widget.RelativeLayout@de.rampro.activitydiary:id/activity_background@ [APE] *** INFO *** Patching child node: android.widget.TextView@de.rampro.activitydiary:id/activity_name@ 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.FrameLayout"][@resource-id="de.rampro.activitydiary:id/select_card_view"][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] *** INFO *** Refine actions: nodes(9), new names (9), new states (1), trees(1), state threshold (8) [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=5;enabled=true;long-clickable=true; [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=2;enabled=true;long-clickable=true; [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=7;enabled=true;long-clickable=true; [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=3;enabled=true;long-clickable=true; [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=6;enabled=true;long-clickable=true; [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=1;enabled=true;long-clickable=true; [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=4;enabled=true;long-clickable=true; [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=0;enabled=true;long-clickable=true; [APE] *** INFO *** - class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=8;enabled=true;long-clickable=true; [APE] *** INFO *** Update naming for GUITree[1@2]@g1s2[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@662957886@Naming[0]@[W=11][A=16]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[0], new: Naming[3] [APE] *** INFO *** getNaming for tree GUITree[1@2]@g1s2[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@662957886@Naming[0]@[W=11][A=16]: Source: Naming[0], Target: null, State: de.rampro.activitydiary.ui.main.MainActivity@662957886@Naming[0]@[W=11] [APE] *** INFO *** updateNaming: Add - Source: Naming[0], Target: Naming[3], State: de.rampro.activitydiary.ui.main.MainActivity@662957886@Naming[0]@[W=11] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g1s2[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@662957886@Naming[0]@[W=11][A=16] [APE] *** INFO *** > Removing (1) old states and (0) transitions finished in 0 ms. [APE] *** INFO *** >> state: g1s2[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@662957886@Naming[0]@[W=11][A=16] [APE] *** INFO *** > rebuilding tree #2 [APE] *** INFO *** Create state g2s3[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19][A=32] for GUI tree GUITree[1@2]@g2s3[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19][A=32] [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 7 ms. [APE] *** INFO *** Check over-abstracted states g2s3[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19][A=32]: #1 [APE] *** INFO *** actionRefinement: Refine name class=android.widget.TextView;resource-id=de.rampro.activitydiary:id/activity_name;enabled=true;clickable=true; that has been resolved to 10 nodes [APE] this:Naming[24], parent:Naming[3]. [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.FrameLayout"][@resource-id="de.rampro.activitydiary:id/select_card_view"][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] 3. [001][REFINE] //*[@class="android.widget.TextView"][@resource-id="de.rampro.activitydiary:id/activity_name"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] *** INFO *** New state has too many names: states (27) > threshold (20). [APE] this:Naming[25], parent:Naming[3]. [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.FrameLayout"][@resource-id="de.rampro.activitydiary:id/select_card_view"][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] 3. [001][REFINE] //*[@class="android.widget.TextView"][@resource-id="de.rampro.activitydiary:id/activity_name"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[ParentNamer[TypeNamer[type,resource-id]]] [APE] *** INFO *** New state has too many names: states (28) > threshold (20). [APE] this:Naming[26], parent:Naming[3]. [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.FrameLayout"][@resource-id="de.rampro.activitydiary:id/select_card_view"][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] 3. [001][REFINE] //*[@class="android.widget.TextView"][@resource-id="de.rampro.activitydiary:id/activity_name"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc]]] [APE] *** INFO *** New state has too many names: states (28) > threshold (20). [APE] this:Naming[27], parent:Naming[3]. [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.FrameLayout"][@resource-id="de.rampro.activitydiary:id/select_card_view"][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] 3. [001][REFINE] //*[@class="android.widget.TextView"][@resource-id="de.rampro.activitydiary:id/activity_name"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[AncestorNamer[TypeNamer[type,resource-id]]] [APE] *** INFO *** Refine actions: nodes(10), new names (2), new states (1), trees(1), state threshold (8) [APE] *** INFO *** - /class=android.widget.FrameLayout;enabled=true;/class=androidx.drawerlayout.widget.DrawerLayout;resource-id=de.rampro.activitydiary:id/drawer_layout;enabled=true;/class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/content_fragment;enabled=true;/class=android.view.ViewGroup;resource-id=de.rampro.activitydiary:id/main_layout;enabled=true;/class=android.widget.RelativeLayout;resource-id=de.rampro.activitydiary:id/activity_background;enabled=true;clickable=true;long-clickable=true;/class=android.widget.TextView;resource-id=de.rampro.activitydiary:id/activity_name;enabled=true;clickable=true;enabled=true;clickable=true; [APE] *** INFO *** - /class=android.widget.FrameLayout;enabled=true;/class=androidx.drawerlayout.widget.DrawerLayout;resource-id=de.rampro.activitydiary:id/drawer_layout;enabled=true;/class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/content_fragment;enabled=true;/class=android.view.ViewGroup;resource-id=de.rampro.activitydiary:id/main_layout;enabled=true;/class=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/select_recycler;enabled=true;/class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;enabled=true;long-clickable=true;/class=android.widget.TextView;resource-id=de.rampro.activitydiary:id/activity_name;enabled=true;clickable=true;enabled=true;clickable=true; [APE] *** INFO *** Update naming for GUITree[1@2]@g2s3[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19][A=32]: existing in dict: Naming[3], current in tree: Naming[3], check in graph: Naming[3], new: Naming[27] [APE] *** INFO *** getNaming for tree GUITree[1@2]@g2s3[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19][A=32]: Source: Naming[0], Target: Naming[3], State: de.rampro.activitydiary.ui.main.MainActivity@662957886@Naming[0]@[W=11] [APE] *** INFO *** getNaming for tree GUITree[1@2]@g2s3[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19][A=32]: Source: Naming[3], Target: null, State: de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19] [APE] *** INFO *** updateNaming: Add - Source: Naming[3], Target: Naming[27], State: de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g2s3[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19][A=32] [APE] *** INFO *** > Removing (1) old states and (0) transitions finished in 0 ms. [APE] *** INFO *** >> state: g2s3[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@1442240748@Naming[3]@[W=19][A=32] [APE] *** INFO *** > rebuilding tree #2 [APE] *** INFO *** Create state g3s4[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33] for GUI tree GUITree[1@2]@g3s4[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33] [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 44 ms. [APE] *** INFO *** Check over-abstracted states g3s4[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33]: #2 [APE] *** INFO *** Already too many names 20. [APE] *** INFO *** Checking over-abstracted states takes 56 ms [APE] *** INFO *** Check under-abstracted states g3s4[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[27]. The state is g3s4[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33]. #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[3]. The state is g3s4[-1,0][0]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33]. #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 *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g1s1[1,1][1]de.rampro.activitydiary.ui.main.MainActivity@-1571744256@Naming[12]@[W=19][A=25] [APE] Action: g1a37[1,1][1]@MODEL_CLICKclass=android.widget.TextView;enabled=true;clickable=true;[P=60][T=200][][S=0.000000][RN=2][812,369,983,420][PICTURES] [APE] Target: g3s4[2,2][1]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33] [APE] Add target result: true [APE] GSTG(g3): activities (1), states (2), edges (1), unvisited actions (57), visited actions (1) [APE] *** INFO *** - 0.02 2 de.rampro.activitydiary.ui.main.MainActivity[1,2][2][S=2] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (1) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 1 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 0 BUFFER_LOSS [APE] 0 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g3a97[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,63,147,210][#8690306c] [APE] 2 g3a98[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_add_activity;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][932,73,1080,199][] [APE] 3 g3a99[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/search_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][805,73,932,199][] [APE] 4 g3a100[-1,0][0]@MODEL_CLICKclass=android.widget.RelativeLayout;resource-id=de.rampro.activitydiary:id/activity_background;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][12,225,1038,351][] [APE] 5 g3a101[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.RelativeLayout;resource-id=de.rampro.activitydiary:id/activity_background;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][12,225,1038,351][] [APE] 6 g3a102[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,424,1080,735][] [APE] 7 g3a103[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,424,1080,735][] [APE] 8 g3a104[-1,0][0]@MODEL_SCROLL_LEFT_RIGHTclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,424,1080,735][] [APE] 9 g3a105[-1,0][0]@MODEL_SCROLL_RIGHT_LEFTclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,424,1080,735][] [APE] 10 g3a106[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=de.rampro.activitydiary:id/fab_attach_picture;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,662,844,809][#5084b6cf] [APE] 11 g3a107[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=de.rampro.activitydiary:id/fab_edit_note;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][891,662,1038,809][#6bedd736] [APE] 12 g3a108[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;enabled=true;clickable=true;[P=60][T=200][, UNVISITED][S=0.000000][RN=2][490,369,585,420][NOTE] [APE] 13 g3a109[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=0;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,735,279,935][] [APE] 14 g3a110[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=0;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,735,279,935][] [APE] 15 g3a111[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=1;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][279,735,730,935][] [APE] 16 g3a112[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=1;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][279,735,730,935][] [APE] 17 g3a113[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=2;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,935,309,1135][] [APE] 18 g3a114[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=2;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,935,309,1135][] [APE] 19 g3a115[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=3;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1135,296,1335][] [APE] 20 g3a116[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=3;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,1135,296,1335][] [APE] 21 g3a117[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=4;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1335,353,1535][] [APE] 22 g3a118[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=4;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,1335,353,1535][] [APE] 23 g3a119[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=5;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1535,365,1735][] [APE] 24 g3a120[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=5;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,1535,365,1735][] [APE] 25 g3a121[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=6;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1735,303,1935][] [APE] 26 g3a122[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=6;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,1735,303,1935][] [APE] 27 g3a123[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=7;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1935,304,2135][] [APE] 28 g3a124[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=7;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,1935,304,2135][] [APE] 29 g3a125[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=8;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2135,360,2335][] [APE] 30 g3a126[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=8;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,2135,360,2335][] [APE] 31 g3a127[-1,0][0]@MODEL_CLICK/class=android.widget.FrameLayout;enabled=true;/class=androidx.drawerlayout.widget.DrawerLayout;resource-id=de.rampro.activitydiary:id/drawer_layout;enabled=true;/class=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/content_fragment;enabled=true;/class=android.view.ViewGroup;resource-id=de.rampro.activitydiary:id/main_layout;enabled=true;/class=android.widget.RelativeLayout;resource-id=de.rampro.activitydiary:id/activity_background;enabled=true;clickable=true;long-clickable=true;/class=android.widget.TextView;resource-id=de.rampro.activitydiary:id/activity_name;enabled=true;clickable=true;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][12,245,423,330][B, try to move from A to B. [APE] *** INFO *** > - A: g3s4[2,2][1]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33] [APE] *** INFO *** > - B: g1s1[1,1][1]de.rampro.activitydiary.ui.main.MainActivity@-1571744256@Naming[12]@[W=19][A=25] [APE] *** INFO *** Never move from a cold state (g3s4[2,2][1]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33]) to a hot state (g1s1[1,1][1]de.rampro.activitydiary.ui.main.MainActivity@-1571744256@Naming[12]@[W=19][A=25]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g3a112[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=1;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][279,735,730,935][] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: g1s1[1,1][1]de.rampro.activitydiary.ui.main.MainActivity@-1571744256@Naming[12]@[W=19][A=25] [APE] Curr action: g1a37[1,1][1]@MODEL_CLICKclass=android.widget.TextView;enabled=true;clickable=true;[P=60][T=200][][S=0.000000][RN=2][812,369,983,420][PICTURES] [APE] New state: g3s4[2,2][1]de.rampro.activitydiary.ui.main.MainActivity@-1446096912@Naming[27]@[W=20][A=33] [APE] New action: g3a112[2,2][1]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=1;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][279,735,730,935][] [APE] >>>>>>>> SATA end step [2] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_LONG_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.FrameLayout|text=|resource_id=de.rampro.activitydiary:id/select_card_view|bounds=279,735,730,935 target_fp=activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.FrameLayout|text=|resource_id=de.rampro.activitydiary:id/select_card_view action=g3a112[2,2][1]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;index=1;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][279,735,730,935][] :Sending Touch (ACTION_DOWN): 0:(504.5,835.0) // Allowing start of Intent { cmp=de.rampro.activitydiary/.ui.generic.EditActivity } in package de.rampro.activitydiary // Rejecting start of Intent { act=android.content.pm.action.REQUEST_PERMISSIONS_FOR_OTHER pkg=com.google.android.permissioncontroller cmp=com.google.android.permissioncontroller/com.android.permissioncontroller.permission.ui.GrantPermissionsActivity } in package com.google.android.permissioncontroller :Sending Touch (ACTION_UP): 0:(504.5,835.0)