[APE] >>>>>>>> SATA begin step [120][Elapsed: 0000 00:03:18] [APE] *** INFO *** Explored 2 app activities. [APE] *** INFO *** Used: 5 MB, Max: 192 MB, Available: 187 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 *** 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 g19s54[97,119][17]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] for GUI tree GUITree[146@0]@g19s54[97,119][17]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g19s54[97,119][17]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12]: #0 [APE] *** INFO *** Already too many states 11 in the activity com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity. [APE] *** INFO *** Already too many states 11 in the activity com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity. [APE] *** INFO *** Already too many states 11 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: g19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] [APE] Action: g19a856[119,119][1]@MODEL_SCROLL_RIGHT_LEFTclass=android.support.v7.widget.RecyclerView;resource-id=com.bijoysingh.quicknote:id/advanced_note_recycler;enabled=true;scrollable=true;[P=36][T=0][][S=1.000000][RN=1][0,89,1080,2190][] [APE] Target: g19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] [APE] Add target result: true [APE] GSTG(g19): activities (2), states (12), edges (68), unvisited actions (96), visited actions (61) [APE] *** INFO *** - 0.22 1 com.maubis.scarlet.base.MainActivity[1,39][3][S=1] [APE] *** INFO *** - 0.40 11 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,120][302][S=11] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (5), activity (17) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 3 USE_BUFFER [APE] 116 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 9 BUFFER_LOSS [APE] 21 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g19a849[97,115][3]@MODEL_CLICKclass=android.view.ViewGroup;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=7][403,2211,508,2316][] [APE] 2 g19a850[99,109][2]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_move_icon;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=13][0,1864,63,1985][] [APE] 3 g19a851[103,107][2]@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=12][221,406,1038,527][Add Item] [APE] 4 g19a852[106,116][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=12][221,1095,1038,1216][Add Item] [APE] 5 g19a853[105,105][1]@MODEL_SCROLL_BOTTOM_UPclass=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] 6 g19a854[98,98][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] 7 g19a855[118,118][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] 8 g19a856[119,119][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] 9 g19a857[108,108][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/text;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][105,648,828,769][Click to] [APE] 10 g19a858[117,117][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_camera;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][891,677,954,740][] [APE] 11 g19a859[101,104][2]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/action_gallery;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][996,677,1059,740][] [APE] 12 g19a860[-1,0][0]@MODEL_BACKg19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] [APE] *** INFO *** > - B: g19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] [APE] *** INFO *** Never move to a saturated dialog state (g19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12]) in ABA. [APE] *** INFO *** Find a greedy (unvisited) back action. [APE] *** INFO *** Select action g19a860[-1,0][0]@MODEL_BACKg19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12][P=13][T=200][, UNVISITED] by strategy EARLY_STAGE [APE] Last state: g19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] [APE] Last action: g19a855[118,118][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] Curr state: g19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] [APE] Curr action: g19a856[119,119][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] New state: g19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12] [APE] New action: g19a860[120,120][1]@MODEL_BACKg19s54[97,120][18]com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity@1186856697@Naming[0]@[W=8][A=12][P=13][T=200][] [APE] >>>>>>>> SATA end step [120] // activityResuming(com.bijoysingh.quicknote)