[APE] >>>>>>>> SATA begin step [163][Elapsed: 0000 00:04:02] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 5 MB, Max: 192 MB, Available: 187 MB [APE] *** INFO *** Create state g10s51[161,161][1]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15] for GUI tree GUITree[241@0]@g10s51[161,161][1]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g10s51[161,161][1]it.feio.android.omninotes.MainActivity@-1608741235@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,162][4]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] [APE] Action: g1a97[162,162][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][74,946,1006,1073][Files] [APE] Target: g10s51[161,163][2]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15] [APE] Add target result: true [APE] GSTG(g10): activities (4), states (42), edges (129), unvisited actions (176), visited actions (128) [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.33 14 it.feio.android.omninotes.MainActivity[1,163][52][S=14] [APE] *** INFO *** - 0.46 10 it.feio.android.omninotes.intro.IntroActivity[72,103][61][S=10] [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] 0 USE_BUFFER [APE] 139 EARLY_STAGE [APE] 23 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 2 BUFFER_LOSS [APE] 27 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g10a367[-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 g10a368[-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][975,73,1080,199][] [APE] 3 g10a369[-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 g10a370[161,161][1]@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 g10a371[-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 g10a372[-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 g10a373[-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,1059,321][Title] [APE] 8 g10a374[-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][Title] [APE] 9 g10a375[-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][Content] [APE] 10 g10a376[-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][Content] [APE] 11 g10a377[-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 g10a378[-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 g10a379[-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][594,73,721,199][] [APE] 14 g10a380[-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 g10a381[-1,0][0]@MODEL_BACKg10s51[161,163][2]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g10a378[-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: g10s51[161,163][2]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15] [APE] *** INFO *** > - B: g1s12[27,162][4]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] [APE] *** INFO *** Never move from a cold state (g10s51[161,163][2]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15]) to a hot state (g1s12[27,162][4]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g10a377[-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][] by strategy EARLY_STAGE [APE] Last state: g10s51[161,163][2]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15] [APE] Last action: g10a370[161,161][1]@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] Curr state: g1s12[27,162][4]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] [APE] Curr action: g1a97[162,162][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][74,946,1006,1073][Files] [APE] New state: g10s51[161,163][2]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15] [APE] New action: g10a377[163,163][1]@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][][S=0.000000][RN=1][42,460,1038,565][] [APE] >>>>>>>> SATA end step [163] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.LinearLayout|text=|resource_id=it.feio.android.omninotes:id/reminder_layout|bounds=42,460,1038,565 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.LinearLayout|text=|resource_id=it.feio.android.omninotes:id/reminder_layout action=g10a377[163,163][1]@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][][S=0.000000][RN=1][42,460,1038,565][] :Sending Touch (ACTION_DOWN): 0:(540.0,512.5) :Sending Touch (ACTION_UP): 0:(540.0,512.5)