[APE] >>>>>>>> SATA begin step [25][Elapsed: 0000 00:00:54] [APE] *** INFO *** Explored 2 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 *** 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 *** Patching this node: androidx.appcompat.widget.LinearLayoutCompat@de.rampro.activitydiary:id/nav_privacy@ [APE] *** INFO *** Patching child node: android.widget.CheckedTextView@de.rampro.activitydiary:id/design_menu_item_text@Privacy [APE] *** INFO *** Create state g5s10[15,19][3]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15] for GUI tree GUITree[34@0]@g5s10[15,19][3]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15] [APE] *** INFO *** Check under-abstracted states g5s10[15,19][3]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[36]. The state is g5s10[15,19][3]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15]. #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 g5s10[15,19][3]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g5s10[15,19][3]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[36]. The state is g5s10[15,19][3]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15]. #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: g3s5[3,24][8]de.rampro.activitydiary.ui.generic.EditActivity@1980449796@Naming[0]@[W=6][A=7] [APE] Action: g3a131[16,24][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_edit_delete;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][784,73,932,199][] [APE] Target: g5s10[15,25][4]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15] [APE] Add target result: false [APE] GSTG(g6): activities (2), states (9), edges (20), unvisited actions (98), visited actions (19) [APE] *** INFO *** - 0.44 5 de.rampro.activitydiary.ui.generic.EditActivity[3,24][22][S=5] [APE] *** INFO *** - 0.08 4 de.rampro.activitydiary.ui.main.MainActivity[1,25][11][S=4] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (1), state (0), activity (0) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 24 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 g5a174[-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][#3e6b9b65] [APE] 2 g5a175[15,19][3]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_add_activity;enabled=true;clickable=true;[P=42][T=500][][S=1.000000][RN=1][1029,73,1080,199][] [APE] 3 g5a176[-1,0][0]@MODEL_CLICKclass=android.widget.AutoCompleteTextView;resource-id=de.rampro.activitydiary:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][210,88,903,183][Search…] [APE] 4 g5a177[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.AutoCompleteTextView;resource-id=de.rampro.activitydiary:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][210,88,903,183][Search…] [APE] 5 g5a178[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/search_close_btn;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][903,73,1008,199][] [APE] 6 g5a179[-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,599,693,725][Select A] [APE] 7 g5a180[-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,725,693,851][Diary] [APE] 8 g5a181[-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,851,693,977][Statisti] [APE] 9 g5a182[-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,977,693,1103][Map] [APE] 10 g5a183[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=5;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,1103,693,1229][Add Acti] [APE] 11 g5a184[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=6;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,1229,693,1355][Edit Act] [APE] 12 g5a185[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=8;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,1400,693,1526][Settings] [APE] 13 g5a186[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=9;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,1526,693,1652][About] [APE] 14 g5a187[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;index=10;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,1652,693,1778][Privacy ] [APE] 15 g5a188[-1,0][0]@MODEL_BACKg5s10[15,25][4]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g5a174[-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][#3e6b9b65] [APE] *** INFO *** - g5a178[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/search_close_btn;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][903,73,1008,199][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g5s10[15,25][4]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15] [APE] *** INFO *** > - B: g3s5[3,24][8]de.rampro.activitydiary.ui.generic.EditActivity@1980449796@Naming[0]@[W=6][A=7] [APE] *** INFO *** Never move from a cold activity (g5s10[15,25][4]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15])(de.rampro.activitydiary.ui.main.MainActivity[1,25][11][S=4]) to a hot activity (g3s5[3,24][8]de.rampro.activitydiary.ui.generic.EditActivity@1980449796@Naming[0]@[W=6][A=7])(de.rampro.activitydiary.ui.generic.EditActivity[3,24][22][S=5]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g5a182[-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,977,693,1103][Map] by strategy EARLY_STAGE [APE] Last state: g5s11[20,21][4]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8] [APE] Last action: g5a192[23,23][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=de.rampro.activitydiary:id/edit_activity_name;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][21,260,836,378][Activity] [APE] Curr state: g3s5[3,24][8]de.rampro.activitydiary.ui.generic.EditActivity@1980449796@Naming[0]@[W=6][A=7] [APE] Curr action: g3a131[16,24][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_edit_delete;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][784,73,932,199][] [APE] New state: g5s10[15,25][4]de.rampro.activitydiary.ui.main.MainActivity@2063837326@Naming[36]@[W=14][A=15] [APE] New action: g5a182[25,25][1]@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][][S=0.000000][RN=1][42,977,693,1103][Map] [APE] >>>>>>>> SATA end step [25] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Map|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,977,693,1103 target_fp=activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Map|resource_id=de.rampro.activitydiary:id/design_menu_item_text action=g5a182[25,25][1]@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][][S=0.000000][RN=1][42,977,693,1103][Map] :Sending Touch (ACTION_DOWN): 0:(367.5,1040.0) :Sending Touch (ACTION_UP): 0:(367.5,1040.0) // Allowing start of Intent { cmp=de.rampro.activitydiary/.ui.location.MapActivity } 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