[APE] >>>>>>>> SATA begin step [294][Elapsed: 0000 00:07:32] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 11 MB, Max: 192 MB, Available: 181 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 g17s60[212,246][4]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5] for GUI tree GUITree[348@0]@g17s60[212,246][4]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5] [APE] *** INFO *** State g17s60[212,246][4]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@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 g17s60[212,246][4]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5]: #0 [APE] *** INFO *** Already too many states 25 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: g19s79[289,293][4]de.rampro.activitydiary.ui.main.MainActivity@-1424123165@Naming[3]@[W=18][A=30] [APE] Action: g19a1208[293,293][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,210][#8690306c] [APE] Target: g17s60[212,294][5]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5] [APE] Add target result: true [APE] GSTG(g19): activities (5), states (53), edges (236), unvisited actions (659), visited actions (214) [APE] *** INFO *** - 0.35 12 de.rampro.activitydiary.ui.generic.EditActivity[3,290][155][S=12] [APE] *** INFO *** - 0.26 5 de.rampro.activitydiary.ui.history.HistoryActivity[104,147][25][S=5] [APE] *** INFO *** - 0.57 2 de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity[216,221][6][S=2] [APE] *** INFO *** - 0.76 9 de.rampro.activitydiary.ui.history.HistoryDetailActivity[23,281][131][S=9] [APE] *** INFO *** - 0.15 25 de.rampro.activitydiary.ui.main.MainActivity[1,294][170][S=25] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (3) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 6 USE_BUFFER [APE] 287 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 13 BUFFER_LOSS [APE] 67 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g17a1037[-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][#f6af2246] [APE] 2 g17a1038[-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][935,73,1080,199][] [APE] 3 g17a1039[246,246][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][808,73,935,199][] [APE] 4 g17a1040[212,223][3]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=42][T=500][][S=1.000000][RN=9][42,977,693,1103][Map] [APE] 5 g17a1041[-1,0][0]@MODEL_BACKg17s60[212,294][5]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@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: g17s60[212,294][5]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5] [APE] *** INFO *** > - B: g19s79[289,293][4]de.rampro.activitydiary.ui.main.MainActivity@-1424123165@Naming[3]@[W=18][A=30] [APE] *** INFO *** Move from A (g17s60[212,294][5]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5]) to B (g19s79[289,293][4]de.rampro.activitydiary.ui.main.MainActivity@-1424123165@Naming[3]@[W=18][A=30]). [APE] *** INFO *** Try to find a path (1/1) to a greedy state that we want to greedily visit in ABA. [APE] 1 (g17s60,g17a1040,g17s59) [APE] 2 (g17s59,g17a1035,g17s52) [APE] 3 (g17s52,g17a914,g19s79) [APE] *** INFO *** Move from A (g17s60[212,294][5]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5]) to B (g17s59[204,224][6]de.rampro.activitydiary.ui.generic.EditActivity@1534420172@Naming[0]@[W=7][A=8]). [APE] *** INFO *** Never move to a saturated dialog state (g17s52[3,290][42]de.rampro.activitydiary.ui.generic.EditActivity@-1936732739@Naming[65]@[W=6][A=7]) in ABA. [APE] *** INFO *** Update B from g19s79[289,293][4]de.rampro.activitydiary.ui.main.MainActivity@-1424123165@Naming[3]@[W=18][A=30] to g17s59[204,224][6]de.rampro.activitydiary.ui.generic.EditActivity@1534420172@Naming[0]@[W=7][A=8] [APE] *** INFO *** Fill buffer.. [APE] *** INFO *** 0 g17e155[344,355][6]@[H(2),M(0),T(0.000000)] g17s60 =[g17a1040]=> g17s59 [APE] *** INFO *** Move from A (g17s60[212,294][5]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5]) to B (g17s59[204,224][6]de.rampro.activitydiary.ui.generic.EditActivity@1534420172@Naming[0]@[W=7][A=8]) for ABA within 1 steps that start from action g17a1040[212,223][3]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=42][T=500][][S=1.000000][RN=9][42,977,693,1103][Map] [APE] *** INFO *** Select action g17a1040[212,223][3]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=42][T=500][][S=1.000000][RN=9][42,977,693,1103][Map] by strategy EARLY_STAGE [APE] Last state: g19s79[289,293][4]de.rampro.activitydiary.ui.main.MainActivity@-1424123165@Naming[3]@[W=18][A=30] [APE] Last action: g19a1220[292,292][1]@MODEL_CLICKclass=android.widget.TextView;enabled=true;clickable=true;[P=50][T=0][][S=0.500000][RN=2][812,369,983,420][PICTURES] [APE] Curr state: g19s79[289,293][4]de.rampro.activitydiary.ui.main.MainActivity@-1424123165@Naming[3]@[W=18][A=30] [APE] Curr action: g19a1208[293,293][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,210][#8690306c] [APE] New state: g17s60[212,294][5]de.rampro.activitydiary.ui.main.MainActivity@-1228221365@Naming[0]@[W=5][A=5] [APE] New action: g17a1040[212,294][4]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=42][T=500][][S=1.000000][RN=9][42,977,693,1103][Map] [APE] >>>>>>>> SATA end step [294] [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=g17a1040[212,294][4]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=de.rampro.activitydiary:id/design_menu_item_text;enabled=true;clickable=true;checkable=true;[P=42][T=500][][S=1.000000][RN=9][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