[APE] >>>>>>>> SATA begin step [733][Elapsed: 0000 00:17:26] [APE] *** INFO *** Explored 8 app activities. [APE] *** INFO *** Used: 12 MB, Max: 192 MB, Available: 180 MB [APE] *** INFO *** Create state g1s12[27,341][5]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] for GUI tree GUITree[844@0]@g1s12[27,341][5]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g1s12[27,341][5]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][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: g10s60[198,732][26]it.feio.android.omninotes.MainActivity@559188256@Naming[0]@[W=11][A=16] [APE] Action: g10a490[500,732][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] Target: g1s12[27,733][6]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] [APE] Add target result: true [APE] GSTG(g13): activities (7), states (90), edges (476), unvisited actions (503), visited actions (439) [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.40 8 it.feio.android.omninotes.SnoozeActivity[573,658][49][S=8] [APE] *** INFO *** - 0.47 59 it.feio.android.omninotes.MainActivity[1,733][476][S=59] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[293,293][1][S=1] [APE] *** INFO *** - 0.69 2 it.feio.android.omninotes.intro.IntroActivity[72,689][115][S=2] [APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (43) [APE] === Try to resolve the non-determinism!! [APE] *** INFO *** Find the non-deterministic edge [APE] *** INFO *** st1: g11e365[554,554][3]@[H(1),M(0),T(0.000000)] g10s60 =[g10a490]=> g10s60 [APE] *** INFO *** st2: g13e475[816,816][1]@[H(1),M(0),T(0.000000)] g10s60 =[g10a490]=> g1s12 [APE] ################################## [APE] 0 - class=android.widget.ImageButton;enabled=true;clickable=true; [APE] 1 - class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true; [APE] 2 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true; [APE] 3 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true; [APE] 4 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true; [APE] 5 - class=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true; [APE] 6 - class=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true; [APE] 7 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true; [APE] 8 - class=android.widget.CheckBox;clickable=true;checkable=true; [APE] 9 - class=android.widget.EditText;enabled=true;clickable=true;long-clickable=true; [APE] ---------------------------------- [APE] ---------------------------------- [APE] 0 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true; [APE] 1 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true; [APE] 2 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true; [APE] 3 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true; [APE] 4 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/sketch;enabled=true;clickable=true; [APE] 5 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true; [APE] 6 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true; [APE] 7 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/pushbullet;enabled=true;clickable=true; [APE] ################################## [APE] *** INFO *** Already too many states 59 in the activity it.feio.android.omninotes.MainActivity. [APE] *** INFO *** Refinement takes 0 ms. [APE] *** INFO *** No state refinement candidates to filter. [APE] *** INFO *** Cannot find a new naming that can resolve the non-deterministic transition. [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 18 USE_BUFFER [APE] 612 EARLY_STAGE [APE] 102 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 42 BUFFER_LOSS [APE] 159 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g1a95[29,29][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][74,692,1006,819][Camera] [APE] 2 g1a96[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,819,1006,946][Video] [APE] 3 g1a97[162,162][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][74,946,1006,1073][Files] [APE] 4 g1a98[-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][74,1073,1006,1200][Record] [APE] 5 g1a99[31,31][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][74,1200,1006,1327][Sketch] [APE] 6 g1a100[341,341][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][74,1327,1006,1454][Location] [APE] 7 g1a101[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,1454,1006,1581][Timestam] [APE] 8 g1a102[27,27][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][74,1581,1006,1708][Pushbull] [APE] 9 g1a103[-1,0][0]@MODEL_BACKg1s12[27,733][6]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g1a96[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,819,1006,946][Video] [APE] *** INFO *** - g1a98[-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][74,1073,1006,1200][Record] [APE] *** INFO *** - g1a101[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,1454,1006,1581][Timestam] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g1s12[27,733][6]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] [APE] *** INFO *** > - B: g10s60[198,732][26]it.feio.android.omninotes.MainActivity@559188256@Naming[0]@[W=11][A=16] [APE] *** INFO *** Never move to a saturated dialog state (g10s60[198,732][26]it.feio.android.omninotes.MainActivity@559188256@Naming[0]@[W=11][A=16]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Select action g1a98[-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][74,1073,1006,1200][Record] by strategy EARLY_STAGE [APE] Last state: g10s52[164,731][19]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] [APE] Last action: g10a383[299,731][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/buttonNegative;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][494,1578,718,1704][CANCEL] [APE] Curr state: g10s60[198,732][26]it.feio.android.omninotes.MainActivity@559188256@Naming[0]@[W=11][A=16] [APE] Curr action: g10a490[500,732][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] New state: g1s12[27,733][6]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] [APE] New action: g1a98[733,733][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][Record] [APE] >>>>>>>> SATA end step [733] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=Record|resource_id=it.feio.android.omninotes:id/recording|bounds=74,1073,1006,1200 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=Record|resource_id=it.feio.android.omninotes:id/recording action=g1a98[733,733][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][Record] :Sending Touch (ACTION_DOWN): 0:(540.0,1136.5) :Sending Touch (ACTION_UP): 0:(540.0,1136.5)