[APE] >>>>>>>> SATA begin step [227][Elapsed: 0000 00:05:56] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 10 MB, Max: 192 MB, Available: 182 MB [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 *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_add_activity@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@Add Acti [APE] *** INFO *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_activity_manager@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@Edit Act [APE] *** INFO *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_settings@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@Settings [APE] *** INFO *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_about@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@About [APE] *** INFO *** Create state g11s38[103,214][14]de.rampro.activitydiary.ui.main.MainActivity@-1793404581@Naming[0]@[W=6][A=9] for GUI tree GUITree[272@0]@g11s38[103,214][14]de.rampro.activitydiary.ui.main.MainActivity@-1793404581@Naming[0]@[W=6][A=9] [APE] *** INFO *** State g11s38[103,214][14]de.rampro.activitydiary.ui.main.MainActivity@-1793404581@Naming[0]@[W=6][A=9] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g11s38[103,214][14]de.rampro.activitydiary.ui.main.MainActivity@-1793404581@Naming[0]@[W=6][A=9]: #0 [APE] *** INFO *** Already too many states 22 in the activity de.rampro.activitydiary.ui.main.MainActivity. [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g13s51[137,226][17]de.rampro.activitydiary.ui.main.MainActivity@-481636128@Naming[0]@[W=13][A=19] [APE] Action: g13a713[226,226][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,189][#8fb7fa14] [APE] Target: g11s38[103,227][15]de.rampro.activitydiary.ui.main.MainActivity@-1793404581@Naming[0]@[W=6][A=9] [APE] Add target result: true [APE] GSTG(g15): activities (5), states (48), edges (197), unvisited actions (524), visited actions (181) [APE] *** INFO *** - 0.64 11 de.rampro.activitydiary.ui.generic.EditActivity[3,210][138][S=11] [APE] *** INFO *** - 0.27 3 de.rampro.activitydiary.ui.history.HistoryActivity[143,151][7][S=3] [APE] *** INFO *** - 0.39 11 de.rampro.activitydiary.ui.history.HistoryDetailActivity[35,181][78][S=11] [APE] *** INFO *** - 0.17 22 de.rampro.activitydiary.ui.main.MainActivity[1,227][129][S=22] [APE] *** INFO *** - 0.50 1 de.rampro.activitydiary.ui.location.MapActivity[177,177][1][S=1] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (16) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 2 USE_BUFFER [APE] 215 EARLY_STAGE [APE] 9 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 7 BUFFER_LOSS [APE] 39 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g11a620[214,214][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,63,147,189][#d4d83f8a] [APE] 2 g11a621[105,113][6]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_add_activity;enabled=true;clickable=true;[P=22][T=500][][S=1.000000][RN=1][2252,63,2400,189][] [APE] 3 g11a622[126,129][2]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/search_button;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][2125,63,2252,189][] [APE] 4 g11a623[212,212][1]@MODEL_SCROLL_BOTTOM_UPclass=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/design_navigation_view;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,189,735,1017][] [APE] 5 g11a624[175,175][1]@MODEL_SCROLL_TOP_DOWNclass=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/design_navigation_view;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,189,735,1017][] [APE] 6 g11a625[213,213][1]@MODEL_SCROLL_LEFT_RIGHTclass=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/design_navigation_view;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,189,735,1017][] [APE] 7 g11a626[103,103][1]@MODEL_SCROLL_RIGHT_LEFTclass=androidx.recyclerview.widget.RecyclerView;resource-id=de.rampro.activitydiary:id/design_navigation_view;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,189,735,1017][] [APE] 8 g11a627[176,176][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=52][T=500][][S=0.500000][RN=7][42,785,693,911][Settings] [APE] 9 g11a628[-1,0][0]@MODEL_BACKg11s38[103,227][15]de.rampro.activitydiary.ui.main.MainActivity@-1793404581@Naming[0]@[W=6][A=9][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: g11s38[103,227][15]de.rampro.activitydiary.ui.main.MainActivity@-1793404581@Naming[0]@[W=6][A=9] [APE] *** INFO *** > - B: g13s51[137,226][17]de.rampro.activitydiary.ui.main.MainActivity@-481636128@Naming[0]@[W=13][A=19] [APE] *** INFO *** Never move to a saturated dialog state (g13s51[137,226][17]de.rampro.activitydiary.ui.main.MainActivity@-481636128@Naming[0]@[W=13][A=19]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Select action g11a627[176,176][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=52][T=500][][S=0.500000][RN=7][42,785,693,911][Settings] by strategy EARLY_STAGE [APE] Last state: g13s51[137,226][17]de.rampro.activitydiary.ui.main.MainActivity@-481636128@Naming[0]@[W=13][A=19] [APE] Last action: g13a724[216,225][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/activity_name;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=7][12,830,267,901][Cinema] [APE] Curr state: g13s51[137,226][17]de.rampro.activitydiary.ui.main.MainActivity@-481636128@Naming[0]@[W=13][A=19] [APE] Curr action: g13a713[226,226][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,189][#8fb7fa14] [APE] New state: g11s38[103,227][15]de.rampro.activitydiary.ui.main.MainActivity@-1793404581@Naming[0]@[W=6][A=9] [APE] New action: g11a627[176,227][2]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=52][T=500][][S=0.500000][RN=7][42,785,693,911][Settings] [APE] >>>>>>>> SATA end step [227] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Settings|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,785,693,911 target_fp=activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Settings|resource_id=de.rampro.activitydiary:id/design_menu_item_text action=g11a627[176,227][2]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=52][T=500][][S=0.500000][RN=7][42,785,693,911][Settings] :Sending Touch (ACTION_DOWN): 0:(367.5,848.0) :Sending Touch (ACTION_UP): 0:(367.5,848.0) // Allowing start of Intent { cmp=de.rampro.activitydiary/.ui.settings.SettingsActivity } 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 // Rejecting start of Intent { act=android.content.pm.action.REQUEST_PERMISSIONS pkg=com.google.android.permissioncontroller cmp=com.google.android.permissioncontroller/com.android.permissioncontroller.permission.ui.GrantPermissionsActivity } in package com.google.android.permissioncontroller