[APE] >>>>>>>> SATA begin step [146][Elapsed: 0000 00:03:59] [APE] *** INFO *** Explored 2 app activities. [APE] *** INFO *** Used: 9 MB, Max: 192 MB, Available: 183 MB [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Create state g21s53[104,144][26]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11] for GUI tree GUITree[169@0]@g21s53[104,144][26]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11] [APE] *** INFO *** State g21s53[104,144][26]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g21s53[104,144][26]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11]: #0 [APE] *** INFO *** Already too many states 15 in the activity com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity. [APE] *** INFO *** Already too many states 15 in the activity com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity. [APE] *** INFO *** Already too many states 15 in the activity com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity. [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g9s21[6,145][42]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1694149493@Naming[3]@[W=4][A=4] [APE] Action: g9a232[6,145][16]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=62][T=0][][S=1.000000][RN=1][371,1907,709,2253][] [APE] Target: g21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11] [APE] Add target result: false [APE] GSTG(g21): activities (2), states (16), edges (88), unvisited actions (208), visited actions (80) [APE] *** INFO *** - 0.11 1 com.maubis.scarlet.base.MainActivity[1,1][4][S=1] [APE] *** INFO *** - 0.28 15 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,146][283][S=15] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (4), state (0), activity (120) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 135 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 14 BUFFER_LOSS [APE] 26 FILL_BUFFER [APE] 0 BAD_STATE [APE] 3 PROBE [APE] 1 g21a817[106,142][3]@MODEL_CLICKclass=android.view.ViewGroup;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=9][657,2211,762,2316][] [APE] 2 g21a818[107,144][10]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=11][0,893,63,1014][] [APE] 3 g21a819[109,143][4]@MODEL_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=11][74,1135,1069,1448][34842080] [APE] 4 g21a820[110,125][2]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;enabled=true;clickable=true;long-clickable=true;[P=26][T=0][][S=1.000000][RN=11][74,89,1069,530][+3657540] [APE] 5 g21a821[105,105][1]@MODEL_SCROLL_LEFT_RIGHTclass=android.widget.HorizontalScrollView;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][11,2190,936,2337][] [APE] 6 g21a822[122,122][1]@MODEL_SCROLL_RIGHT_LEFTclass=android.widget.HorizontalScrollView;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][11,2190,936,2337][] [APE] 7 g21a823[112,127][2]@MODEL_SCROLL_BOTTOM_UPclass=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;enabled=true;scrollable=true;[P=44][T=0][][S=1.000000][RN=1][0,89,1080,2190][] [APE] 8 g21a824[104,104][1]@MODEL_SCROLL_TOP_DOWNclass=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,89,1080,2190][] [APE] 9 g21a825[123,123][1]@MODEL_SCROLL_LEFT_RIGHTclass=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,89,1080,2190][] [APE] 10 g21a826[111,111][1]@MODEL_SCROLL_RIGHT_LEFTclass=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,89,1080,2190][] [APE] 11 g21a827[-1,0][0]@MODEL_BACKg21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Inconsistent states in action buffer: expected g16s42[50,87][28]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1234830668@Naming[3]@[W=12][A=14], get g21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11] [APE] ################################## [APE] 0 - class=android.view.ViewGroup;enabled=true;clickable=true; [APE] 1 - class=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;enabled=true;scrollable=true; [APE] ---------------------------------- [APE] 0 = class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;enabled=true;clickable=true; [APE] 1 = class=android.widget.EditText;resource-id=com.bijoysingh.quicknote:id/edit;enabled=true;clickable=true;long-clickable=true; [APE] 2 = class=android.widget.HorizontalScrollView;enabled=true;scrollable=true; [APE] ---------------------------------- [APE] 0 + class=android.view.ViewGroup;index=1;enabled=true;clickable=true; [APE] 1 + class=android.view.ViewGroup;index=2;enabled=true;clickable=true; [APE] 2 + class=android.view.ViewGroup;index=3;enabled=true;clickable=true; [APE] 3 + class=android.view.ViewGroup;index=4;enabled=true;clickable=true; [APE] 4 + class=android.view.ViewGroup;index=5;enabled=true;clickable=true; [APE] 5 + class=android.view.ViewGroup;index=6;enabled=true;clickable=true; [APE] 6 + class=android.view.ViewGroup;index=7;enabled=true;clickable=true; [APE] 7 + class=android.view.ViewGroup;index=0;enabled=true;clickable=true; [APE] ################################## [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11] [APE] *** INFO *** > - B: g9s21[6,145][42]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1694149493@Naming[3]@[W=4][A=4] [APE] *** INFO *** Never move from a cold state (g21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11]) to a hot state (g9s21[6,145][42]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1694149493@Naming[3]@[W=4][A=4]) in ABA. [APE] *** INFO *** Find a greedy (unvisited) back action. [APE] *** INFO *** Select action g21a827[-1,0][0]@MODEL_BACKg21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11][P=13][T=200][, UNVISITED] by strategy EARLY_STAGE [APE] Last state: g21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11] [APE] Last action: g21a818[107,144][10]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=11][0,893,63,1014][] [APE] Curr state: g9s21[6,145][42]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@-1694149493@Naming[3]@[W=4][A=4] [APE] Curr action: g9a232[6,145][16]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=62][T=0][][S=1.000000][RN=1][371,1907,709,2253][] [APE] New state: g21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11] [APE] New action: g21a827[146,146][1]@MODEL_BACKg21s53[104,146][27]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@158958485@Naming[0]@[W=6][A=11][P=13][T=200][] [APE] >>>>>>>> SATA end step [146] // activityResuming(com.bijoysingh.quicknote)