[APE] >>>>>>>> SATA begin step [154][Elapsed: 0000 00:04:09] [APE] *** INFO *** Explored 3 app activities. [APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB [APE] *** INFO *** Create state g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] for GUI tree GUITree[198@0]@g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] [APE] *** INFO *** Checking new state: g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 178 ms. [APE] *** INFO *** Create state g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] for GUI tree GUITree[199@0]@g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] for GUI tree GUITree[200@0]@g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] for GUI tree GUITree[201@0]@g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] is excluded from future refresh checks. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4]: #0 [APE] *** INFO *** actionRefinement: Refine name class=android.widget.LinearLayout;enabled=true;clickable=true; that has been resolved to 13 nodes [APE] this:Naming[69], parent:Naming[0]. [APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]] [APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer] [APE] 2. [001][REFINE] //*[@class="android.widget.LinearLayout"][@resource-id=""][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] *** INFO *** Refine actions: nodes(13), new names (13), new states (1), trees(1), state threshold (8) [APE] *** INFO *** - class=android.widget.LinearLayout;index=12;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=2;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=4;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=10;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=0;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=9;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=11;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=3;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=14;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=1;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=5;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=6;enabled=true;clickable=true; [APE] *** INFO *** - class=android.widget.LinearLayout;index=13;enabled=true;clickable=true; [APE] *** INFO *** Update naming for GUITree[201@154]@g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[0], new: Naming[69] [APE] *** INFO *** getNaming for tree GUITree[201@154]@g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4]: Source: Naming[0], Target: null, State: com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4] [APE] *** INFO *** updateNaming: Add - Source: Naming[0], Target: Naming[69], State: com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] [APE] *** INFO *** > Removing (1) old states and (0) transitions finished in 0 ms. [APE] *** INFO *** >> state: g25s72[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@1374120615@Naming[0]@[W=4][A=4] [APE] *** INFO *** > rebuilding tree #154 [APE] *** INFO *** Create state g26s73[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16] for GUI tree GUITree[201@154]@g26s73[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16] [APE] *** INFO *** > Readding transitions finished in 0 ms. [APE] *** INFO *** Rebuilding model finished in 0 ms, removed 1 states and 0 state transitions, and rebuild 0 tree transitions. [APE] *** INFO *** Action refinement takes 5 ms. [APE] *** INFO *** Check over-abstracted states g26s73[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16]: #1 [APE] *** INFO *** Checking over-abstracted states takes 405 ms [APE] *** INFO *** Check under-abstracted states g26s73[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16]: #0 [APE] *** INFO *** Check under-abstracted states collected 3 targets for naming Naming[69]. The state is g26s73[-1,0][0]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16]. #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: g24s66[139,153][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@2095467977@Naming[3]@[W=7][A=7] [APE] Action: g24a942[153,153][1]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][11,2211,116,2316][] [APE] Target: g26s73[154,154][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16] [APE] Add target result: true [APE] GSTG(g26): activities (3), states (24), edges (94), unvisited actions (186), visited actions (86) [APE] *** INFO *** - 0.23 11 com.maubis.scarlet.base.MainActivity[1,151][31][S=11] [APE] *** INFO *** - 0.41 11 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,126][308][S=11] [APE] *** INFO *** - 0.13 2 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[139,154][4][S=2] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (2) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 146 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 9 BUFFER_LOSS [APE] 24 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g26a997[-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][22,1642,529,1878][] [APE] 2 g26a998[-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][551,1642,1058,1878][] [APE] 3 g26a999[-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,1002][] [APE] 4 g26a1000[-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,1001][] [APE] 5 g26a1001[-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 g26a1002[-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,1290][] [APE] 7 g26a1003[-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 g26a1004[-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,1289][] [APE] 9 g26a1005[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=9;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1942,383,2210][] [APE] 10 g26a1006[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=10;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,1942,677,2210][] [APE] 11 g26a1007[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=11;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,1942,971,2209][] [APE] 12 g26a1008[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,2316,383,2337][] [APE] 13 g26a1009[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=13;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2316,677,2337][] [APE] 14 g26a1010[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,2316,971,2337][] [APE] 15 g26a1011[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=6;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1310,383,1578][] [APE] 16 g26a1012[-1,0][0]@MODEL_BACKg26s73[154,154][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16][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: g26s73[154,154][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16] [APE] *** INFO *** > - B: g24s66[139,153][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@2095467977@Naming[3]@[W=7][A=7] [APE] *** INFO *** Never move from a cold state (g26s73[154,154][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16]) to a hot state (g24s66[139,153][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@2095467977@Naming[3]@[W=7][A=7]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g26a1010[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;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: g24s66[139,153][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@2095467977@Naming[3]@[W=7][A=7] [APE] Last action: g24a945[152,152][1]@MODEL_CLICKclass=android.view.ViewGroup;index=4;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][615,2211,720,2316][] [APE] Curr state: g24s66[139,153][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@2095467977@Naming[3]@[W=7][A=7] [APE] Curr action: g24a942[153,153][1]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][11,2211,116,2316][] [APE] New state: g26s73[154,154][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-958486584@Naming[69]@[W=16][A=16] [APE] New action: g26a1010[154,154][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][697,2316,971,2337][] [APE] >>>>>>>> SATA end step [154] [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=697,2316,971,2337 target_fp=activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id= action=g26a1010[154,154][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;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)