[APE] >>>>>>>> SATA begin step [1590][Elapsed: 0000 00:58:06] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 52 MB, Max: 192 MB, Available: 140 MB [APE] *** INFO *** Create state g71s241[1578,1578][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] for GUI tree GUITree[1766@0]@g71s241[1578,1578][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] *** INFO *** State g71s241[1578,1578][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g71s241[1578,1578][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3] [APE] Action: g62a2551[1589,1589][1]@MODEL_BACKg62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3][P=13][T=200][] [APE] Target: g71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] Add target result: true [APE] GSTG(g71): activities (5), states (79), edges (669), unvisited actions (305), visited actions (530) [APE] *** INFO *** - 0.59 28 com.maubis.scarlet.base.MainActivity[1,1575][739][S=28] [APE] *** INFO *** - 0.69 14 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,1574][769][S=14] [APE] *** INFO *** - 0.63 13 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[161,1542][732][S=13] [APE] *** INFO *** - 0.67 11 com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity[518,1153][117][S=11] [APE] *** INFO *** - 0.62 13 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[562,1590][115][S=13] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (14) [APE] Sata Strategy: buffer size (0) [APE] 25 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 114 USE_BUFFER [APE] 1049 EARLY_STAGE [APE] 385 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 153 BUFFER_LOSS [APE] 387 FILL_BUFFER [APE] 0 BAD_STATE [APE] 16 PROBE [APE] 1 g71a3037[1578,1578][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_repeat;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][43,1646,1037,1810][] [APE] 2 g71a3038[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][43,1810,1037,1974][] [APE] 3 g71a3039[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_date;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][43,1974,1037,2138][] [APE] 4 g71a3040[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/set_alarm;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][43,2202,1037,2294][DONE] [APE] 5 g71a3041[-1,0][0]@MODEL_BACKg71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5][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: g71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] *** INFO *** > - B: g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3] [APE] *** INFO *** Never move from a cold state (g71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]) to a hot state (g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g71a3038[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][43,1810,1037,1974][] by strategy EARLY_STAGE [APE] Last state: g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3] [APE] Last action: g62a2549[782,1588][7]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=500][][S=1.000000][RN=1][0,2136,1080,2274][] [APE] Curr state: g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3] [APE] Curr action: g62a2551[1589,1589][1]@MODEL_BACKg62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3][P=13][T=200][] [APE] New state: g71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] New action: g71a3038[1590,1590][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][43,1810,1037,1974][] [APE] >>>>>>>> SATA end step [1590] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id=com.bijoysingh.quicknote:id/reminder_time|bounds=43,1810,1037,1974 target_fp=activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id=com.bijoysingh.quicknote:id/reminder_time action=g71a3038[1590,1590][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][43,1810,1037,1974][] :Sending Touch (ACTION_DOWN): 0:(540.0,1892.0) :Sending Touch (ACTION_UP): 0:(540.0,1892.0)