[APE] >>>>>>>> SATA begin step [216][Elapsed: 0000 00:05:39] [APE] *** INFO *** Explored 4 app activities. [APE] *** INFO *** Used: 15 MB, Max: 192 MB, Available: 177 MB [APE] *** INFO *** Create state g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] for GUI tree GUITree[278@0]@g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] [APE] *** INFO *** Check under-abstracted states g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]: #0 [APE] *** INFO *** Check under-abstracted states collected 31 targets for naming Naming[3]. The state is g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]. #0 [APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]: #0 [APE] *** INFO *** Check under-abstracted states collected 31 targets for naming Naming[3]. The state is g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]. #0 [APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g20s56[127,215][4]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9] [APE] Action: g20a868[215,215][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/toolbarIconSettings;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][933,105,1038,210][] [APE] Target: g36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] [APE] Add target result: true [APE] GSTG(g36): activities (4), states (43), edges (148), unvisited actions (460), visited actions (135) [APE] *** INFO *** - 0.24 12 com.maubis.scarlet.base.MainActivity[1,216][35][S=12] [APE] *** INFO *** - 0.41 11 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,126][308][S=11] [APE] *** INFO *** - 0.14 17 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[163,214][52][S=17] [APE] *** INFO *** - 0.25 3 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[139,160][10][S=3] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (1) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 208 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 13 BUFFER_LOSS [APE] 32 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g36a1445[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1109,1080,1330][] [APE] 2 g36a1446[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1330,1080,1500][] [APE] 3 g36a1447[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1500,1080,1670][] [APE] 4 g36a1448[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1670,1080,1891][] [APE] 5 g36a1449[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1891,1080,2061][] [APE] 6 g36a1450[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=6;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2061,1080,2231][] [APE] 7 g36a1451[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=7;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2231,1080,2337][] [APE] 8 g36a1452[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,939,1080,1109][] [APE] 9 g36a1453[-1,0][0]@MODEL_BACKg36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g36a1446[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1330,1080,1500][] [APE] *** INFO *** - g36a1447[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1500,1080,1670][] [APE] *** INFO *** - g36a1449[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1891,1080,2061][] [APE] *** INFO *** - g36a1450[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=6;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2061,1080,2231][] [APE] *** INFO *** - g36a1452[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,939,1080,1109][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] [APE] *** INFO *** > - B: g20s56[127,215][4]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9] [APE] *** INFO *** Never move from a cold state (g36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]) to a hot state (g20s56[127,215][4]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 *** Select action g36a1447[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1500,1080,1670][] by strategy EARLY_STAGE [APE] Last state: g36s100[193,214][16]com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity@-1311754589@Naming[0]@[W=8][A=12] [APE] Last action: g36a1435[214,214][1]@MODEL_BACKg36s100[193,214][16]com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity@-1311754589@Naming[0]@[W=8][A=12][P=13][T=200][] [APE] Curr state: g20s56[127,215][4]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9] [APE] Curr action: g20a868[215,215][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/toolbarIconSettings;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][933,105,1038,210][] [APE] New state: g36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] [APE] New action: g36a1447[216,216][1]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1500,1080,1670][] [APE] >>>>>>>> SATA end step [216] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id=|bounds=0,1500,1080,1670 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id= action=g36a1447[216,216][1]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1500,1080,1670][] :Sending Touch (ACTION_DOWN): 0:(540.0,1585.0) :Sending Touch (ACTION_UP): 0:(540.0,1585.0)