[APE] >>>>>>>> SATA begin step [298][Elapsed: 0000 00:07:16] [APE] *** INFO *** Explored 4 app activities. [APE] *** INFO *** Used: 12 MB, Max: 192 MB, Available: 180 MB [APE] *** INFO *** Create state g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] for GUI tree GUITree[375@0]@g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] [APE] *** INFO *** Checking new state: g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 251 ms. [APE] *** INFO *** Create state g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] for GUI tree GUITree[376@0]@g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] for GUI tree GUITree[377@0]@g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 16 ms. [APE] *** INFO *** Create state g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] for GUI tree GUITree[378@0]@g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] is excluded from future refresh checks. [APE] *** INFO *** Check under-abstracted states g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3]: #0 [APE] *** INFO *** Check under-abstracted states collected 37 targets for naming Naming[3]. The state is g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3]. #0 [APE] *** INFO *** batchAbstract: refined targets: 5, affected states: 5, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 5 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 5 <= threshold: 8 [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3]: #0 [APE] *** INFO *** Check under-abstracted states collected 37 targets for naming Naming[3]. The state is g37s111[-1,0][0]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3]. #0 [APE] *** INFO *** batchAbstract: refined targets: 5, affected states: 5, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 5 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 5 <= threshold: 8 [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g37s110[297,297][1]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] [APE] Action: g37a1528[297,297][1]@MODEL_CLICKclass=android.view.ViewGroup;index=0;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1594,1080,1764][] [APE] Target: g37s111[298,298][1]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] [APE] Add target result: true [APE] GSTG(g37): activities (4), states (51), edges (220), unvisited actions (470), visited actions (202) [APE] *** INFO *** - 0.36 16 com.maubis.scarlet.base.MainActivity[1,298][65][S=16] [APE] *** INFO *** - 0.51 14 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,278][355][S=14] [APE] *** INFO *** - 0.14 17 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[163,230][55][S=17] [APE] *** INFO *** - 0.26 4 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[139,286][12][S=4] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (4) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 8 USE_BUFFER [APE] 289 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 19 BUFFER_LOSS [APE] 44 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g37a1530[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][746,2126,1027,2253][] [APE] 2 g37a1531[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][53,2142,298,2237][] [APE] 3 g37a1532[-1,0][0]@MODEL_BACKg37s111[298,298][1]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3][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: g37s111[298,298][1]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] [APE] *** INFO *** > - B: g37s110[297,297][1]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] [APE] *** INFO *** Never move from a cold state (g37s111[298,298][1]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3]) to a hot state (g37s110[297,297][1]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Select action g37a1530[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][746,2126,1027,2253][] by strategy EARLY_STAGE [APE] Last state: g36s102[216,296][3]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] [APE] Last action: g36a1451[296,296][1]@MODEL_CLICKclass=android.view.ViewGroup;index=7;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,2231,1080,2337][] [APE] Curr state: g37s110[297,297][1]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] [APE] Curr action: g37a1528[297,297][1]@MODEL_CLICKclass=android.view.ViewGroup;index=0;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1594,1080,1764][] [APE] New state: g37s111[298,298][1]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] [APE] New action: g37a1530[298,298][1]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][746,2126,1027,2253][] [APE] >>>>>>>> SATA end step [298] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id=|bounds=746,2126,1027,2253 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id= action=g37a1530[298,298][1]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][746,2126,1027,2253][] :Sending Touch (ACTION_DOWN): 0:(886.5,2189.5) :Sending Touch (ACTION_UP): 0:(886.5,2189.5)