[APE] >>>>>>>> SATA begin step [571][Elapsed: 0000 00:15:21] [APE] *** INFO *** Explored 9 app activities. [APE] *** INFO *** Used: 30 MB, Max: 192 MB, Available: 162 MB [APE] *** INFO *** Create state g12s91[565,568][2]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9] for GUI tree GUITree[671@0]@g12s91[565,568][2]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g12s91[565,568][2]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][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: g1s10[6,570][23]it.feio.android.omninotes.MainActivity@1532018462@Naming[19]@[W=10][A=14] [APE] Action: g1a79[26,570][5]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;index=1;enabled=true;clickable=true;[P=52][T=200][][S=1.000000][RN=1][1787,73,1914,199][] [APE] Target: g12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9] [APE] Add target result: false [APE] GSTG(g12): activities (8), states (80), edges (395), unvisited actions (444), visited actions (361) [APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3] [APE] *** INFO *** - 0.62 17 it.feio.android.omninotes.SettingsActivity[44,415][173][S=17] [APE] *** INFO *** - 0.29 1 it.feio.android.omninotes.SnoozeActivity[483,484][2][S=1] [APE] *** INFO *** - 0.36 49 it.feio.android.omninotes.MainActivity[1,571][298][S=49] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.AboutActivity[399,401][2][S=1] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[167,170][2][S=1] [APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.StatsActivity[380,382][2][S=1] [APE] *** INFO *** - 0.64 7 it.feio.android.omninotes.PasswordActivity[104,307][113][S=7] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (2), state (0), activity (5) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 19 USE_BUFFER [APE] 494 EARLY_STAGE [APE] 47 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 30 BUFFER_LOSS [APE] 125 FILL_BUFFER [APE] 0 BAD_STATE [APE] 10 PROBE [APE] 1 g12a883[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,295][ກ້ອງ​ຖ່າ] [APE] 2 g12a884[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,295,1667,422][ວິ​ດີ​ໂ] [APE] 3 g12a885[565,565][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][732,422,1667,549][Files] [APE] 4 g12a886[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,549,1667,676][ບັນທຶກ] [APE] 5 g12a887[568,568][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/sketch;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,676,1667,803][ຂຽນດ້ວຍລ] [APE] 6 g12a888[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,803,1667,911][ສະ​ຖານ​ທ] [APE] 7 g12a889[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] [APE] 8 g12a890[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][] [APE] 9 g12a891[-1,0][0]@MODEL_BACKg12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g12a883[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,295][ກ້ອງ​ຖ່າ] [APE] *** INFO *** - g12a886[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,549,1667,676][ບັນທຶກ] [APE] *** INFO *** Inconsistent states in action buffer: expected g1s12[27,192][6]it.feio.android.omninotes.MainActivity@1205748585@Naming[0]@[W=9][A=9], get g12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9] [APE] ################################## [APE] 0 - class=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true; [APE] ---------------------------------- [APE] 0 = class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true; [APE] 1 = class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true; [APE] 2 = class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true; [APE] 3 = class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true; [APE] 4 = class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/sketch;enabled=true;clickable=true; [APE] 5 = class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true; [APE] ---------------------------------- [APE] 0 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true; [APE] 1 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/pushbullet;enabled=true;clickable=true; [APE] ################################## [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9] [APE] *** INFO *** > - B: g1s10[6,570][23]it.feio.android.omninotes.MainActivity@1532018462@Naming[19]@[W=10][A=14] [APE] *** INFO *** Never move to a saturated dialog state (g1s10[6,570][23]it.feio.android.omninotes.MainActivity@1532018462@Naming[19]@[W=10][A=14]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g12a888[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,803,1667,911][ສະ​ຖານ​ທ] by strategy EARLY_STAGE [APE] Last state: g1s13[32,569][7]it.feio.android.omninotes.MainActivity@-1788546407@Naming[0]@[W=7][A=7] [APE] Last action: g1a104[39,569][2]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][819,63,966,210][#47b2d09b] [APE] Curr state: g1s10[6,570][23]it.feio.android.omninotes.MainActivity@1532018462@Naming[19]@[W=10][A=14] [APE] Curr action: g1a79[26,570][5]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;index=1;enabled=true;clickable=true;[P=52][T=200][][S=1.000000][RN=1][1787,73,1914,199][] [APE] New state: g12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9] [APE] New action: g12a888[571,571][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][732,803,1667,911][ສະ​ຖານ​ທ] [APE] >>>>>>>> SATA end step [571] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=ສະ​ຖານ​ທ|resource_id=it.feio.android.omninotes:id/location|bounds=732,803,1667,911 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=ສະ​ຖານ​ທ|resource_id=it.feio.android.omninotes:id/location action=g12a888[571,571][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][732,803,1667,911][ສະ​ຖານ​ທ] :Sending Touch (ACTION_DOWN): 0:(1199.5,857.0) :Sending Touch (ACTION_UP): 0:(1199.5,857.0) // Allowing start of Intent { cmp=it.feio.android.omninotes/com.tbruyelle.rxpermissions.ShadowActivity } in package it.feio.android.omninotes // Rejecting start of Intent { act=android.content.pm.action.REQUEST_PERMISSIONS pkg=com.google.android.permissioncontroller cmp=com.google.android.permissioncontroller/com.android.permissioncontroller.permission.ui.GrantPermissionsActivity } in package com.google.android.permissioncontroller // activityResuming(it.feio.android.omninotes)