[APE] >>>>>>>> SATA begin step [877][Elapsed: 0000 00:25:26] [APE] *** INFO *** Explored 11 app activities. [APE] *** INFO *** Used: 30 MB, Max: 192 MB, Available: 162 MB [APE] *** INFO *** Create state g28s122[604,876][3]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] for GUI tree GUITree[1032@0]@g28s122[604,876][3]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] [APE] *** INFO *** State g28s122[604,876][3]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g28s122[604,876][3]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][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: g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] [APE] Action: g28a1648[876,876][1]@MODEL_LONG_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=1][143,1173,942,1338][16108366] [APE] Target: g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] [APE] Add target result: true [APE] GSTG(g45): activities (11), states (90), edges (662), unvisited actions (556), visited actions (557) [APE] *** INFO *** - 0.55 4 de.rampro.activitydiary.ui.statistics.StatisticsActivity[38,387][47][S=4] [APE] *** INFO *** - 0.61 8 de.rampro.activitydiary.ui.generic.EditActivity[3,849][289][S=8] [APE] *** INFO *** - 0.48 6 de.rampro.activitydiary.ui.generic.ManageActivity[572,850][44][S=6] [APE] *** INFO *** - 0.33 5 de.rampro.activitydiary.ui.history.HistoryActivity[259,785][63][S=5] [APE] *** INFO *** - 0.34 20 de.rampro.activitydiary.ui.settings.SettingsActivity[609,874][112][S=20] [APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.generic.AboutActivity[245,725][6][S=1] [APE] *** INFO *** - 0.60 1 org.acra.dialog.CrashReportDialog[604,877][4][S=1] [APE] *** INFO *** - 0.86 2 de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity[444,837][9][S=2] [APE] *** INFO *** - 0.77 8 de.rampro.activitydiary.ui.history.HistoryDetailActivity[170,841][206][S=8] [APE] *** INFO *** - 0.53 34 de.rampro.activitydiary.ui.main.MainActivity[1,853][602][S=34] [APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.location.MapActivity[26,824][4][S=1] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (2), activity (2) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 34 USE_BUFFER [APE] 835 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 111 BUFFER_LOSS [APE] 227 FILL_BUFFER [APE] 0 BAD_STATE [APE] 7 PROBE [APE] 1 g28a1645[604,604][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][542,1404,979,1530][Cancel] [APE] 2 g28a1646[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][106,1404,542,1530][OK] [APE] 3 g28a1647[875,875][1]@MODEL_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][143,1173,942,1338][16108366] [APE] 4 g28a1648[876,876][1]@MODEL_LONG_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=26][T=0][][S=1.000000][RN=1][143,1173,942,1338][16108366] [APE] 5 g28a1649[-1,0][0]@MODEL_BACKg28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][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: g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] [APE] *** INFO *** > - B: g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] [APE] *** INFO *** Never move from a cold state (g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]) to a hot state (g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g28a1646[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][106,1404,542,1530][OK] by strategy EARLY_STAGE [APE] Last state: g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] [APE] Last action: g28a1647[875,875][1]@MODEL_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][143,1173,942,1338][16108366] [APE] Curr state: g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] [APE] Curr action: g28a1648[876,876][1]@MODEL_LONG_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=26][T=0][][S=1.000000][RN=1][143,1173,942,1338][16108366] [APE] New state: g28s122[604,877][4]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] [APE] New action: g28a1646[877,877][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][106,1404,542,1530][OK] [APE] >>>>>>>> SATA end step [877] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.acra.dialog.CrashReportDialog|class=android.widget.Button|text=OK|resource_id=android:id/button1|bounds=106,1404,542,1530 target_fp=activity=org.acra.dialog.CrashReportDialog|class=android.widget.Button|text=OK|resource_id=android:id/button1 action=g28a1646[877,877][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][106,1404,542,1530][OK] :Sending Touch (ACTION_DOWN): 0:(324.0,1467.0) :Sending Touch (ACTION_UP): 0:(324.0,1467.0) [APE] *** INFO *** Let's wait for activity loading... :Switch: #Intent;action=android.intent.action.MAIN;category=android.intent.category.LAUNCHER;launchFlags=0x10200000;component=de.rampro.activitydiary/.ui.main.MainActivity;end :Switch with shell: de.rampro.activitydiary/.ui.main.MainActivity // Rejecting start of Intent { act=android.intent.action.SEND_MULTIPLE cmp=com.google.android.gm/.ComposeActivityGmailExternal } in package com.google.android.gm // Allowing start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.LAUNCHER] cmp=de.rampro.activitydiary/.ui.main.MainActivity } in package de.rampro.activitydiary // Rejecting start of Intent { act=android.content.pm.action.REQUEST_PERMISSIONS_FOR_OTHER pkg=com.google.android.permissioncontroller cmp=com.google.android.permissioncontroller/com.android.permissioncontroller.permission.ui.GrantPermissionsActivity } in package com.google.android.permissioncontroller [APE] *** INFO *** Expected activity package [de.rampro.activitydiary] is loaded... [APE] *** INFO *** App Activity de.rampro.activitydiary.ui.main.MainActivity started.