[APE] >>>>>>>> SATA begin step [528][Elapsed: 0000 00:13:52] [APE] *** INFO *** Explored 7 app activities. [APE] *** INFO *** Used: 13 MB, Max: 192 MB, Available: 179 MB [APE] *** INFO *** Create state g11s74[352,527][3]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] for GUI tree GUITree[624@0]@g11s74[352,527][3]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g11s74[352,527][3]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9]: #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: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] [APE] Action: g11a683[527,527][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][732,657,1667,784][Timestam] [APE] Target: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] [APE] Add target result: true [APE] GSTG(g13): activities (5), states (71), edges (331), unvisited actions (399), visited actions (311) [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.43 48 it.feio.android.omninotes.MainActivity[1,528][315][S=48] [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 (16) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 5 USE_BUFFER [APE] 413 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 g11a679[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,276][Files] [APE] 2 g11a680[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,276,1667,403][Stop] [APE] 3 g11a681[352,352][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/sketch;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,403,1667,530][Sketch] [APE] 4 g11a682[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,530,1667,657][Location] [APE] 5 g11a683[527,527][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,657,1667,784][Timestam] [APE] 6 g11a684[526,526][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/pushbullet;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,784,1667,911][Pushbull] [APE] 7 g11a685[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] [APE] 8 g11a686[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] [APE] 9 g11a687[-1,0][0]@MODEL_BACKg11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g11a679[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,276][Files] [APE] *** INFO *** - g11a680[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,276,1667,403][Stop] [APE] *** INFO *** - g11a685[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] [APE] *** INFO *** - g11a686[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] [APE] *** INFO *** > - B: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] [APE] *** INFO *** Never move from a cold state (g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9]) to a hot state (g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Select action g11a680[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,276,1667,403][Stop] by strategy EARLY_STAGE [APE] Last state: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] [APE] Last action: g11a684[526,526][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/pushbullet;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,784,1667,911][Pushbull] [APE] Curr state: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] [APE] Curr action: g11a683[527,527][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,657,1667,784][Timestam] [APE] New state: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9] [APE] New action: g11a680[528,528][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][732,276,1667,403][Stop] [APE] >>>>>>>> SATA end step [528] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=Stop|resource_id=it.feio.android.omninotes:id/recording|bounds=732,276,1667,403 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=Stop|resource_id=it.feio.android.omninotes:id/recording action=g11a680[528,528][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][732,276,1667,403][Stop] :Sending Touch (ACTION_DOWN): 0:(1199.5,339.5) :Sending Touch (ACTION_UP): 0:(1199.5,339.5)