[APE] >>>>>>>> SATA begin step [608][Elapsed: 0000 00:16:22] [APE] *** INFO *** Explored 10 app activities. [APE] *** INFO *** Used: 16 MB, Max: 192 MB, Available: 176 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 g18s77[255,319][13]de.rampro.activitydiary.ui.main.MainActivity@-127105504@Naming[0]@[W=5][A=5] for GUI tree GUITree[721@0]@g18s77[255,319][13]de.rampro.activitydiary.ui.main.MainActivity@-127105504@Naming[0]@[W=5][A=5] [APE] *** INFO *** State g18s77[255,319][13]de.rampro.activitydiary.ui.main.MainActivity@-127105504@Naming[0]@[W=5][A=5] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g18s77[255,319][13]de.rampro.activitydiary.ui.main.MainActivity@-127105504@Naming[0]@[W=5][A=5]: #0 [APE] *** INFO *** Already too many states 33 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: g14s54[131,607][45]de.rampro.activitydiary.ui.main.MainActivity@1998128735@Naming[0]@[W=19][A=26] [APE] Action: g14a780[318,607][2]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][0,63,147,210][#8690306c] [APE] Target: g18s77[255,608][14]de.rampro.activitydiary.ui.main.MainActivity@-127105504@Naming[0]@[W=5][A=5] [APE] Add target result: false [APE] GSTG(g29): activities (10), states (64), edges (467), unvisited actions (421), visited actions (394) [APE] *** INFO *** - 0.55 4 de.rampro.activitydiary.ui.statistics.StatisticsActivity[38,387][47][S=4] [APE] *** INFO *** - 0.74 6 de.rampro.activitydiary.ui.generic.EditActivity[3,606][235][S=6] [APE] *** INFO *** - 0.34 4 de.rampro.activitydiary.ui.generic.ManageActivity[572,602][21][S=4] [APE] *** INFO *** - 0.31 4 de.rampro.activitydiary.ui.history.HistoryActivity[259,284][35][S=4] [APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.generic.AboutActivity[245,247][5][S=1] [APE] *** INFO *** - 0.20 1 org.acra.dialog.CrashReportDialog[604,604][1][S=1] [APE] *** INFO *** - 0.43 2 de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity[444,549][4][S=2] [APE] *** INFO *** - 0.77 8 de.rampro.activitydiary.ui.history.HistoryDetailActivity[170,493][136][S=8] [APE] *** INFO *** - 0.44 33 de.rampro.activitydiary.ui.main.MainActivity[1,608][450][S=33] [APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.location.MapActivity[26,26][3][S=1] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (1), state (0), activity (1) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 8 USE_BUFFER [APE] 593 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 73 BUFFER_LOSS [APE] 146 FILL_BUFFER [APE] 0 BAD_STATE [APE] 6 PROBE [APE] 1 g18a1136[430,430][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,63,147,210][#df61f5b6] [APE] 2 g18a1137[319,319][2]@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][932,73,1080,199][] [APE] 3 g18a1138[321,321][1]@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][805,73,932,199][] [APE] 4 g18a1139[255,571][9]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=12][T=500][][S=1.000000][RN=9][42,725,693,851][Diary] [APE] 5 g18a1140[-1,0][0]@MODEL_BACKg18s77[255,608][14]de.rampro.activitydiary.ui.main.MainActivity@-127105504@Naming[0]@[W=5][A=5][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: g18s77[255,608][14]de.rampro.activitydiary.ui.main.MainActivity@-127105504@Naming[0]@[W=5][A=5] [APE] *** INFO *** > - B: g14s54[131,607][45]de.rampro.activitydiary.ui.main.MainActivity@1998128735@Naming[0]@[W=19][A=26] [APE] *** INFO *** Never move to a saturated dialog state (g14s54[131,607][45]de.rampro.activitydiary.ui.main.MainActivity@1998128735@Naming[0]@[W=19][A=26]) in ABA. [APE] *** INFO *** Select action g18a1139[255,571][9]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=12][T=500][][S=1.000000][RN=9][42,1400,693,1526][Settings] by strategy PROBE [APE] Last state: g16s62[3,606][68]de.rampro.activitydiary.ui.generic.EditActivity@2138572534@Naming[59]@[W=6][A=7] [APE] Last action: g16a915[16,606][24]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_edit_delete;enabled=true;clickable=true;[P=92][T=500][][S=1.000000][RN=1][784,73,932,199][] [APE] Curr state: g14s54[131,607][45]de.rampro.activitydiary.ui.main.MainActivity@1998128735@Naming[0]@[W=19][A=26] [APE] Curr action: g14a780[318,607][2]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][0,63,147,210][#8690306c] [APE] New state: g18s77[255,608][14]de.rampro.activitydiary.ui.main.MainActivity@-127105504@Naming[0]@[W=5][A=5] [APE] New action: g18a1139[255,608][10]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=12][T=500][][S=1.000000][RN=9][42,1400,693,1526][Settings] [APE] >>>>>>>> SATA end step [608] [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,1400,693,1526 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=g18a1139[255,608][10]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=12][T=500][][S=1.000000][RN=9][42,1400,693,1526][Settings] :Sending Touch (ACTION_DOWN): 0:(367.5,1463.0) :Sending Touch (ACTION_UP): 0:(367.5,1463.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