API tools faq
paste
Advertisement
shauvik

jpf-android_run-calculator

shauvik
Aug 10th, 2014
185
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 13.83 KB | None | 0 0
raw download clone embed print report
  1. airavata:jpf-core shauvik$ java -jar build/RunJPF.jar /Volumes/Secondary/Android/androtest/tools/jpf-android/Examples/Calculator/src/TestCalculator.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-core/src/examples
  4. [INFO] not a valid source root: /Users/shauvik/projects/jpf-shell/src/examples
  5. [INFO] illegal classpath element /Volumes/Secondary/Android/androtest/tools/jpf-android/jpf-android/build/examples
  6. [INFO] illegal classpath element /Users/shauvik/projects/jpf-core/build/examples
  7. [INFO] illegal classpath element /Users/shauvik/projects/jpf-shell/build/examples
  8. [INFO] illegal classpath element /Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/sunrsasign.jar
  9. [INFO] illegal classpath element /Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/classes
  10. [INFO] watching for autoload annotation @gov.nasa.jpf.Const
  11. [INFO] watching for autoload annotation @gov.nasa.jpf.NonNull
  12. [INFO] BFS Search
  13. [INFO] VMListener added: gov.nasa.jpf.report.Statistics@6c7d3bc4
  14. [INFO] SearchListener added: gov.nasa.jpf.report.Statistics@6c7d3bc4
  15. [INFO] VMListener added: gov.nasa.jpf.jvm.InjectMainListener@31b47bff
  16. [INFO] SearchListener added: gov.nasa.jpf.jvm.InjectMainListener@31b47bff
  17. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Object
  18. [INFO] load MJI method: getClass()Ljava/lang/Class;
  19. [INFO] load MJI method: clone()Ljava/lang/Object;
  20. [INFO] load MJI method: hashCode()I
  21. [INFO] load MJI method: registerNatives()V
  22. [INFO] load MJI method: wait()V
  23. [INFO] load MJI method: wait(J)V
  24. [INFO] load MJI method: notify()V
  25. [INFO] load MJI method: notifyAll()V
  26. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Class
  27. [INFO] load MJI method: getEnclosingClass
  28. [INFO] load MJI method: getDeclaredClasses
  29. [INFO] load MJI method: getEnumConstants
  30. [INFO] load MJI method: isArray()Z
  31. [INFO] load MJI method: isInstance(Ljava/lang/Object;)Z
  32. [INFO] load MJI method: isAssignableFrom(Ljava/lang/Class;)Z
  33. [INFO] load MJI method: getComponentType()Ljava/lang/Class;
  34. [INFO] load MJI method: isInterface()Z
  35. [INFO] load MJI method: getAnnotations()[Ljava/lang/annotation/Annotation;
  36. [INFO] load MJI method: getAnnotation(Ljava/lang/Class;)Ljava/lang/annotation/Annotation;
  37. [INFO] load MJI method: getPrimitiveClass(Ljava/lang/String;)Ljava/lang/Class;
  38. [INFO] load MJI method: desiredAssertionStatus()Z
  39. [INFO] load MJI method: forName(Ljava/lang/String;)Ljava/lang/Class;
  40. [INFO] load MJI method: newInstance()Ljava/lang/Object;
  41. [INFO] load MJI method: getSuperclass()Ljava/lang/Class;
  42. [INFO] load MJI method: getClassLoader()Ljava/lang/ClassLoader;
  43. [INFO] load MJI method: getDeclaredMethod(Ljava/lang/String;[Ljava/lang/Class;)Ljava/lang/reflect/Method;
  44. [INFO] load MJI method: getDeclaredConstructor([Ljava/lang/Class;)Ljava/lang/reflect/Constructor;
  45. [INFO] load MJI method: getMethod(Ljava/lang/String;[Ljava/lang/Class;)Ljava/lang/reflect/Method;
  46. [INFO] load MJI method: getMethods()[Ljava/lang/reflect/Method;
  47. [INFO] load MJI method: getDeclaredMethods()[Ljava/lang/reflect/Method;
  48. [INFO] load MJI method: getConstructors()[Ljava/lang/reflect/Constructor;
  49. [INFO] load MJI method: getDeclaredConstructors()[Ljava/lang/reflect/Constructor;
  50. [INFO] load MJI method: getConstructor([Ljava/lang/Class;)Ljava/lang/reflect/Constructor;
  51. [INFO] load MJI method: getDeclaredFields()[Ljava/lang/reflect/Field;
  52. [INFO] load MJI method: getFields()[Ljava/lang/reflect/Field;
  53. [INFO] load MJI method: getDeclaredField(Ljava/lang/String;)Ljava/lang/reflect/Field;
  54. [INFO] load MJI method: getField(Ljava/lang/String;)Ljava/lang/reflect/Field;
  55. [INFO] load MJI method: getModifiers()I
  56. [INFO] load MJI method: getInterfaces()[Ljava/lang/Class;
  57. [INFO] load MJI method: getByteArrayFromResourceStream
  58. [INFO] load MJI method: getCanonicalName()Ljava/lang/String;
  59. [INFO] load MJI method: isAnnotation()Z
  60. [INFO] load MJI method: isAnnotationPresent(Ljava/lang/Class;)Z
  61. [INFO] load MJI method: getDeclaredAnnotations()[Ljava/lang/annotation/Annotation;
  62. [INFO] load MJI method: getEnclosingConstructor()Ljava/lang/reflect/Constructor;
  63. [INFO] load MJI method: getEnclosingMethod()Ljava/lang/reflect/Method;
  64. [INFO] load MJI method: isAnonymousClass()Z
  65. [INFO] load MJI method: isEnum()Z
  66. [INFO] load MJI method: getDeclaringClass()Ljava/lang/Class;
  67. [INFO] load MJI method: isLocalClass()Z
  68. [INFO] load MJI method: isMemberClass()Z
  69. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_ClassLoader
  70. [INFO] load MJI method: init0()V
  71. [INFO] load MJI method: getResourcePath(Ljava/lang/String;)Ljava/lang/String;
  72. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Boolean
  73. [INFO] load MJI method: valueOf(Z)Ljava/lang/Boolean;
  74. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Character
  75. [INFO] load MJI method: isDefined(C)Z
  76. [INFO] load MJI method: isDigit(C)Z
  77. [INFO] load MJI method: isISOControl(C)Z
  78. [INFO] load MJI method: isIdentifierIgnorable(C)Z
  79. [INFO] load MJI method: isJavaIdentifierPart(C)Z
  80. [INFO] load MJI method: isJavaIdentifierStart(C)Z
  81. [INFO] load MJI method: isJavaLetterOrDigit(C)Z
  82. [INFO] load MJI method: isJavaLetter(C)Z
  83. [INFO] load MJI method: isLetterOrDigit(C)Z
  84. [INFO] load MJI method: isLetter(C)Z
  85. [INFO] load MJI method: isLowerCase(C)Z
  86. [INFO] load MJI method: getNumericValue(C)I
  87. [INFO] load MJI method: isSpaceChar(C)Z
  88. [INFO] load MJI method: isSpace(C)Z
  89. [INFO] load MJI method: isTitleCase(C)Z
  90. [INFO] load MJI method: getType(C)I
  91. [INFO] load MJI method: isUnicodeIdentifierPart(C)Z
  92. [INFO] load MJI method: isUnicodeIdentifierStart(C)Z
  93. [INFO] load MJI method: isUpperCase(C)Z
  94. [INFO] load MJI method: isWhitespace(C)Z
  95. [INFO] load MJI method: <clinit>
  96. [INFO] load MJI method: digit(CI)I
  97. [INFO] load MJI method: forDigit(II)C
  98. [INFO] load MJI method: toLowerCase(C)C
  99. [INFO] load MJI method: toTitleCase(C)C
  100. [INFO] load MJI method: toUpperCase(C)C
  101. [INFO] load MJI method: valueOf(C)Ljava/lang/Character;
  102. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Short
  103. [INFO] load MJI method: parseShort(Ljava/lang/String;)S
  104. [INFO] load MJI method: parseShort(Ljava/lang/String;I)S
  105. [INFO] load MJI method: toString(S)Ljava/lang/String;
  106. [INFO] load MJI method: valueOf(S)Ljava/lang/Short;
  107. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Integer
  108. [INFO] load MJI method: parseInt(Ljava/lang/String;I)I
  109. [INFO] load MJI method: parseInt(Ljava/lang/String;)I
  110. [INFO] load MJI method: toBinaryString(I)Ljava/lang/String;
  111. [INFO] load MJI method: toHexString(I)Ljava/lang/String;
  112. [INFO] load MJI method: toOctalString(I)Ljava/lang/String;
  113. [INFO] load MJI method: toString(I)Ljava/lang/String;
  114. [INFO] load MJI method: toString(II)Ljava/lang/String;
  115. [INFO] load MJI method: valueOf(I)Ljava/lang/Integer;
  116. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Long
  117. [INFO] load MJI method: parseLong(Ljava/lang/String;I)J
  118. [INFO] load MJI method: parseLong(Ljava/lang/String;)J
  119. [INFO] load MJI method: toBinaryString(J)Ljava/lang/String;
  120. [INFO] load MJI method: toHexString(J)Ljava/lang/String;
  121. [INFO] load MJI method: toOctalString(J)Ljava/lang/String;
  122. [INFO] load MJI method: toString(J)Ljava/lang/String;
  123. [INFO] load MJI method: toString(JI)Ljava/lang/String;
  124. [INFO] load MJI method: valueOf(J)Ljava/lang/Long;
  125. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Float
  126. [INFO] load MJI method: floatToIntBits(F)I
  127. [INFO] load MJI method: floatToRawIntBits(F)I
  128. [INFO] load MJI method: intBitsToFloat(I)F
  129. [INFO] load MJI method: isInfinite(F)Z
  130. [INFO] load MJI method: isNaN(F)Z
  131. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Double
  132. [INFO] load MJI method: isInfinite(D)Z
  133. [INFO] load MJI method: doubleToLongBits(D)J
  134. [INFO] load MJI method: doubleToRawLongBits(D)J
  135. [INFO] load MJI method: longBitsToDouble(J)D
  136. [INFO] load MJI method: toString(D)Ljava/lang/String;
  137. [INFO] load MJI method: isNaN(D)Z
  138. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_String
  139. [INFO] load MJI method: hashCode()I
  140. [INFO] load MJI method: init([CII)Ljava/lang/String;
  141. [INFO] load MJI method: init([III)Ljava/lang/String;
  142. [INFO] load MJI method: init([BIII)Ljava/lang/String;
  143. [INFO] load MJI method: init([BIILjava/lang/String;)Ljava/lang/String;
  144. [INFO] load MJI method: init([BII)Ljava/lang/String;
  145. [INFO] load MJI method: codePointAt(I)I
  146. [INFO] load MJI method: codePointBefore(I)I
  147. [INFO] load MJI method: codePointCount(II)I
  148. [INFO] load MJI method: offsetByCodePoints(II)I
  149. [INFO] load MJI method: getChars(II[CI)V
  150. [INFO] load MJI method: getBytes(II[BI)V
  151. [INFO] load MJI method: getBytes(Ljava/lang/String;)[B
  152. [INFO] load MJI method: getBytes()[B
  153. [INFO] load MJI method: equals0([C[CI)Z
  154. [INFO] load MJI method: equalsIgnoreCase(Ljava/lang/String;)Z
  155. [INFO] load MJI method: compareTo(Ljava/lang/String;)I
  156. [INFO] load MJI method: MJIcompare(Ljava/lang/String;Ljava/lang/String;)I
  157. [INFO] load MJI method: regionMatches(ILjava/lang/String;II)Z
  158. [INFO] load MJI method: regionMatches(ZILjava/lang/String;II)Z
  159. [INFO] load MJI method: startsWith(Ljava/lang/String;I)Z
  160. [INFO] load MJI method: startsWith(Ljava/lang/String;)Z
  161. [INFO] load MJI method: indexOf(I)I
  162. [INFO] load MJI method: indexOf(II)I
  163. [INFO] load MJI method: lastIndexOf(I)I
  164. [INFO] load MJI method: lastIndexOf(II)I
  165. [INFO] load MJI method: indexOf(Ljava/lang/String;)I
  166. [INFO] load MJI method: indexOf(Ljava/lang/String;I)I
  167. [INFO] load MJI method: lastIndexOf(Ljava/lang/String;I)I
  168. [INFO] load MJI method: substring(I)Ljava/lang/String;
  169. [INFO] load MJI method: substring(II)Ljava/lang/String;
  170. [INFO] load MJI method: concat(Ljava/lang/String;)Ljava/lang/String;
  171. [INFO] load MJI method: replace(CC)Ljava/lang/String;
  172. [INFO] load MJI method: matches(Ljava/lang/String;)Z
  173. [INFO] load MJI method: replaceFirst(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
  174. [INFO] load MJI method: replaceAll(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
  175. [INFO] load MJI method: split(Ljava/lang/String;I)[Ljava/lang/String;
  176. [INFO] load MJI method: split(Ljava/lang/String;)[Ljava/lang/String;
  177. [INFO] load MJI method: toLowerCase(Ljava/util/Locale;)Ljava/lang/String;
  178. [INFO] load MJI method: toLowerCase()Ljava/lang/String;
  179. [INFO] load MJI method: toUpperCase(Ljava/util/Locale;)Ljava/lang/String;
  180. [INFO] load MJI method: toUpperCase()Ljava/lang/String;
  181. [INFO] load MJI method: trim()Ljava/lang/String;
  182. [INFO] load MJI method: toCharArray()[C
  183. [INFO] load MJI method: format(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
  184. [INFO] load MJI method: format(Ljava/util/Locale;Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
  185. [INFO] load MJI method: intern()Ljava/lang/String;
  186. [INFO] load MJI method: valueOf(I)Ljava/lang/String;
  187. [INFO] load MJI method: valueOf(J)Ljava/lang/String;
  188. [INFO] load MJI method: valueOf(F)Ljava/lang/String;
  189. [INFO] load MJI method: valueOf(D)Ljava/lang/String;
  190. [INFO] load MJI method: equals(Ljava/lang/Object;)Z
  191. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_Thread
  192. [INFO] load MJI method: isAlive()Z
  193. [INFO] load MJI method: init0(Ljava/lang/ThreadGroup;Ljava/lang/Runnable;Ljava/lang/String;J)V
  194. [INFO] load MJI method: setDaemon0(Z)V
  195. [INFO] load MJI method: dumpStack()V
  196. [INFO] load MJI method: setName0(Ljava/lang/String;)V
  197. [INFO] load MJI method: setPriority0(I)V
  198. [INFO] load MJI method: countStackFrames()I
  199. [INFO] load MJI method: currentThread()Ljava/lang/Thread;
  200. [INFO] load MJI method: holdsLock(Ljava/lang/Object;)Z
  201. [INFO] load MJI method: interrupt()V
  202. [INFO] load MJI method: isInterrupted()Z
  203. [INFO] load MJI method: interrupted()Z
  204. [INFO] load MJI method: start()V
  205. [INFO] load MJI method: yield()V
  206. [INFO] load MJI method: sleep(JI)V
  207. [INFO] load MJI method: suspend()V
  208. [INFO] load MJI method: resume()V
  209. [INFO] load MJI method: join()V
  210. [INFO] load MJI method: join(J)V
  211. [INFO] load MJI method: join(JI)V
  212. [INFO] load MJI method: getState0()I
  213. [INFO] load MJI method: stop()V
  214. [INFO] load MJI method: stop(Ljava/lang/Throwable;)V
  215. [INFO] load peer: gov.nasa.jpf.jvm.JPF_java_lang_System
  216. [INFO] load MJI method: arraycopy(Ljava/lang/Object;ILjava/lang/Object;II)V
  217. [INFO] load MJI method: getenv(Ljava/lang/String;)Ljava/lang/String;
  218. [INFO] load MJI method: createSystemOut()Ljava/io/PrintStream;
  219. [INFO] load MJI method: createSystemErr()Ljava/io/PrintStream;
  220. [INFO] load MJI method: getKeyValuePairs()[Ljava/lang/String;
  221. [INFO] load MJI method: currentTimeMillis()J
  222. [INFO] load MJI method: nanoTime()J
  223. [INFO] load MJI method: exit(I)V
  224. [INFO] load MJI method: gc()V
  225. [INFO] load MJI method: identityHashCode(Ljava/lang/Object;)I
  226. [SEVERE] JPF exception, terminating: no main() method in com.example.calculator.SimpleActivity
  227. ---------------------- JPF error stack trace ---------------------
  228. gov.nasa.jpf.JPFException: no main() method in com.example.calculator.SimpleActivity
  229. at gov.nasa.jpf.jvm.JVM.pushMainEntry(JVM.java:585)
  230. at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:325)
  231. at gov.nasa.jpf.JPF.run(JPF.java:616)
  232. at gov.nasa.jpf.JPF.start(JPF.java:190)
  233. at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  234. at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
  235. at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  236. at java.lang.reflect.Method.invoke(Method.java:606)
  237. at gov.nasa.jpf.tool.Run.call(Run.java:76)
  238. at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)
  239. ---------------------- JPF error stack trace ---------------------
  240. gov.nasa.jpf.JPFException: no main() method in com.example.calculator.SimpleActivity
  241. at gov.nasa.jpf.jvm.JVM.pushMainEntry(JVM.java:585)
  242. at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:325)
  243. at gov.nasa.jpf.JPF.run(JPF.java:616)
  244. at gov.nasa.jpf.JPF.start(JPF.java:190)
  245. at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  246. at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
  247. at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  248. at java.lang.reflect.Method.invoke(Method.java:606)
  249. at gov.nasa.jpf.tool.Run.call(Run.java:76)
  250. at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)
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!