API tools faq
paste
Advertisement
shauvik

jpf-android_run-calculator_noerr

shauvik
Aug 22nd, 2014
177
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 27.45 KB | None | 0 0
raw download clone embed print report
  1. shauvik@airavata:/Volumes/Secondary/Android/androtest/tools/jpf-android/Applications/Calculator$ java -jar /Users/shauvik/projects/jpf-core/build/RunJPF.jar +shell.port=4242 +info src/TestCalculator_NoErr.jpf
  2. [INFO] not a valid source root: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/src/examples
  3. [INFO] not a valid source root: /Users/shauvik/projects/jpf-shell/src/examples
  4. [INFO] watching for autoload annotation @gov.nasa.jpf.Const
  5. [INFO] watching for autoload annotation @gov.nasa.jpf.NonNull
  6. [WARNING] unknown classpath element: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/examples
  7. [WARNING] unknown classpath element: /Users/shauvik/projects/jpf-nhandler/build/jpf-nhandler-classes.jar
  8. [WARNING] unknown classpath element: /Users/shauvik/projects/jpf-shell/build/examples
  9. [INFO] collected system classpath: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/build/classes/release:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/libs/EvalEx-1.0.jar:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/jpf-android-classes.jar:/Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/lib/android.jar:/Users/shauvik/projects/jpf-nhandler/build/examples:/Users/shauvik/projects/jpf-core/build/jpf-classes.jar:/Users/shauvik/projects/jpf-core/build/examples:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/resources.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/rt.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jsse.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jce.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/charsets.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/jfr.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/JObjC.jar
  10. [INFO] VMListener added: gov.nasa.jpf.report.Statistics@6ea4ce0d
  11. [INFO] SearchListener added: gov.nasa.jpf.report.Statistics@6ea4ce0d
  12. [INFO] VMListener added: gov.nasa.jpf.vm.JVMForwarder@bfa8f74
  13. [INFO] SearchListener added: gov.nasa.jpf.vm.JVMForwarder@bfa8f74
  14. [INFO] VMListener added: gov.nasa.jpf.jvm.InjectMainListener@6ee00ed0
  15. [INFO] SearchListener added: gov.nasa.jpf.jvm.InjectMainListener@6ee00ed0
  16. [INFO] VMListener added: gov.nasa.jpf.listener.CoverageAnalyzer@37ecb28e
  17. [INFO] SearchListener added: gov.nasa.jpf.listener.CoverageAnalyzer@37ecb28e
  18. [INFO] added class candidate: com.example.calculator.CalculatorActivity
  19. [INFO] used class: com.example.calculator.CalculatorActivity
  20. [INFO] add method: <init>()V
  21. [INFO] add method: setupGUI()V
  22. [INFO] add method: restoreState()V
  23. [INFO] add method: onClick(Landroid/view/View;)V
  24. [INFO] add method: clearDisplay()V
  25. [INFO] add method: calculate(Ljava/lang/String;)V
  26. [INFO] add method: updateDisplay(Ljava/lang/String;Ljava/lang/String;)V
  27. [INFO] add method: showError(Ljava/lang/Exception;)V
  28. [INFO] add method: startNextActivity()V
  29. [INFO] add method: expressionButtonPressed(Ljava/lang/String;)V
  30. [INFO] add method: getState()Landroid/os/Bundle;
  31. [INFO] main() method injected into class: com.example.calculator.SimpleActivity
  32. [INFO] added class candidate: com.example.calculator.SimpleActivity
  33. [INFO] used class: com.example.calculator.SimpleActivity
  34. [INFO] add method: <init>()V
  35. [INFO] add method: onCreate(Landroid/os/Bundle;)V
  36. [INFO] add method: startNextActivity()V
  37. [INFO] add method: main([Ljava/lang/String;)V
  38. JavaPathfinder v7.0 (rev 1188+) - (C) RIACS/NASA Ames Research Center
  39.  
  40.  
  41. ====================================================== system under test
  42. com.example.calculator.SimpleActivity.main()
  43.  
  44. ====================================================== search started: 8/22/14 7:34 PM
  45. [INFO] ServiceManager: Starting up the Android ServiceManager...0
  46. Project path: /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator
  47. Detected Gradle Project
  48. [INFO] AndroidManifestParser: Manifest parsed successfully
  49. [INFO] PackageManager: Ready!
  50. [INFO] Context: Creating new Context.
  51. [INFO] ActivityManager: Ready!
  52. [INFO] WindowManager: Ready!
  53. [INFO] ConnectivityManager: Ready!
  54. [INFO] Context: sendStickyBroadcast(intent=Intent { act=android.intent.action.BATTERY_CHANGED flg=0x60000000 (has extras) })
  55. [INFO] ActivityManager: Broadcast Intent { act=android.intent.action.BATTERY_CHANGED flg=0x60000000 (has extras) } ordered=false sticky=true permission=null
  56. [INFO] BatteryService: Ready!
  57. [INFO] ActivityThread: Starting up...
  58. [INFO] Looper: Preparing Looper
  59. [INFO] ScriptEnvironment: Ready!
  60. [INFO] SearchListener added: gov.nasa.jpf.util.StateExtensionListener@580ddf89
  61. [INFO] ScriptEnvironment: Running script /Volumes/Secondary/Android/androtest/tools/jpf-android/Applications/Calculator/src/TestCalculator.es
  62. [WARNING] ChecklistManager: Checklist verification not active.
  63. [WARNING] Handler: The following Handler class should be static or leaks might occur: android.app.ActivityThread.H
  64. [INFO] ActivityThread: Ready!
  65. [INFO] Looper: Starting Looper
  66. [INFO] MessageQueue: *************** MSG #: 0 eventID:0 pathID:01
  67. [INFO] ActivityThread: Processing message BIND_APPLICATION
  68. [INFO] Context: Creating new Context.
  69. [INFO] Context: Setting up Context with Resources=android.content.res.Resources@41806
  70. [INFO] JPF_MessageQueue: *************** MSG #:1 eventID:1 pathID:0 action:@startIntent.setComponent("com.example.calculator.SimpleActivity")
  71. [INFO] JPF_MessageQueue: Processing action "setComponent" on "@startIntent" on Window "default"
  72. [INFO] JPF_MessageQueue: *************** MSG #:2 eventID:2 pathID:0 action:startActivity("@startIntent")
  73. [INFO] JPF_MessageQueue: Processing action "startActivity" on "null" on Window "default"
  74. [INFO] ActivityManager: Scheduling launch of Activity "com.example.calculator.SimpleActivity"
  75. [INFO] MessageQueue: *************** MSG #: 3 eventID:2 pathID:01
  76. [INFO] ActivityThread: Processing message LAUNCH_ACTIVITY
  77. TESTINGnull
  78. [INFO] Activity: Constucting Activity com.example.calculator.SimpleActivity
  79. [INFO] ActivityThread: Performing launch of ActivityRecord{no component name}
  80. [INFO] Context: Creating new Context.
  81. [INFO] Context: Setting up Context with Resources=android.content.res.Resources@41806
  82. [INFO] Activity: com.example.calculator.SimpleActivity.attach()
  83. [INFO] Window: Creating new Window for com.example.calculator.SimpleActivity
  84. [INFO] Window: Creating new LayouInflator
  85. [INFO] Context: getSystemService(name=layout_inflater)
  86. [INFO] Activity: com.example.calculator.SimpleActivity.onCreate()
  87. [INFO] Loaded layout file /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/build/res/all/release/layout/simple_activity.xml
  88. [WARNING] LayoutInflator could not find ViewID for: linearlayout_1173304592
  89. [WARNING] LayoutInflator could not find ViewID for: linearlayout_1535430990
  90. [WARNING] LayoutInflator could not find ViewID for: linearlayout_1825146578
  91. [WARNING] LayoutInflator could not find ViewID for: linearlayout_501081440
  92. [WARNING] LayoutInflator could not find ViewID for: linearlayout_1089443422
  93. [WARNING] LayoutInflator could not find ViewID for: linearlayout_549326446
  94. [WARNING] LayoutInflator could not find ViewID for: linearlayout_156476729
  95. [WARNING] LayoutInflator could not find ViewID for: linearlayout_856416098
  96. [INFO] max transition length exceeded, breaking transition on iload 5
  97. [INFO] Activity: com.example.calculator.SimpleActivity.onStart()
  98. [INFO] Activity: com.example.calculator.SimpleActivity.onPostCreate()
  99. [INFO] Activity: com.example.calculator.SimpleActivity.onResume()
  100. [INFO] Activity: com.example.calculator.SimpleActivity.onPostResume()
  101. [INFO] WindowManager: null ----> Window [name=com.example.calculator.SimpleActivity, mTitleView=null, mTitle=null]
  102. [INFO] JPF_MessageQueue: *************** MSG #:4 eventID:3 pathID:0 action:$button1.onClick()
  103. [INFO] JPF_MessageQueue: Processing action "onClick" on "$button1" on Window "com.example.calculator.SimpleActivity"
  104. [INFO] WindowManager: Dispatching to currentWindow [$button1 onClick null]
  105. [INFO] Window: Dispatching $button1.onClick
  106. [INFO] Window: Trying::: button1.null
  107. [INFO] JPF_MessageQueue: *************** MSG #:5 eventID:4 pathID:0 action:$buttonMinus.onClick()
  108. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonMinus" on Window "com.example.calculator.SimpleActivity"
  109. [INFO] WindowManager: Dispatching to currentWindow [$buttonMinus onClick null]
  110. [INFO] Window: Dispatching $buttonMinus.onClick
  111. [INFO] Window: Trying::: buttonMinus.null
  112. [INFO] JPF_MessageQueue: *************** MSG #:6 eventID:5 pathID:0 action:$buttonNext.onClick()
  113. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonNext" on Window "com.example.calculator.SimpleActivity"
  114. [INFO] WindowManager: Dispatching to currentWindow [$buttonNext onClick null]
  115. [INFO] Window: Dispatching $buttonNext.onClick
  116. [INFO] Window: Trying::: buttonNext.null
  117. [INFO] added class candidate: com.example.calculator.ScientificActivity
  118. [INFO] used class: com.example.calculator.ScientificActivity
  119. [INFO] add method: <init>()V
  120. [INFO] add method: onCreate(Landroid/os/Bundle;)V
  121. [INFO] add method: startNextActivity()V
  122. [INFO] Activity: com.example.calculator.SimpleActivity.startActivityForResult(intent=Intent { cmp=com.example.calculator/.ScientificActivity (has extras) } requestCode=-1)
  123. [INFO] Activity: com.example.calculator.SimpleActivity.onPause()
  124. [INFO] ActivityManager: Scheduling launch of Activity "com.example.calculator.ScientificActivity"
  125. [INFO] MessageQueue: *************** MSG #: 7 eventID:5 pathID:01
  126. [INFO] ActivityThread: Processing message LAUNCH_ACTIVITY
  127. TESTINGnull
  128. [INFO] Activity: Constucting Activity com.example.calculator.ScientificActivity
  129. [INFO] ActivityThread: Performing launch of ActivityRecord{no component name}
  130. [INFO] Context: Creating new Context.
  131. [INFO] Context: Setting up Context with Resources=android.content.res.Resources@41806
  132. [INFO] Activity: com.example.calculator.ScientificActivity.attach()
  133. [INFO] Window: Creating new Window for com.example.calculator.ScientificActivity
  134. [INFO] Window: Creating new LayouInflator
  135. [INFO] Context: getSystemService(name=layout_inflater)
  136. [INFO] Activity: com.example.calculator.ScientificActivity.onCreate()
  137. [INFO] Loaded layout file /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/../Applications/Calculator/build/res/all/release/layout/scientific_activity.xml
  138. [WARNING] LayoutInflator could not find ViewID for: linearlayout_874174181
  139. [WARNING] LayoutInflator could not find ViewID for: linearlayout_1309830940
  140. [WARNING] LayoutInflator could not find ViewID for: linearlayout_473743183
  141. [WARNING] LayoutInflator could not find ViewID for: linearlayout_817729083
  142. [WARNING] LayoutInflator could not find ViewID for: linearlayout_1708519117
  143. [WARNING] LayoutInflator could not find ViewID for: linearlayout_871416840
  144. [WARNING] LayoutInflator could not find ViewID for: linearlayout_1345001864
  145. [WARNING] LayoutInflator could not find ViewID for: linearlayout_1719361870
  146. [INFO] max transition length exceeded, breaking transition on aload_2
  147. [INFO] Activity: com.example.calculator.ScientificActivity.onStart()
  148. [INFO] Activity: com.example.calculator.ScientificActivity.onPostCreate()
  149. [INFO] Activity: com.example.calculator.ScientificActivity.onResume()
  150. [INFO] Activity: com.example.calculator.ScientificActivity.onPostResume()
  151. [INFO] WindowManager: Window [name=com.example.calculator.SimpleActivity, mTitleView=null, mTitle=null] ----> Window [name=com.example.calculator.ScientificActivity, mTitleView=null, mTitle=null]
  152. [INFO] MessageQueue: *************** MSG #: 8 eventID:5 pathID:001
  153. [INFO] ActivityThread: Processing message STOP_ACTIVITY_HIDE
  154. [INFO] Activity: com.example.calculator.SimpleActivity.onStop()
  155. [INFO] JPF_MessageQueue: *************** MSG #:9 eventID:6 pathID:0 action:$buttonSin.onClick()
  156. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonSin" on Window "com.example.calculator.ScientificActivity"
  157. [INFO] WindowManager: Dispatching to currentWindow [$buttonSin onClick null]
  158. [INFO] Window: Dispatching $buttonSin.onClick
  159. [INFO] Window: Trying::: buttonSin.null
  160. [INFO] JPF_MessageQueue: *************** MSG #:10 eventID:7 pathID:0 action:$buttonOpenParenthesis.onClick()
  161. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonOpenParenthesis" on Window "com.example.calculator.ScientificActivity"
  162. [INFO] WindowManager: Dispatching to currentWindow [$buttonOpenParenthesis onClick null]
  163. [INFO] Window: Dispatching $buttonOpenParenthesis.onClick
  164. [INFO] Window: Trying::: buttonOpenParenthesis.null
  165. [INFO] JPF_MessageQueue: *************** MSG #:11 eventID:8 pathID:0 action:$buttonPI.onClick()
  166. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonPI" on Window "com.example.calculator.ScientificActivity"
  167. [INFO] WindowManager: Dispatching to currentWindow [$buttonPI onClick null]
  168. [INFO] Window: Dispatching $buttonPI.onClick
  169. [INFO] Window: Trying::: buttonPI.null
  170. [INFO] JPF_MessageQueue: *************** MSG #:12 eventID:9 pathID:0 action:$buttonCloseParenthesis.onClick()
  171. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonCloseParenthesis" on Window "com.example.calculator.ScientificActivity"
  172. [INFO] WindowManager: Dispatching to currentWindow [$buttonCloseParenthesis onClick null]
  173. [INFO] Window: Dispatching $buttonCloseParenthesis.onClick
  174. [INFO] Window: Trying::: buttonCloseParenthesis.null
  175. [INFO] JPF_MessageQueue: *************** MSG #:13 eventID:10 pathID:0 action:$buttonEquals.onClick()
  176. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonEquals" on Window "com.example.calculator.ScientificActivity"
  177. [INFO] WindowManager: Dispatching to currentWindow [$buttonEquals onClick null]
  178. [INFO] Window: Dispatching $buttonEquals.onClick
  179. [INFO] Window: Trying::: buttonEquals.null
  180. [INFO] max transition length exceeded, breaking transition on iload_3
  181. [INFO] max transition length exceeded, breaking transition on iload 10
  182. [INFO] max transition length exceeded, breaking transition on iload 11
  183. [INFO] ScientificActivity: Expression: 1-sin(PI)=0.9451963
  184. [INFO] MessageQueue: Enqueing stop Message. MSG #:14
  185. [INFO] ActivityManager: Scheduling finish of Activity "com.example.calculator.ScientificActivity"
  186. [INFO] ActivityManager: Scheduling finish of Activity "com.example.calculator.SimpleActivity"
  187. [INFO] MessageQueue: *************** MSG #: 14 eventID:10 pathID:01
  188. [INFO] ActivityThread: Processing message PAUSE_ACTIVITY_FINISHING
  189. [INFO] Activity: com.example.calculator.ScientificActivity.onPause()
  190. [INFO] MessageQueue: *************** MSG #: 15 eventID:10 pathID:001
  191. [INFO] ActivityThread: Processing message SHOW_WINDOW
  192. [INFO] Activity: com.example.calculator.SimpleActivity.onRestart()
  193. [INFO] Activity: com.example.calculator.SimpleActivity.onStart()
  194. [INFO] MessageQueue: *************** MSG #: 16 eventID:10 pathID:0001
  195. [INFO] ActivityThread: Processing message RESUME_ACTIVITY
  196. [INFO] Activity: com.example.calculator.SimpleActivity.onResume()
  197. [INFO] Activity: com.example.calculator.SimpleActivity.onPostResume()
  198. [INFO] WindowManager: Window [name=com.example.calculator.ScientificActivity, mTitleView=null, mTitle=null] ----> Window [name=com.example.calculator.SimpleActivity, mTitleView=null, mTitle=null]
  199. [INFO] MessageQueue: *************** MSG #: 17 eventID:10 pathID:00001
  200. [INFO] ActivityThread: Processing message PAUSE_ACTIVITY_FINISHING
  201. [INFO] Activity: com.example.calculator.SimpleActivity.onPause()
  202. [INFO] MessageQueue: *************** MSG #: 18 eventID:10 pathID:000001
  203. [INFO] ActivityThread: Processing message DESTROY_ACTIVITY
  204. [INFO] Activity: com.example.calculator.SimpleActivity.onStop()
  205. [INFO] Activity: com.example.calculator.SimpleActivity.onDestroy()
  206. [INFO] MessageQueue: *************** MSG #: 19 eventID:10 pathID:0000001
  207. [INFO] JPF_MessageQueue: *************** MSG #:9 eventID:11 pathID:0 action:$buttonCos.onClick()
  208. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonCos" on Window "com.example.calculator.ScientificActivity"
  209. [INFO] WindowManager: Dispatching to currentWindow [$buttonCos onClick null]
  210. [INFO] Window: Dispatching $buttonCos.onClick
  211. [INFO] Window: Trying::: buttonCos.null
  212. [INFO] JPF_MessageQueue: *************** MSG #:10 eventID:12 pathID:0 action:$buttonOpenParenthesis.onClick()
  213. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonOpenParenthesis" on Window "com.example.calculator.ScientificActivity"
  214. [INFO] WindowManager: Dispatching to currentWindow [$buttonOpenParenthesis onClick null]
  215. [INFO] Window: Dispatching $buttonOpenParenthesis.onClick
  216. [INFO] Window: Trying::: buttonOpenParenthesis.null
  217. [INFO] JPF_MessageQueue: *************** MSG #:11 eventID:13 pathID:0 action:$buttonPI.onClick()
  218. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonPI" on Window "com.example.calculator.ScientificActivity"
  219. [INFO] WindowManager: Dispatching to currentWindow [$buttonPI onClick null]
  220. [INFO] Window: Dispatching $buttonPI.onClick
  221. [INFO] Window: Trying::: buttonPI.null
  222. [INFO] JPF_MessageQueue: *************** MSG #:12 eventID:14 pathID:0 action:$buttonCloseParenthesis.onClick()
  223. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonCloseParenthesis" on Window "com.example.calculator.ScientificActivity"
  224. [INFO] WindowManager: Dispatching to currentWindow [$buttonCloseParenthesis onClick null]
  225. [INFO] Window: Dispatching $buttonCloseParenthesis.onClick
  226. [INFO] Window: Trying::: buttonCloseParenthesis.null
  227. [INFO] JPF_MessageQueue: *************** MSG #:13 eventID:15 pathID:0 action:$buttonEquals.onClick()
  228. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonEquals" on Window "com.example.calculator.ScientificActivity"
  229. [INFO] WindowManager: Dispatching to currentWindow [$buttonEquals onClick null]
  230. [INFO] Window: Dispatching $buttonEquals.onClick
  231. [INFO] Window: Trying::: buttonEquals.null
  232. [INFO] max transition length exceeded, breaking transition on iload 4
  233. [INFO] max transition length exceeded, breaking transition on iload 11
  234. [INFO] max transition length exceeded, breaking transition on iload 11
  235. [INFO] ScientificActivity: Expression: 1-cos(PI)=0.0015029
  236. [INFO] MessageQueue: Enqueing stop Message. MSG #:14
  237. [INFO] ActivityManager: Scheduling finish of Activity "com.example.calculator.ScientificActivity"
  238. [INFO] ActivityManager: Scheduling finish of Activity "com.example.calculator.SimpleActivity"
  239. [INFO] MessageQueue: *************** MSG #: 14 eventID:15 pathID:01
  240. [INFO] ActivityThread: Processing message PAUSE_ACTIVITY_FINISHING
  241. [INFO] Activity: com.example.calculator.ScientificActivity.onPause()
  242. [INFO] MessageQueue: *************** MSG #: 15 eventID:15 pathID:001
  243. [INFO] ActivityThread: Processing message SHOW_WINDOW
  244. [INFO] Activity: com.example.calculator.SimpleActivity.onRestart()
  245. [INFO] Activity: com.example.calculator.SimpleActivity.onStart()
  246. [INFO] MessageQueue: *************** MSG #: 16 eventID:15 pathID:0001
  247. [INFO] ActivityThread: Processing message RESUME_ACTIVITY
  248. [INFO] Activity: com.example.calculator.SimpleActivity.onResume()
  249. [INFO] Activity: com.example.calculator.SimpleActivity.onPostResume()
  250. [INFO] WindowManager: Window [name=com.example.calculator.ScientificActivity, mTitleView=null, mTitle=null] ----> Window [name=com.example.calculator.SimpleActivity, mTitleView=null, mTitle=null]
  251. [INFO] MessageQueue: *************** MSG #: 17 eventID:15 pathID:00001
  252. [INFO] ActivityThread: Processing message PAUSE_ACTIVITY_FINISHING
  253. [INFO] Activity: com.example.calculator.SimpleActivity.onPause()
  254. [INFO] MessageQueue: *************** MSG #: 18 eventID:15 pathID:000001
  255. [INFO] ActivityThread: Processing message DESTROY_ACTIVITY
  256. [INFO] Activity: com.example.calculator.SimpleActivity.onStop()
  257. [INFO] Activity: com.example.calculator.SimpleActivity.onDestroy()
  258. [INFO] MessageQueue: *************** MSG #: 19 eventID:15 pathID:0000001
  259. [INFO] JPF_MessageQueue: *************** MSG #:9 eventID:16 pathID:0 action:$buttonTan.onClick()
  260. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonTan" on Window "com.example.calculator.ScientificActivity"
  261. [INFO] WindowManager: Dispatching to currentWindow [$buttonTan onClick null]
  262. [INFO] Window: Dispatching $buttonTan.onClick
  263. [INFO] Window: Trying::: buttonTan.null
  264. [INFO] JPF_MessageQueue: *************** MSG #:10 eventID:17 pathID:0 action:$buttonOpenParenthesis.onClick()
  265. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonOpenParenthesis" on Window "com.example.calculator.ScientificActivity"
  266. [INFO] WindowManager: Dispatching to currentWindow [$buttonOpenParenthesis onClick null]
  267. [INFO] Window: Dispatching $buttonOpenParenthesis.onClick
  268. [INFO] Window: Trying::: buttonOpenParenthesis.null
  269. [INFO] JPF_MessageQueue: *************** MSG #:11 eventID:18 pathID:0 action:$buttonPI.onClick()
  270. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonPI" on Window "com.example.calculator.ScientificActivity"
  271. [INFO] WindowManager: Dispatching to currentWindow [$buttonPI onClick null]
  272. [INFO] Window: Dispatching $buttonPI.onClick
  273. [INFO] Window: Trying::: buttonPI.null
  274. [INFO] JPF_MessageQueue: *************** MSG #:12 eventID:19 pathID:0 action:$buttonCloseParenthesis.onClick()
  275. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonCloseParenthesis" on Window "com.example.calculator.ScientificActivity"
  276. [INFO] WindowManager: Dispatching to currentWindow [$buttonCloseParenthesis onClick null]
  277. [INFO] Window: Dispatching $buttonCloseParenthesis.onClick
  278. [INFO] Window: Trying::: buttonCloseParenthesis.null
  279. [INFO] JPF_MessageQueue: *************** MSG #:13 eventID:20 pathID:0 action:$buttonEquals.onClick()
  280. [INFO] JPF_MessageQueue: Processing action "onClick" on "$buttonEquals" on Window "com.example.calculator.ScientificActivity"
  281. [INFO] WindowManager: Dispatching to currentWindow [$buttonEquals onClick null]
  282. [INFO] Window: Dispatching $buttonEquals.onClick
  283. [INFO] Window: Trying::: buttonEquals.null
  284. [INFO] max transition length exceeded, breaking transition on iload 4
  285. [INFO] max transition length exceeded, breaking transition on iload 10
  286. [INFO] max transition length exceeded, breaking transition on iload 10
  287. [INFO] ScientificActivity: Expression: 1-tan(PI)=0.9451138
  288. [INFO] MessageQueue: Enqueing stop Message. MSG #:14
  289. [INFO] ActivityManager: Scheduling finish of Activity "com.example.calculator.ScientificActivity"
  290. [INFO] ActivityManager: Scheduling finish of Activity "com.example.calculator.SimpleActivity"
  291. [INFO] MessageQueue: *************** MSG #: 14 eventID:20 pathID:01
  292. [INFO] ActivityThread: Processing message PAUSE_ACTIVITY_FINISHING
  293. [INFO] Activity: com.example.calculator.ScientificActivity.onPause()
  294. [INFO] MessageQueue: *************** MSG #: 15 eventID:20 pathID:001
  295. [INFO] ActivityThread: Processing message SHOW_WINDOW
  296. [INFO] Activity: com.example.calculator.SimpleActivity.onRestart()
  297. [INFO] Activity: com.example.calculator.SimpleActivity.onStart()
  298. [INFO] MessageQueue: *************** MSG #: 16 eventID:20 pathID:0001
  299. [INFO] ActivityThread: Processing message RESUME_ACTIVITY
  300. [INFO] Activity: com.example.calculator.SimpleActivity.onResume()
  301. [INFO] Activity: com.example.calculator.SimpleActivity.onPostResume()
  302. [INFO] WindowManager: Window [name=com.example.calculator.ScientificActivity, mTitleView=null, mTitle=null] ----> Window [name=com.example.calculator.SimpleActivity, mTitleView=null, mTitle=null]
  303. [INFO] MessageQueue: *************** MSG #: 17 eventID:20 pathID:00001
  304. [INFO] ActivityThread: Processing message PAUSE_ACTIVITY_FINISHING
  305. [INFO] Activity: com.example.calculator.SimpleActivity.onPause()
  306. [INFO] MessageQueue: *************** MSG #: 18 eventID:20 pathID:000001
  307. [INFO] ActivityThread: Processing message DESTROY_ACTIVITY
  308. [INFO] Activity: com.example.calculator.SimpleActivity.onStop()
  309. [INFO] Activity: com.example.calculator.SimpleActivity.onDestroy()
  310. [INFO] MessageQueue: *************** MSG #: 19 eventID:20 pathID:0000001
  311.  
  312. ====================================================== coverage statistics
  313.  
  314. -------------------------------------------- class coverage ------------------------------------------------
  315. bytecode line basic-block branch methods location
  316. ------------------------------------------------------------------------------------------------------------
  317. 0.81 (373/459) 0.73 (52/71) 0.72 (92/127) 0.56 (5/9) 0.73 (8/11) com.example.calculator.CalculatorActivity
  318. 0.00 (0/9) 0.00 (0/3) 0.00 (0/3) - - clearDisplay()
  319. 0.00 (0/29) 0.00 (0/3) 0.00 (0/15) - - showError(Exception)
  320. 0.00 (0/1) 0.00 (0/1) 0.00 (0/1) - - startNextActivity()
  321. 0.65 (53/81) 0.65 (11/17) 0.72 (23/32) 0.50 (2/4) - onClick(View)
  322. 0.72 (23/32) 0.57 (4/7) 0.79 (11/14) 0.00 (0/2) - expressionButtonPressed(String)
  323. 0.80 (41/51) 0.70 (7/10) 0.82 (18/22) - - calculate(String)
  324. 1.00 (11/11) 1.00 (3/3) 1.00 (4/4) - - <init>()
  325. 1.00 (35/35) 1.00 (8/8) 1.00 (11/11) - - getState()
  326. 1.00 (35/35) 1.00 (8/8) 1.00 (13/13) 1.00 (1/1) - restoreState()
  327. 1.00 (166/166) 1.00 (8/8) 1.00 (9/9) 1.00 (2/2) - setupGUI()
  328. 1.00 (9/9) 1.00 (3/3) 1.00 (3/3) - - updateDisplay(String,String)
  329. 0.48 (14/29) 0.60 (6/10) 0.58 (7/12) - 0.67 (2/3) com.example.calculator.ScientificActivity
  330. 0.00 (0/15) 0.00 (0/4) 0.00 (0/5) - - startNextActivity()
  331. 1.00 (3/3) 1.00 (1/1) 1.00 (2/2) - - <init>()
  332. 1.00 (11/11) 1.00 (5/5) 1.00 (5/5) - - onCreate(Bundle)
  333. 0.97 (30/31) 1.00 (10/10) 1.00 (13/13) - 1.00 (4/4) com.example.calculator.SimpleActivity
  334. 0.50 (1/2) - 1.00 (1/1) - - main(String[])
  335. 1.00 (3/3) 1.00 (1/1) 1.00 (2/2) - - <init>()
  336. 1.00 (11/11) 1.00 (5/5) 1.00 (5/5) - - onCreate(Bundle)
  337. 1.00 (15/15) 1.00 (4/4) 1.00 (5/5) - - startNextActivity()
  338.  
  339. ------------------------------------------------------------------------------------------------------------
  340. 0.80 (417/519) 0.75 (68/91) 0.74 (112/152) 0.56 (5/9) 0.78 (14/18) 1.00 (3/3) total
  341.  
  342. ====================================================== results
  343. no errors detected
  344.  
  345. ====================================================== statistics
  346. elapsed time: 00:00:02
  347. states: new=15,visited=0,backtracked=15,end=3
  348. search: maxDepth=7,constraints=0
  349. choice generators: thread=12 (signal=0,lock=1,sharedRef=0,threadApi=0,reschedule=11), data=1
  350. heap: new=10213,released=4839,maxLive=3653,gcCycles=15
  351. instructions: 624895
  352. max memory: 123MB
  353. loaded code: classes=237,methods=4247
  354.  
  355. ====================================================== search finished: 8/22/14 7:34 PM
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!