[APE] >>>>>>>> SATA begin step [37][Elapsed: 0000 00:01:35] [APE] *** INFO *** Explored 3 app activities. [APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB [APE] *** INFO *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_main@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@Select A [APE] *** INFO *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_diary@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@Diary [APE] *** INFO *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_statistics@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@Statisti [APE] *** INFO *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_map@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@Map [APE] *** INFO *** Create state g10s22[34,34][1]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12] for GUI tree GUITree[53@0]@g10s22[34,34][1]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12] [APE] *** INFO *** Check under-abstracted states g10s22[34,34][1]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12]: #0 [APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[36]. The state is g10s22[34,34][1]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12]. #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 *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g10s22[34,34][1]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g10s22[34,34][1]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12]: #0 [APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[36]. The state is g10s22[34,34][1]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12]. #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 *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g5s11[20,36][6]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8] [APE] Action: g5a189[36,36][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,189][#c3462800] [APE] Target: g10s22[34,37][2]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12] [APE] Add target result: true [APE] GSTG(g10): activities (3), states (13), edges (31), unvisited actions (149), visited actions (31) [APE] *** INFO *** - 0.56 5 de.rampro.activitydiary.ui.generic.EditActivity[3,36][25][S=5] [APE] *** INFO *** - 0.10 7 de.rampro.activitydiary.ui.main.MainActivity[1,37][19][S=7] [APE] *** INFO *** - 0.50 1 de.rampro.activitydiary.ui.location.MapActivity[26,26][1][S=1] [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] 0 USE_BUFFER [APE] 36 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 1 BUFFER_LOSS [APE] 7 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g10a326[-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,189][#d88171fb] [APE] 2 g10a327[34,34][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_add_activity;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][2252,63,2400,189][] [APE] 3 g10a328[-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][2125,63,2252,189][] [APE] 4 g10a329[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=1;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,578,693,704][Select A] [APE] 5 g10a330[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=2;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,704,693,830][Diary] [APE] 6 g10a331[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=3;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,830,693,956][Statisti] [APE] 7 g10a332[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=4;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,956,693,1017][Map] [APE] 8 g10a333[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/design_navigation_view;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,189,735,1017][] [APE] 9 g10a334[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/design_navigation_view;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,189,735,1017][] [APE] 10 g10a335[-1,0][0]@MODEL_SCROLL_LEFT_RIGHTclass=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/design_navigation_view;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,189,735,1017][] [APE] 11 g10a336[-1,0][0]@MODEL_SCROLL_RIGHT_LEFTclass=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/design_navigation_view;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,189,735,1017][] [APE] 12 g10a337[-1,0][0]@MODEL_BACKg10s22[34,37][2]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g10a328[-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][2125,63,2252,189][] [APE] *** INFO *** - g10a332[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=4;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,956,693,1017][Map] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g10s22[34,37][2]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12] [APE] *** INFO *** > - B: g5s11[20,36][6]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8] [APE] *** INFO *** Never move from a cold activity (g10s22[34,37][2]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12])(de.rampro.activitydiary.ui.main.MainActivity[1,37][19][S=7]) to a hot activity (g5s11[20,36][6]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8])(de.rampro.activitydiary.ui.generic.EditActivity[3,36][25][S=5]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g10a331[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=3;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,830,693,956][Statisti] by strategy EARLY_STAGE [APE] Last state: g5s11[20,36][6]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8] [APE] Last action: g5a191[35,35][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_edit_done;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][2252,63,2400,189][] [APE] Curr state: g5s11[20,36][6]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8] [APE] Curr action: g5a189[36,36][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,189][#c3462800] [APE] New state: g10s22[34,37][2]de.rampro.activitydiary.ui.main.MainActivity@1904674952@Naming[36]@[W=9][A=12] [APE] New action: g10a331[37,37][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=3;enabled=true;clickable=true;checkable=true;[P=52][T=200][][S=0.000000][RN=1][42,830,693,956][Statisti] [APE] >>>>>>>> SATA end step [37] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Statisti|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,830,693,956 target_fp=activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Statisti|resource_id=de.rampro.activitydiary:id/design_menu_item_text action=g10a331[37,37][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=3;enabled=true;clickable=true;checkable=true;[P=52][T=200][][S=0.000000][RN=1][42,830,693,956][Statisti] :Sending Touch (ACTION_DOWN): 0:(367.5,893.0) :Sending Touch (ACTION_UP): 0:(367.5,893.0) // Allowing start of Intent { cmp=de.rampro.activitydiary/.ui.statistics.StatisticsActivity } 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