[APE] >>>>>>>> SATA begin step [316][Elapsed: 0000 00:07:40] [APE] *** INFO *** Explored 10 app activities. [APE] *** INFO *** Used: 5 MB, Max: 192 MB, Available: 187 MB [APE] *** INFO *** Create state g7s19[68,74][6]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4] for GUI tree GUITree[459@0]@g7s19[68,74][6]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4] [APE] *** INFO *** State g7s19[68,74][6]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@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 g7s19[68,74][6]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@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] === Adding edge... [APE] Source: g7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] [APE] Action: g7a91[67,315][3]@MODEL_BACKg7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1][P=8][T=200][] [APE] Target: g7s19[68,316][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4] [APE] Add target result: false [APE] GSTG(g16): activities (10), states (43), edges (185), unvisited actions (65), visited actions (177) [APE] *** INFO *** - 0.79 5 org.odk.collect.android.mainmenu.MainMenuActivity[1,297][36][S=5] [APE] *** INFO *** - 0.95 4 org.odk.collect.android.activities.InstanceChooserList[2,213][37][S=4] [APE] *** INFO *** - 1.00 1 com.karumi.dexter.DexterActivity[67,315][3][S=1] [APE] *** INFO *** - 0.69 5 org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity[39,216][32][S=5] [APE] *** INFO *** - 0.83 2 org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,316][9][S=2] [APE] *** INFO *** - 0.69 5 org.odk.collect.android.activities.FormDownloadListActivity[161,234][39][S=5] [APE] *** INFO *** - 0.87 4 org.odk.collect.android.formlists.blankformlist.BlankFormListActivity[126,227][40][S=4] [APE] *** INFO *** - 0.56 12 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,314][147][S=12] [APE] *** INFO *** - 1.00 1 org.odk.collect.android.activities.AboutActivity[290,295][6][S=1] [APE] *** INFO *** - 0.76 4 org.odk.collect.android.activities.DeleteFormsActivity[81,219][46][S=4] [APE] GSTG is NOT updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (1), state (0), activity (0) [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 7 USE_BUFFER [APE] 286 EARLY_STAGE [APE] 22 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 6 BUFFER_LOSS [APE] 100 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g7a92[68,70][2]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][975,83,1080,209][] [APE] 2 g7a93[72,72][1]@MODEL_LONG_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=6][T=0][][S=1.000000][RN=1][975,83,1080,209][] [APE] 3 g7a94[73,73][1]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/menu_item_share;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][848,83,975,209][] [APE] 4 g7a95[74,74][2]@MODEL_BACKg7s19[68,316][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4][P=8][T=0][] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Inconsistent states in action buffer: expected g11s43[199,211][5]org.odk.collect.android.mainmenu.MainMenuActivity@291066004@Naming[0]@[W=4][A=5], get g7s19[68,316][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4] [APE] ################################## [APE] 0 - class=android.widget.Button;resource-id=org.odk.collect.android:id/menu_item_share;enabled=true;clickable=true; [APE] ---------------------------------- [APE] 0 = class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true; [APE] ---------------------------------- [APE] 0 + class=android.widget.Button;resource-id=org.odk.collect.android:id/cancel_button;enabled=true;clickable=true; [APE] 1 + class=android.widget.Button;resource-id=org.odk.collect.android:id/configure_manually_button;enabled=true;clickable=true; [APE] ################################## [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g7s19[68,316][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4] [APE] *** INFO *** > - B: g7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] [APE] *** INFO *** Move from A (g7s19[68,316][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4]) to B (g7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1]). [APE] *** INFO *** A cannot reach B. [APE] *** INFO *** Find a path (1/1) to state g12s47[75,312][3]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@617805291@Naming[21]@[W=5][A=5] for backtrack. [APE] *** INFO *** Fill buffer.. [APE] *** INFO *** 0 g12e142[74,74][6]@[H(1),M(0),T(0.000000)] g7s19 =[g7a95]=> g12s47 [APE] *** INFO *** Select action g7a95[74,74][2]@MODEL_BACKg7s19[68,316][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4][P=8][T=200][] by strategy EARLY_STAGE [APE] Last state: g16s66[311,314][3]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@1983317285@Naming[0]@[W=4][A=5] [APE] Last action: g16a344[314,314][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][133,1258,947,1399][] [APE] Curr state: g7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1] [APE] Curr action: g7a91[67,315][3]@MODEL_BACKg7s18[67,315][3]com.karumi.dexter.DexterActivity@1958113916@Naming[0]@[W=1][A=1][P=8][T=200][] [APE] New state: g7s19[68,316][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4] [APE] New action: g7a95[74,316][3]@MODEL_BACKg7s19[68,316][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@1246740278@Naming[0]@[W=3][A=4][P=8][T=200][] [APE] >>>>>>>> SATA end step [316] // activityResuming(org.odk.collect.android)