[APE] >>>>>>>> SATA begin step [191][Elapsed: 0000 00:05:19] [APE] *** INFO *** Explored 6 app activities. [APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB [APE] *** INFO *** Create state g12s47[158,189][7]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15] for GUI tree GUITree[266@0]@g12s47[158,189][7]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g12s47[158,189][7]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][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: g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9] [APE] Action: g1a98[190,190][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][74,1073,1006,1200][Grabar] [APE] Target: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15] [APE] Add target result: true [APE] GSTG(g12): activities (5), states (43), edges (157), unvisited actions (215), visited actions (154) [APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3] [APE] *** INFO *** - 0.43 13 it.feio.android.omninotes.SettingsActivity[44,155][76][S=13] [APE] *** INFO *** - 0.34 20 it.feio.android.omninotes.MainActivity[1,191][82][S=20] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[167,170][2][S=1] [APE] *** INFO *** - 0.57 6 it.feio.android.omninotes.PasswordActivity[104,145][52][S=6] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (20) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 2 USE_BUFFER [APE] 185 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 2 BUFFER_LOSS [APE] 29 FILL_BUFFER [APE] 0 BAD_STATE [APE] 3 PROBE [APE] 1 g12a396[-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][#d8decfbf] [APE] 2 g12a397[165,171][3]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][975,73,1080,199][] [APE] 3 g12a398[-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][975,73,1080,199][] [APE] 4 g12a399[187,189][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][467,73,594,199][] [APE] 5 g12a400[-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][721,73,848,199][] [APE] 6 g12a401[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][848,73,975,199][] [APE] 7 g12a402[186,186][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][39,231,1059,321][New! Tel] [APE] 8 g12a403[-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,1059,321][New! Tel] [APE] 9 g12a404[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_content;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][58,363,1038,421][11/7/26 ] [APE] 10 g12a405[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_content;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][58,363,1038,421][11/7/26 ] [APE] 11 g12a406[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,460,1038,565][] [APE] 12 g12a407[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,460,1038,565][] [APE] 13 g12a408[158,158][1]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][594,73,721,199][] [APE] 14 g12a409[-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][594,73,721,199][] [APE] 15 g12a410[-1,0][0]@MODEL_BACKg12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g12a406[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,460,1038,565][] [APE] *** INFO *** - g12a407[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,460,1038,565][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15] [APE] *** INFO *** > - B: g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9] [APE] *** INFO *** Move from A (g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]) to B (g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]). [APE] *** INFO *** Try to find a path (1/1) to a greedy state that we want to greedily visit in ABA. [APE] 1 (g12s47,g12a399,g1s12) [APE] *** INFO *** Move from A (g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]) to B (g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]). [APE] *** INFO *** Fill buffer.. [APE] *** INFO *** 0 g12e154[220,222][2]@[H(2),M(0),T(0.000000)] g12s47 =[g12a399]=> g1s12 [APE] *** INFO *** Move from A (g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]) to B (g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]) for ABA within 1 steps that start from action g12a399[187,189][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][] [APE] *** INFO *** Select action g12a399[187,189][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][] by strategy EARLY_STAGE [APE] Last state: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15] [APE] Last action: g12a399[187,191][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][] [APE] Curr state: g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9] [APE] Curr action: g1a98[190,190][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][74,1073,1006,1200][Grabar] [APE] New state: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15] [APE] New action: g12a399[187,191][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][] [APE] >>>>>>>> SATA end step [191] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.Button|text=|resource_id=it.feio.android.omninotes:id/menu_attachment|bounds=467,73,594,199 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.Button|text=|resource_id=it.feio.android.omninotes:id/menu_attachment action=g12a399[187,191][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][] :Sending Touch (ACTION_DOWN): 0:(530.5,136.0) :Sending Touch (ACTION_UP): 0:(530.5,136.0)