[APE] >>>>>>>> SATA begin step [771][Elapsed: 0000 00:20:41] [APE] *** INFO *** Explored 6 app activities. [APE] *** INFO *** Used: 38 MB, Max: 192 MB, Available: 154 MB [APE] *** INFO *** Create state g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] for GUI tree GUITree[911@0]@g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] [APE] *** INFO *** Check under-abstracted states g21s58[128,740][19]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,740][19]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,740][19]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,740][19]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,740][19]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,770][62]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9] [APE] Action: g20a874[127,770][21]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=4][0,231,540,796][] [APE] Target: g21s58[128,771][20]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] [APE] Add target result: false [APE] GSTG(g46): activities (6), states (65), edges (376), unvisited actions (304), visited actions (310) [APE] *** INFO *** - 0.48 23 com.maubis.scarlet.base.MainActivity[1,771][298][S=23] [APE] *** INFO *** - 0.64 17 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,736][510][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 (1), state (0), activity (34) [APE] Sata Strategy: buffer size (2) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 12 USE_BUFFER [APE] 738 EARLY_STAGE [APE] 17 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 91 BUFFER_LOSS [APE] 201 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[735,735][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=22][T=500][][S=1.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[728,728][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,1022,383,1289][] [APE] 7 g21a886[738,738][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,1022,677,1289][] [APE] 8 g21a887[721,723][2]@MODEL_CLICKclass=android.widget.LinearLayout;index=5;enabled=true;clickable=true;[P=52][T=0][][S=1.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[732,732][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=9;enabled=true;clickable=true;[P=22][T=0][][S=1.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[730,730][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=22][T=0][][S=1.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,740][2]@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[717,717][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,2316,971,2337][] [APE] 18 g21a897[-1,0][0]@MODEL_BACKg21s58[128,771][20]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Peek an action from buffer 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] *** INFO *** Buffer action throttle: original: 500, tracked: 200 [APE] *** INFO *** Select action 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][] by strategy USE_BUFFER [APE] Last state: g44s165[701,769][7]com.maubis.scarlet.base.MainActivity@166201294@Naming[0]@[W=5][A=5] [APE] Last action: g44a2146[769,769][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/set_alarm;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][43,2202,1037,2294][DONE] [APE] Curr state: g20s56[127,770][62]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9] [APE] Curr action: g20a874[127,770][21]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=4][0,231,540,796][] [APE] New state: g21s58[128,771][20]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] [APE] New action: g21a881[705,771][2]@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] >>>>>>>> SATA end step [771] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.widget.FrameLayout|text=|resource_id=com.bijoysingh.quicknote:id/select_notes_layout|bounds=551,1354,1058,1590 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.widget.FrameLayout|text=|resource_id=com.bijoysingh.quicknote:id/select_notes_layout action=g21a881[705,771][2]@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][] :Sending Touch (ACTION_DOWN): 0:(804.5,1472.0) :Sending Touch (ACTION_UP): 0:(804.5,1472.0) // Allowing start of Intent { cmp=com.bijoysingh.quicknote/com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity } in package com.bijoysingh.quicknote