[APE] >>>>>>>> SATA begin step [1][Elapsed: 0000 00:00:03] [APE] *** INFO *** Explored 1 app activities. [APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB s_glBindAttribLocation: bind attrib 0 name position s_glBindAttribLocation: bind attrib 1 name color s_glBindAttribLocation: bind attrib 2 name localCoord [APE] *** INFO *** Patching this node: android.widget.FrameLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@com.bijoysingh.quicknote:id/title@No Notes [APE] *** INFO *** Patching child node: android.widget.TextView@com.bijoysingh.quicknote:id/description@It seems [APE] *** INFO *** Create state g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] for GUI tree GUITree[0@0]@g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] [APE] *** INFO *** Checking new state: g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 3 ms. [APE] *** INFO *** Patching this node: android.widget.FrameLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@com.bijoysingh.quicknote:id/title@No Notes [APE] *** INFO *** Patching child node: android.widget.TextView@com.bijoysingh.quicknote:id/description@It seems [APE] *** INFO *** Create state g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] for GUI tree GUITree[1@0]@g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 0 ms. [APE] *** INFO *** Patching this node: android.widget.FrameLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@com.bijoysingh.quicknote:id/title@No Notes [APE] *** INFO *** Patching child node: android.widget.TextView@com.bijoysingh.quicknote:id/description@It seems [APE] *** INFO *** Create state g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] for GUI tree GUITree[2@0]@g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Patching this node: android.widget.FrameLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@com.bijoysingh.quicknote:id/title@No Notes [APE] *** INFO *** Patching child node: android.widget.TextView@com.bijoysingh.quicknote:id/description@It seems [APE] *** INFO *** Create state g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] for GUI tree GUITree[3@0]@g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] is excluded from future refresh checks. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6]: #0 [APE] *** INFO *** actionRefinement: Refine name class=android.view.ViewGroup;enabled=true;clickable=true; that has been resolved to 4 nodes [APE] this:Naming[3], 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.view.ViewGroup"][@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(4), new names (4), new states (1), trees(1), state threshold (8) [APE] *** INFO *** - class=android.view.ViewGroup;index=2;enabled=true;clickable=true; [APE] *** INFO *** - class=android.view.ViewGroup;index=4;enabled=true;clickable=true; [APE] *** INFO *** - class=android.view.ViewGroup;index=1;enabled=true;clickable=true; [APE] *** INFO *** - class=android.view.ViewGroup;index=3;enabled=true;clickable=true; [APE] *** INFO *** Update naming for GUITree[3@1]@g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[0], new: Naming[3] [APE] *** INFO *** getNaming for tree GUITree[3@1]@g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6]: Source: Naming[0], Target: null, State: com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6] [APE] *** INFO *** updateNaming: Add - Source: Naming[0], Target: Naming[3], State: com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] [APE] *** INFO *** > Removing (1) old states and (0) transitions finished in 0 ms. [APE] *** INFO *** >> state: g0s0[-1,0][0]com.maubis.scarlet.base.MainActivity@-128188497@Naming[0]@[W=6][A=6] [APE] *** INFO *** > rebuilding tree #1 [APE] *** INFO *** Create state g1s1[-1,0][0]com.maubis.scarlet.base.MainActivity@-479315444@Naming[3]@[W=9][A=9] for GUI tree GUITree[3@1]@g1s1[-1,0][0]com.maubis.scarlet.base.MainActivity@-479315444@Naming[3]@[W=9][A=9] [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 8 ms. [APE] *** INFO *** Check over-abstracted states g1s1[-1,0][0]com.maubis.scarlet.base.MainActivity@-479315444@Naming[3]@[W=9][A=9]: #1 [APE] *** INFO *** Checking over-abstracted states takes 8 ms [APE] *** INFO *** Check under-abstracted states g1s1[-1,0][0]com.maubis.scarlet.base.MainActivity@-479315444@Naming[3]@[W=9][A=9]: #0 [APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[3]. The state is g1s1[-1,0][0]com.maubis.scarlet.base.MainActivity@-479315444@Naming[3]@[W=9][A=9]. #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] *** INFO *** Entry state: g1s1[1,1][1]com.maubis.scarlet.base.MainActivity@-479315444@Naming[3]@[W=9][A=9] [APE] GSTG(g1): activities (1), states (1), edges (0), unvisited actions (9), visited actions (0) [APE] *** INFO *** - 0.00 1 com.maubis.scarlet.base.MainActivity[1,1][1][S=1] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (0) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 0 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 0 BUFFER_LOSS [APE] 0 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g1a6[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/toolbarIconSearch;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][828,105,933,210][] [APE] 2 g1a7[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/toolbarIconSettings;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][933,105,1038,210][] [APE] 3 g1a8[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/title;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][62,285,1018,390][No Notes] [APE] 4 g1a9[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/description;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][62,390,1018,571][It seems] [APE] 5 g1a10[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][22,2211,127,2316][] [APE] 6 g1a11[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][699,2211,804,2316][] [APE] 7 g1a12[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][826,2211,931,2316][] [APE] 8 g1a13[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][953,2211,1058,2316][] [APE] 9 g1a14[-1,0][0]@MODEL_BACKg1s1[1,1][1]com.maubis.scarlet.base.MainActivity@-479315444@Naming[3]@[W=9][A=9][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g1a8[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/title;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][62,285,1018,390][No Notes] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: null [APE] Curr action: null [APE] New state: g1s1[1,1][1]com.maubis.scarlet.base.MainActivity@-479315444@Naming[3]@[W=9][A=9] [APE] New action: g1a8[1,1][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/title;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][62,285,1018,390][No Notes] [APE] >>>>>>>> SATA end step [1] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.widget.TextView|text=No Notes|resource_id=com.bijoysingh.quicknote:id/title|bounds=62,285,1018,390 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.widget.TextView|text=No Notes|resource_id=com.bijoysingh.quicknote:id/title action=g1a8[1,1][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/title;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][62,285,1018,390][No Notes] :Sending Touch (ACTION_DOWN): 0:(540.0,337.5) :Sending Touch (ACTION_UP): 0:(540.0,337.5) // Allowing start of Intent { cmp=com.bijoysingh.quicknote/com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity } in package com.bijoysingh.quicknote