[APE] >>>>>>>> SATA begin step [1598][Elapsed: 0000 00:58:13] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 33 MB, Max: 192 MB, Available: 159 MB [APE] *** INFO *** Create state g71s241[1578,1597][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] for GUI tree GUITree[1774@0]@g71s241[1578,1597][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] *** INFO *** State g71s241[1578,1597][4]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,1597][4]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: g71s241[1578,1598][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] Action: g71a3039[1597,1597][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_date;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][43,1974,1037,2138][] [APE] Target: g71s241[1578,1598][5]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 (80), edges (676), unvisited actions (306), visited actions (537) [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.63 14 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[562,1598][123][S=14] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (22) [APE] Sata Strategy: buffer size (0) [APE] 25 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 114 USE_BUFFER [APE] 1057 EARLY_STAGE [APE] 385 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 153 BUFFER_LOSS [APE] 388 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[1590,1593][2]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][43,1810,1037,1974][] [APE] 3 g71a3039[1597,1597][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_date;enabled=true;clickable=true;[P=42][T=0][][S=1.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,1598][5]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,1598][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] *** INFO *** > - B: g71s241[1578,1598][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] *** INFO *** Never move from a cold state (g71s241[1578,1598][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]) to a hot state (g71s241[1578,1598][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action 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] by strategy EARLY_STAGE [APE] Last state: g71s242[1591,1596][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-400269015@Naming[0]@[W=8][A=8] [APE] Last action: g71a3046[1596,1596][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][718,1575,886,1717][OK] [APE] Curr state: g71s241[1578,1598][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] Curr action: g71a3039[1597,1597][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_date;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][43,1974,1037,2138][] [APE] New state: g71s241[1578,1598][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] [APE] New action: g71a3040[1598,1598][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] >>>>>>>> SATA end step [1598] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.TextView|text=DONE|resource_id=com.bijoysingh.quicknote:id/set_alarm|bounds=43,2202,1037,2294 target_fp=activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.TextView|text=DONE|resource_id=com.bijoysingh.quicknote:id/set_alarm action=g71a3040[1598,1598][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] :Sending Touch (ACTION_DOWN): 0:(540.0,2248.0) :Sending Touch (ACTION_UP): 0:(540.0,2248.0)