[APE] >>>>>>>> SATA begin step [165][Elapsed: 0000 00:04:04] [APE] *** INFO *** Explored 5 app activities. [APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB [APE] *** INFO *** Create state g10s52[164,164][1]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] for GUI tree GUITree[243@0]@g10s52[164,164][1]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g10s52[164,164][1]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9]: #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: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] [APE] Action: g10a388[164,164][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=it.feio.android.omninotes:id/pm_label;enabled=true;clickable=true;checkable=true;[P=52][T=0][][S=1.000000][RN=1][763,807,827,875][PM] [APE] Target: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] [APE] Add target result: true [APE] GSTG(g10): activities (4), states (43), edges (131), unvisited actions (183), visited actions (130) [APE] *** INFO *** - 0.37 5 it.feio.android.omninotes.CategoryActivity[14,149][13][S=5] [APE] *** INFO *** - 0.50 13 it.feio.android.omninotes.SettingsActivity[44,159][90][S=13] [APE] *** INFO *** - 0.32 15 it.feio.android.omninotes.MainActivity[1,165][54][S=15] [APE] *** INFO *** - 0.46 10 it.feio.android.omninotes.intro.IntroActivity[72,103][61][S=10] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (5) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 141 EARLY_STAGE [APE] 23 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 2 BUFFER_LOSS [APE] 27 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g10a382[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/buttonSwitcher;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][194,1578,484,1704][NOV 7, 2] [APE] 2 g10a383[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/buttonNegative;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][494,1578,718,1704][CANCEL] [APE] 3 g10a384[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/buttonPositive;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][718,1578,886,1704][OK] [APE] 4 g10a385[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/hours;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][338,696,516,906][1] [APE] 5 g10a386[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/minutes;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][564,696,742,906][44] [APE] 6 g10a387[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=it.feio.android.omninotes:id/am_label;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][763,739,828,807][AM] [APE] 7 g10a388[164,164][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=it.feio.android.omninotes:id/pm_label;enabled=true;clickable=true;checkable=true;[P=42][T=0][][S=1.000000][RN=1][763,807,827,875][PM] [APE] 8 g10a389[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/ivRecurrenceOptionsTP;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][781,680,876,775][] [APE] 9 g10a390[-1,0][0]@MODEL_BACKg10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9][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: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] [APE] *** INFO *** > - B: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] [APE] *** INFO *** Never move from a cold state (g10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9]) to a hot state (g10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g10a385[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/hours;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][338,696,516,906][1] by strategy EARLY_STAGE [APE] Last state: g10s51[161,163][2]it.feio.android.omninotes.MainActivity@-1608741235@Naming[0]@[W=10][A=15] [APE] Last action: g10a377[163,163][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][42,460,1038,565][] [APE] Curr state: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] [APE] Curr action: g10a388[164,164][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=it.feio.android.omninotes:id/pm_label;enabled=true;clickable=true;checkable=true;[P=42][T=0][][S=1.000000][RN=1][763,807,827,875][PM] [APE] New state: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9] [APE] New action: g10a385[165,165][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/hours;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][338,696,516,906][1] [APE] >>>>>>>> SATA end step [165] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=1|resource_id=it.feio.android.omninotes:id/hours|bounds=338,696,516,906 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=1|resource_id=it.feio.android.omninotes:id/hours action=g10a385[165,165][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/hours;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][338,696,516,906][1] :Sending Touch (ACTION_DOWN): 0:(427.0,801.0) :Sending Touch (ACTION_UP): 0:(427.0,801.0)