[APE] >>>>>>>> SATA begin step [531][Elapsed: 0000 00:13:55] [APE] *** INFO *** Explored 7 app activities. [APE] *** INFO *** Used: 16 MB, Max: 192 MB, Available: 176 MB [APE] *** INFO *** Create state g13s93[529,530][2]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] for GUI tree GUITree[627@0]@g13s93[529,530][2]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g13s93[529,530][2]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]: #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: g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] [APE] Action: g13a877[530,530][1]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][2168,73,2295,199][] [APE] Target: g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] [APE] Add target result: true [APE] GSTG(g13): activities (5), states (72), edges (334), unvisited actions (413), visited actions (314) [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,71][91][S=13] [APE] *** INFO *** - 0.42 49 it.feio.android.omninotes.MainActivity[1,531][318][S=49] [APE] *** INFO *** - 0.50 3 it.feio.android.omninotes.intro.IntroActivity[72,470][127][S=3] [APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (2), activity (19) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 5 USE_BUFFER [APE] 416 EARLY_STAGE [APE] 107 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 25 BUFFER_LOSS [APE] 95 FILL_BUFFER [APE] 0 BAD_STATE [APE] 2 PROBE [APE] 1 g13a872[-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][#8919d946] [APE] 2 g13a873[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][] [APE] 3 g13a874[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][] [APE] 4 g13a875[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][1787,73,1914,199][] [APE] 5 g13a876[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2041,73,2168,199][] [APE] 6 g13a877[530,530][1]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][2168,73,2295,199][] [APE] 7 g13a878[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][39,231,2379,321][Title] [APE] 8 g13a879[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][39,231,2379,321][Title] [APE] 9 g13a880[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][1914,73,2041,199][] [APE] 10 g13a881[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][1914,73,2041,199][] [APE] 11 g13a882[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/content_wrapper;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][] [APE] 12 g13a883[529,529][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/content_wrapper;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][21,342,2379,996][] [APE] 13 g13a884[-1,0][0]@MODEL_CLICKclass=android.widget.GridView;resource-id=it.feio.android.omninotes:id/gridview;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][] [APE] 14 g13a885[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.GridView;resource-id=it.feio.android.omninotes:id/gridview;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][] [APE] 15 g13a886[-1,0][0]@MODEL_CLICKclass=android.widget.RelativeLayout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][] [APE] 16 g13a887[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.RelativeLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][] [APE] 17 g13a888[-1,0][0]@MODEL_BACKg13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g13a873[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] [APE] *** INFO *** > - B: g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] [APE] *** INFO *** Never move from a cold state (g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]) to a hot state (g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g13a885[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.GridView;resource-id=it.feio.android.omninotes:id/gridview;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][] by strategy EARLY_STAGE [APE] Last state: g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] [APE] Last action: g13a883[529,529][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/content_wrapper;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][21,342,2379,996][] [APE] Curr state: g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] [APE] Curr action: g13a877[530,530][1]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][2168,73,2295,199][] [APE] New state: g13s93[529,531][3]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] [APE] New action: g13a885[531,531][1]@MODEL_LONG_CLICKclass=android.widget.GridView;resource-id=it.feio.android.omninotes:id/gridview;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][21,342,2379,996][] [APE] >>>>>>>> SATA end step [531] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_LONG_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.GridView|text=|resource_id=it.feio.android.omninotes:id/gridview|bounds=21,342,2379,996 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.GridView|text=|resource_id=it.feio.android.omninotes:id/gridview action=g13a885[531,531][1]@MODEL_LONG_CLICKclass=android.widget.GridView;resource-id=it.feio.android.omninotes:id/gridview;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][21,342,2379,996][] :Sending Touch (ACTION_DOWN): 0:(1200.0,669.0) :Sending Touch (ACTION_UP): 0:(1200.0,669.0)