[APE] >>>>>>>> SATA begin step [717][Elapsed: 0000 00:19:31] [APE] *** INFO *** Explored 6 app activities. [APE] *** INFO *** Used: 32 MB, Max: 192 MB, Available: 160 MB [APE] *** INFO *** Create state g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] for GUI tree GUITree[851@0]@g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] [APE] *** INFO *** Check under-abstracted states g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0 [APE] *** INFO *** Check under-abstracted states collected 4 targets for naming Naming[69]. The state is g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]. #0 [APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 2, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 2 <= threshold: 8 [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0 [APE] *** INFO *** Check under-abstracted states collected 4 targets for naming Naming[69]. The state is g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]. #0 [APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 2, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 2 <= threshold: 8 [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g20s56[127,716][53]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9] [APE] Action: g20a874[127,716][12]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=6][540,231,1080,733][] [APE] Target: g21s58[128,717][11]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] [APE] Add target result: false [APE] GSTG(g46): activities (6), states (60), edges (343), unvisited actions (298), visited actions (279) [APE] *** INFO *** - 0.40 18 com.maubis.scarlet.base.MainActivity[1,717][245][S=18] [APE] *** INFO *** - 0.64 17 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,686][509][S=17] [APE] *** INFO *** - 0.52 11 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[163,611][491][S=11] [APE] *** INFO *** - 0.33 1 com.maubis.scarlet.base.export.activity.ImportNoteActivity[310,310][2][S=1] [APE] *** INFO *** - 0.25 1 com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity[706,712][7][S=1] [APE] *** INFO *** - 0.35 12 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[139,703][57][S=12] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (2), state (0), activity (4) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 12 USE_BUFFER [APE] 684 EARLY_STAGE [APE] 17 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 89 BUFFER_LOSS [APE] 180 FILL_BUFFER [APE] 0 BAD_STATE [APE] 3 PROBE [APE] 1 g21a880[690,690][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][22,1354,529,1590][] [APE] 2 g21a881[705,705][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 g21a882[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,734,383,1001][] [APE] 4 g21a883[679,679][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,734,677,1002][] [APE] 5 g21a884[693,693][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,734,971,1002][] [APE] 6 g21a885[-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 g21a886[-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 g21a887[-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 g21a888[714,714][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,1654,383,1922][] [APE] 10 g21a889[-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 g21a890[128,128][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 g21a891[698,698][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=11;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,2028,383,2295][] [APE] 13 g21a892[-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 g21a893[695,695][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=13;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,2028,971,2296][] [APE] 15 g21a894[700,700][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][109,2316,383,2337][] [APE] 16 g21a895[688,688][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=15;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,2316,677,2337][] [APE] 17 g21a896[-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 g21a897[-1,0][0]@MODEL_BACKg21s58[128,717][11]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18][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: g21s58[128,717][11]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] [APE] *** INFO *** > - B: g20s56[127,716][53]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9] [APE] *** INFO *** Never move to a saturated dialog state (g20s56[127,716][53]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g21a896[-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][] by strategy EARLY_STAGE [APE] Last state: g38s117[131,715][58]com.maubis.scarlet.base.MainActivity@-1459049548@Naming[0]@[W=2][A=2] [APE] Last action: g38a1566[226,715][9]@MODEL_BACKg38s117[131,715][58]com.maubis.scarlet.base.MainActivity@-1459049548@Naming[0]@[W=2][A=2][P=8][T=0][] [APE] Curr state: g20s56[127,716][53]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9] [APE] Curr action: g20a874[127,716][12]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=6][540,231,1080,733][] [APE] New state: g21s58[128,717][11]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] [APE] New action: g21a896[717,717][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][697,2316,971,2337][] [APE] >>>>>>>> SATA end step [717] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=697,2316,971,2337 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.widget.LinearLayout|text=|resource_id= action=g21a896[717,717][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][697,2316,971,2337][] :Sending Touch (ACTION_DOWN): 0:(834.0,2326.5) :Sending Touch (ACTION_UP): 0:(834.0,2326.5)