[APE] >>>>>>>> SATA begin step [736][Elapsed: 0000 00:17:32] [APE] *** INFO *** Explored 8 app activities. [APE] *** INFO *** Used: 11 MB, Max: 192 MB, Available: 181 MB [APE] *** INFO *** Create state g0s0[1,1][1]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4] for GUI tree GUITree[847@0]@g0s0[1,1][1]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4] [APE] *** INFO *** State g0s0[1,1][1]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g0s0[1,1][1]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] *** INFO *** Entry state: g0s0[1,736][2]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4] [APE] GSTG(g13): activities (7), states (90), edges (478), unvisited actions (500), visited actions (442) [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,71][91][S=13] [APE] *** INFO *** - 0.40 8 it.feio.android.omninotes.SnoozeActivity[573,658][49][S=8] [APE] *** INFO *** - 0.48 59 it.feio.android.omninotes.MainActivity[1,736][479][S=59] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[293,293][1][S=1] [APE] *** INFO *** - 0.69 2 it.feio.android.omninotes.intro.IntroActivity[72,689][115][S=2] [APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (0) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 18 USE_BUFFER [APE] 615 EARLY_STAGE [APE] 102 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 42 BUFFER_LOSS [APE] 159 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g0a0[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][74,168,1006,2105][] [APE] 2 g0a1[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ListView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][74,168,1006,2105][] [APE] 3 g0a2[1,1][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][785,2105,974,2231][OK] [APE] 4 g0a3[-1,0][0]@MODEL_BACKg0s0[1,736][2]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g0a0[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][74,168,1006,2105][] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: null [APE] Curr action: null [APE] New state: g0s0[1,736][2]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4] [APE] New action: g0a0[736,736][1]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][][S=0.000000][RN=1][74,168,1006,2105][] [APE] >>>>>>>> SATA end step [736] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_SCROLL_BOTTOM_UP|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ListView|text=|resource_id=|bounds=74,168,1006,2105 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.ListView|text=|resource_id= action=g0a0[736,736][1]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][][S=0.000000][RN=1][74,168,1006,2105][] :Sending Touch (ACTION_DOWN): 0:(540.0,1136.5) [APE] *** INFO *** Let's wait for activity loading... :Switch: #Intent;action=android.intent.action.MAIN;category=android.intent.category.LAUNCHER;launchFlags=0x10200000;component=it.feio.android.omninotes/.MainActivity;end :Switch with shell: it.feio.android.omninotes/.MainActivity // Allowing start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.LAUNCHER] cmp=it.feio.android.omninotes/.MainActivity } in package it.feio.android.omninotes [APE] *** INFO *** Expected activity package [it.feio.android.omninotes] is loaded... [APE] *** INFO *** App Activity it.feio.android.omninotes.MainActivity started.