[APE] >>>>>>>> SATA begin step [1577][Elapsed: 0000 00:57:52] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 50 MB, Max: 192 MB, Available: 142 MB [APE] *** INFO *** Create state g62s187[685,1055][8]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18] for GUI tree GUITree[1750@0]@g62s187[685,1055][8]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18] [APE] *** INFO *** Check under-abstracted states g62s187[685,1055][8]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18]: #0 [APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[186]. The state is g62s187[685,1055][8]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][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 g62s187[685,1055][8]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g62s187[685,1055][8]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18]: #0 [APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[186]. The state is g62s187[685,1055][8]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][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,1576][26]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6] [APE] Action: g61a2445[684,1576][21]@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: g62s187[685,1577][9]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18] [APE] Add target result: false [APE] GSTG(g71): activities (5), states (78), edges (664), unvisited actions (303), visited actions (527) [APE] *** INFO *** - 0.59 28 com.maubis.scarlet.base.MainActivity[1,1575][739][S=28] [APE] *** INFO *** - 0.69 14 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,1574][769][S=14] [APE] *** INFO *** - 0.63 13 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[161,1542][732][S=13] [APE] *** INFO *** - 0.67 11 com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity[518,1153][117][S=11] [APE] *** INFO *** - 0.62 12 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[562,1577][102][S=12] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (9), state (0), activity (1) [APE] Sata Strategy: buffer size (1) [APE] 25 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 109 USE_BUFFER [APE] 1041 EARLY_STAGE [APE] 385 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 152 BUFFER_LOSS [APE] 382 FILL_BUFFER [APE] 0 BAD_STATE [APE] 16 PROBE [APE] 1 g62a2455[776,776][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][22,1354,529,1590][] [APE] 2 g62a2456[1044,1044][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][551,1354,1058,1590][] [APE] 3 g62a2457[719,719][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][109,734,383,1001][] [APE] 4 g62a2458[-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 g62a2459[-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 g62a2460[685,685][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,1022,383,1289][] [APE] 7 g62a2461[-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 g62a2462[-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 g62a2463[687,687][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][109,1654,383,1922][] [APE] 10 g62a2464[-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,1654,677,1922][] [APE] 11 g62a2465[717,717][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=10;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,1654,971,1921][] [APE] 12 g62a2466[-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,2028,383,2295][] [APE] 13 g62a2467[-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,2028,677,2296][] [APE] 14 g62a2468[1052,1055][2]@MODEL_CLICKclass=android.widget.LinearLayout;index=13;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][697,2028,971,2296][] [APE] 15 g62a2469[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,2316,383,2337][] [APE] 16 g62a2470[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=15;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2316,677,2337][] [APE] 17 g62a2471[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,2316,971,2337][] [APE] 18 g62a2472[-1,0][0]@MODEL_BACKg62s187[685,1577][9]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g62a2462[-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] *** INFO *** - g62a2467[-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,2028,677,2296][] [APE] *** INFO *** Inconsistent states in action buffer: expected g63s199[790,824][10]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18], get g62s187[685,1577][9]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18] [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] 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.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] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g62s187[685,1577][9]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18] [APE] *** INFO *** > - B: g61s185[679,1576][26]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,1576][26]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 g62a2469[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,2316,383,2337][] by strategy EARLY_STAGE [APE] Last state: g22s58[147,1575][113]com.maubis.scarlet.base.MainActivity@469584738@Naming[3]@[W=8][A=9] [APE] Last action: g22a923[454,1575][12]@MODEL_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=32][T=500][][S=1.000000][RN=8][540,886,1080,1171][] [APE] Curr state: g61s185[679,1576][26]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6] [APE] Curr action: g61a2445[684,1576][21]@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: g62s187[685,1577][9]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18] [APE] New action: g62a2469[1577,1577][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][109,2316,383,2337][] [APE] >>>>>>>> SATA end step [1577] [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=109,2316,383,2337 target_fp=activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id= action=g62a2469[1577,1577][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][109,2316,383,2337][] :Sending Touch (ACTION_DOWN): 0:(246.0,2326.5) :Sending Touch (ACTION_UP): 0:(246.0,2326.5)