[APE] >>>>>>>> SATA begin step [805][Elapsed: 0000 00:21:01] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 46 MB, Max: 192 MB, Available: 146 MB [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.ImageView@com.bijoysingh.quicknote:id/icon@ [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.ImageView@com.bijoysingh.quicknote:id/icon@ [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.ImageView@com.bijoysingh.quicknote:id/icon@ [APE] *** INFO *** Create state g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18] for GUI tree GUITree[945@0]@g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18] [APE] *** INFO *** Check under-abstracted states g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]: #0 [APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[186]. The state is g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]. #0 [APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]: #0 [APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[186]. The state is g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]. #0 [APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6] [APE] Action: g61a2445[684,804][10]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][11,2211,116,2316][] [APE] Target: g63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18] [APE] Add target result: false [APE] GSTG(g64): activities (5), states (64), edges (419), unvisited actions (446), visited actions (354) [APE] *** INFO *** - 0.57 21 com.maubis.scarlet.base.MainActivity[1,774][504][S=21] [APE] *** INFO *** - 0.33 18 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,792][450][S=18] [APE] *** INFO *** - 0.52 9 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[161,764][422][S=9] [APE] *** INFO *** - 0.34 5 com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity[518,802][20][S=5] [APE] *** INFO *** - 0.54 11 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[562,805][74][S=11] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (1), state (0), activity (2) [APE] Sata Strategy: buffer size (1) [APE] 25 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 66 USE_BUFFER [APE] 658 EARLY_STAGE [APE] 48 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 86 BUFFER_LOSS [APE] 213 FILL_BUFFER [APE] 0 BAD_STATE [APE] 7 PROBE [APE] 1 g63a2564[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,1353,1059,1564][] [APE] 2 g63a2565[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,1584,1059,1820][] [APE] 3 g63a2566[790,790][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][109,734,383,1001][] [APE] 4 g63a2567[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,734,677,1002][] [APE] 5 g63a2568[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,734,971,1002][] [APE] 6 g63a2569[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1022,383,1289][] [APE] 7 g63a2570[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,1022,677,1289][] [APE] 8 g63a2571[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,1022,971,1290][] [APE] 9 g63a2572[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1883,383,2151][] [APE] 10 g63a2573[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=9;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,1883,677,2151][] [APE] 11 g63a2574[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=10;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,1883,971,2150][] [APE] 12 g63a2575[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=11;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,2257,383,2337][] [APE] 13 g63a2576[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2257,677,2337][] [APE] 14 g63a2577[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=13;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,2257,971,2337][] [APE] 15 g63a2578[794,798][2]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=com.bijoysingh.quicknote:id/root_layout;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,670,1080,2337][] [APE] 16 g63a2579[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=com.bijoysingh.quicknote:id/root_layout;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,670,1080,2337][] [APE] 17 g63a2580[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/icon;enabled=true;clickable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][802,2299,865,2337][] [APE] 18 g63a2581[-1,0][0]@MODEL_BACKg63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g63a2564[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,1353,1059,1564][] [APE] *** INFO *** - g63a2565[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,1584,1059,1820][] [APE] *** INFO *** - g63a2569[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1022,383,1289][] [APE] *** INFO *** - g63a2572[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1883,383,2151][] [APE] *** INFO *** - g63a2574[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=10;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,1883,971,2150][] [APE] *** INFO *** Inconsistent states in action buffer: expected g62s187[685,776][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18], get g63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18] [APE] ################################## [APE] 0 - class=android.widget.ScrollView;resource-id=com.bijoysingh.quicknote:id/root_layout;enabled=true;scrollable=true; [APE] 1 - class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/icon;enabled=true;clickable=true; [APE] ---------------------------------- [APE] 0 = class=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true; [APE] 1 = class=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true; [APE] 2 = class=android.widget.LinearLayout;index=0;enabled=true;clickable=true; [APE] 3 = class=android.widget.LinearLayout;index=1;enabled=true;clickable=true; [APE] 4 = class=android.widget.LinearLayout;index=2;enabled=true;clickable=true; [APE] 5 = class=android.widget.LinearLayout;index=3;enabled=true;clickable=true; [APE] 6 = class=android.widget.LinearLayout;index=4;enabled=true;clickable=true; [APE] 7 = class=android.widget.LinearLayout;index=5;enabled=true;clickable=true; [APE] 8 = class=android.widget.LinearLayout;index=8;enabled=true;clickable=true; [APE] 9 = class=android.widget.LinearLayout;index=9;enabled=true;clickable=true; [APE] 10 = class=android.widget.LinearLayout;index=10;enabled=true;clickable=true; [APE] 11 = class=android.widget.LinearLayout;index=11;enabled=true;clickable=true; [APE] 12 = class=android.widget.LinearLayout;index=12;enabled=true;clickable=true; [APE] 13 = class=android.widget.LinearLayout;index=13;enabled=true;clickable=true; [APE] ---------------------------------- [APE] 0 + class=android.widget.LinearLayout;index=14;enabled=true;clickable=true; [APE] 1 + class=android.widget.LinearLayout;index=15;enabled=true;clickable=true; [APE] 2 + class=android.widget.LinearLayout;index=16;enabled=true;clickable=true; [APE] ################################## [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18] [APE] *** INFO *** > - B: g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6] [APE] *** INFO *** Never move to a saturated dialog state (g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g63a2576[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2257,677,2337][] by strategy EARLY_STAGE [APE] Last state: g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6] [APE] Last action: g61a2445[684,804][10]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][11,2211,116,2316][] [APE] Curr state: g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6] [APE] Curr action: g61a2445[684,804][10]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][11,2211,116,2316][] [APE] New state: g63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18] [APE] New action: g63a2576[805,805][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][403,2257,677,2337][] [APE] >>>>>>>> SATA end step [805] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=403,2257,677,2337 target_fp=activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id= action=g63a2576[805,805][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][403,2257,677,2337][] :Sending Touch (ACTION_DOWN): 0:(540.0,2297.0) :Sending Touch (ACTION_UP): 0:(540.0,2297.0)