[APE] >>>>>>>> SATA begin step [284][Elapsed: 0000 00:07:19] [APE] *** INFO *** Explored 6 app activities. [APE] *** INFO *** Used: 9 MB, Max: 192 MB, Available: 183 MB [APE] *** INFO *** Create state g11s66[282,282][1]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15] for GUI tree GUITree[368@0]@g11s66[282,282][1]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g11s66[282,282][1]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g11s65[279,283][4]it.feio.android.omninotes.MainActivity@-2023895634@Naming[0]@[W=8][A=12] [APE] Action: g11a573[281,283][2]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][865,2122,1059,2316][#d5080791] [APE] Target: g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15] [APE] Add target result: false [APE] GSTG(g11): activities (5), states (56), edges (190), unvisited actions (322), visited actions (182) [APE] *** INFO *** - 0.37 5 it.feio.android.omninotes.CategoryActivity[14,149][13][S=5] [APE] *** INFO *** - 0.50 13 it.feio.android.omninotes.SettingsActivity[44,159][90][S=13] [APE] *** INFO *** - 0.28 26 it.feio.android.omninotes.MainActivity[1,284][102][S=26] [APE] *** INFO *** - 0.46 10 it.feio.android.omninotes.intro.IntroActivity[72,103][61][S=10] [APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (1), state (0), activity (6) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 205 EARLY_STAGE [APE] 78 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 9 BUFFER_LOSS [APE] 37 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g11a584[-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][#47b2d09b] [APE] 2 g11a585[282,282][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][865,2122,1059,2316][#49525411] [APE] 3 g11a586[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][865,2122,1059,2316][#49525411] [APE] 4 g11a587[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_uncomplete_checklists;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][826,73,953,199][] [APE] 5 g11a588[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_uncomplete_checklists;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][826,73,953,199][] [APE] 6 g11a589[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tags;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][953,73,1080,199][] [APE] 7 g11a590[-1,0][0]@MODEL_CLICKclass=android.widget.AutoCompleteTextView;resource-id=it.feio.android.omninotes:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][210,88,658,183][Search i] [APE] 8 g11a591[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.AutoCompleteTextView;resource-id=it.feio.android.omninotes:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][210,88,658,183][Search i] [APE] 9 g11a592[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/search_voice_btn;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][658,73,805,199][] [APE] 10 g11a593[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=it.feio.android.omninotes:id/root;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,231,1059,499][] [APE] 11 g11a594[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=it.feio.android.omninotes:id/root;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,231,1059,499][] [APE] 12 g11a595[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_camera;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][886,1636,1038,1788][#8c38374c] [APE] 13 g11a596[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_checklist;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][886,1798,1038,1950][#a123f458] [APE] 14 g11a597[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_note;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][886,1960,1038,2112][#d5b55d4d] [APE] 15 g11a598[-1,0][0]@MODEL_BACKg11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g11a588[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_uncomplete_checklists;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][826,73,953,199][] [APE] *** INFO *** - g11a592[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/search_voice_btn;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][658,73,805,199][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15] [APE] *** INFO *** > - B: g11s65[279,283][4]it.feio.android.omninotes.MainActivity@-2023895634@Naming[0]@[W=8][A=12] [APE] *** INFO *** Never move from a cold state (g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]) to a hot state (g11s65[279,283][4]it.feio.android.omninotes.MainActivity@-2023895634@Naming[0]@[W=8][A=12]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g11a596[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_checklist;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][886,1798,1038,1950][#a123f458] by strategy EARLY_STAGE [APE] Last state: g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15] [APE] Last action: g11a585[282,282][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][865,2122,1059,2316][#49525411] [APE] Curr state: g11s65[279,283][4]it.feio.android.omninotes.MainActivity@-2023895634@Naming[0]@[W=8][A=12] [APE] Curr action: g11a573[281,283][2]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][865,2122,1059,2316][#d5080791] [APE] New state: g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15] [APE] New action: g11a596[284,284][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_checklist;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][886,1798,1038,1950][#a123f458] [APE] >>>>>>>> SATA end step [284] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ImageButton|text=#a123f458|resource_id=it.feio.android.omninotes:id/fab_checklist|bounds=886,1798,1038,1950 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.ImageButton|text=#a123f458|resource_id=it.feio.android.omninotes:id/fab_checklist action=g11a596[284,284][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_checklist;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][886,1798,1038,1950][#a123f458] :Sending Touch (ACTION_DOWN): 0:(962.0,1874.0) :Sending Touch (ACTION_UP): 0:(962.0,1874.0) // Allowing start of Intent { cmp=it.feio.android.omninotes/com.tbruyelle.rxpermissions.ShadowActivity } in package it.feio.android.omninotes // 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 // activityResuming(it.feio.android.omninotes)