API tools faq
paste
shauvik

jpf-core_from_heila

shauvik
Aug 15th, 2014
297
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 34.80 KB | None | 0 0
raw download clone embed print report
  1. shauvik@airavata:~/projects/jpf-core$ ant clean
  2. Buildfile: /Users/shauvik/projects/jpf-core/build.xml
  3.  
  4. clean:
  5. [delete] Deleting directory /Users/shauvik/projects/jpf-core/build
  6.  
  7. BUILD SUCCESSFUL
  8. Total time: 2 seconds
  9. shauvik@airavata:~/projects/jpf-core$ ant test
  10. Buildfile: /Users/shauvik/projects/jpf-core/build.xml
  11.  
  12. -cond-clean:
  13.  
  14. clean:
  15.  
  16. -init:
  17. [mkdir] Created dir: /Users/shauvik/projects/jpf-core/build
  18.  
  19. -compile-annotations:
  20. [mkdir] Created dir: /Users/shauvik/projects/jpf-core/build/annotations
  21. [javac] Compiling 7 source files to /Users/shauvik/projects/jpf-core/build/annotations
  22.  
  23. -compile-main:
  24. [mkdir] Created dir: /Users/shauvik/projects/jpf-core/build/main
  25. [javac] Compiling 676 source files to /Users/shauvik/projects/jpf-core/build/main
  26. [javac] /Users/shauvik/projects/jpf-core/src/main/gov/nasa/jpf/vm/HashedAllocationContext.java:22: warning: SharedSecrets is internal proprietary API and may be removed in a future release
  27. [javac] import sun.misc.SharedSecrets;
  28. [javac] ^
  29. [javac] /Users/shauvik/projects/jpf-core/src/main/gov/nasa/jpf/vm/HashedAllocationContext.java:23: warning: JavaLangAccess is internal proprietary API and may be removed in a future release
  30. [javac] import sun.misc.JavaLangAccess;
  31. [javac] ^
  32. [javac] /Users/shauvik/projects/jpf-core/src/main/gov/nasa/jpf/vm/HashedAllocationContext.java:89: warning: JavaLangAccess is internal proprietary API and may be removed in a future release
  33. [javac] static final JavaLangAccess JLA = SharedSecrets.getJavaLangAccess();
  34. [javac] ^
  35. [javac] /Users/shauvik/projects/jpf-core/src/main/gov/nasa/jpf/vm/HashedAllocationContext.java:89: warning: SharedSecrets is internal proprietary API and may be removed in a future release
  36. [javac] static final JavaLangAccess JLA = SharedSecrets.getJavaLangAccess();
  37. [javac] ^
  38. [javac] Note: Some input files use unchecked or unsafe operations.
  39. [javac] Note: Recompile with -Xlint:unchecked for details.
  40. [javac] 4 warnings
  41.  
  42. -compile-peers:
  43. [mkdir] Created dir: /Users/shauvik/projects/jpf-core/build/peers
  44. [javac] Compiling 77 source files to /Users/shauvik/projects/jpf-core/build/peers
  45. [javac] Note: Some input files use internal proprietary API that may be removed in a future release.
  46. [javac] Note: Recompile with -Xlint:sunapi for details.
  47.  
  48. -compile-classes:
  49. [mkdir] Created dir: /Users/shauvik/projects/jpf-core/build/classes
  50. [javac] Compiling 81 source files to /Users/shauvik/projects/jpf-core/build/classes
  51. [javac] Note: Some input files use internal proprietary API that may be removed in a future release.
  52. [javac] Note: Recompile with -Xlint:sunapi for details.
  53. [javac] Creating empty /Users/shauvik/projects/jpf-core/build/classes/java/nio/package-info.class
  54.  
  55. -compile-tests:
  56. [mkdir] Created dir: /Users/shauvik/projects/jpf-core/build/tests
  57. [javac] Compiling 172 source files to /Users/shauvik/projects/jpf-core/build/tests
  58. [javac] /Users/shauvik/projects/jpf-core/src/tests/gov/nasa/jpf/test/vm/reflection/ReflectionTest.java:35: warning: [deprecation] getCallerClass(int) in Reflection has been deprecated
  59. [javac] Class<?> callerCls = sun.reflect.Reflection.getCallerClass(0); // that would be getCallerClass()
  60. [javac] ^
  61. [javac] /Users/shauvik/projects/jpf-core/src/tests/gov/nasa/jpf/test/vm/reflection/ReflectionTest.java:39: warning: [deprecation] getCallerClass(int) in Reflection has been deprecated
  62. [javac] callerCls = sun.reflect.Reflection.getCallerClass(1); // foo()
  63. [javac] ^
  64. [javac] /Users/shauvik/projects/jpf-core/src/tests/gov/nasa/jpf/test/vm/reflection/ReflectionTest.java:43: warning: [deprecation] getCallerClass(int) in Reflection has been deprecated
  65. [javac] callerCls = sun.reflect.Reflection.getCallerClass(2); // bar()
  66. [javac] ^
  67. [javac] /Users/shauvik/projects/jpf-core/src/tests/gov/nasa/jpf/test/vm/reflection/ReflectionTest.java:47: warning: [deprecation] getCallerClass(int) in Reflection has been deprecated
  68. [javac] callerCls = sun.reflect.Reflection.getCallerClass(3); // callIt()
  69. [javac] ^
  70. [javac] Note: Some input files use unchecked or unsafe operations.
  71. [javac] Note: Recompile with -Xlint:unchecked for details.
  72. [javac] Note: /Users/shauvik/projects/jpf-core/src/tests/gov/nasa/jpf/test/vm/reflection/ReflectionTest.java uses internal proprietary API that may be removed in a future release.
  73. [javac] Note: Recompile with -Xlint:sunapi for details.
  74. [javac] 4 warnings
  75.  
  76. -compile-examples:
  77. [mkdir] Created dir: /Users/shauvik/projects/jpf-core/build/examples
  78. [javac] Compiling 11 source files to /Users/shauvik/projects/jpf-core/build/examples
  79.  
  80. compile:
  81. [copy] Copying 1 file to /Users/shauvik/projects/jpf-core/build/main/gov/nasa/jpf
  82.  
  83. -version:
  84.  
  85. build:
  86. [copy] Copying 1 file to /Users/shauvik/projects/jpf-core/build/main/gov/nasa/jpf
  87. [jar] Building jar: /Users/shauvik/projects/jpf-core/build/jpf-classes.jar
  88. [jar] Building jar: /Users/shauvik/projects/jpf-core/build/jpf.jar
  89. [jar] Building jar: /Users/shauvik/projects/jpf-core/build/jpf-annotations.jar
  90. [jar] Building jar: /Users/shauvik/projects/jpf-core/build/classloader_specific_tests.jar
  91. [jar] Building jar: /Users/shauvik/projects/jpf-core/build/RunJPF.jar
  92. [jar] Building jar: /Users/shauvik/projects/jpf-core/build/RunTest.jar
  93.  
  94. test:
  95. [junit] Running TypeNameTest
  96. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.276 sec
  97. [junit] Test TypeNameTest FAILED
  98. [junit] Running gov.nasa.jpf.ConfigTest
  99. [junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.077 sec
  100. [junit] Running gov.nasa.jpf.jvm.ClassInfoTest
  101. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.144 sec
  102. [junit] Running gov.nasa.jpf.jvm.JVMStackFrameTest
  103. [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.029 sec
  104. [junit] Running gov.nasa.jpf.jvm.MethodInfoTest
  105. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.14 sec
  106. [junit] Running gov.nasa.jpf.test.basic.HarnessTest
  107. [junit] Tests run: 6, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 0.334 sec
  108. [junit] Test gov.nasa.jpf.test.basic.HarnessTest FAILED
  109. [junit] Running gov.nasa.jpf.test.basic.InstructionFactoryTest
  110. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.258 sec
  111. [junit] Test gov.nasa.jpf.test.basic.InstructionFactoryTest FAILED
  112. [junit] Running gov.nasa.jpf.test.basic.ListenerTest
  113. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.262 sec
  114. [junit] Test gov.nasa.jpf.test.basic.ListenerTest FAILED
  115. [junit] Running gov.nasa.jpf.test.basic.MJITest
  116. [junit] Tests run: 12, Failures: 12, Errors: 0, Skipped: 0, Time elapsed: 0.428 sec
  117. [junit] Test gov.nasa.jpf.test.basic.MJITest FAILED
  118. [junit] Running gov.nasa.jpf.test.basic.TestJPFMainTest
  119. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.264 sec
  120. [junit] Test gov.nasa.jpf.test.basic.TestJPFMainTest FAILED
  121. [junit] Running gov.nasa.jpf.test.basic.TestJPFNoMainTest
  122. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.262 sec
  123. [junit] Test gov.nasa.jpf.test.basic.TestJPFNoMainTest FAILED
  124. [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicIntegerFieldUpdaterTest
  125. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.261 sec
  126. [junit] Test gov.nasa.jpf.test.java.concurrent.AtomicIntegerFieldUpdaterTest FAILED
  127. [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicLongFieldUpdaterTest
  128. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.277 sec
  129. [junit] Test gov.nasa.jpf.test.java.concurrent.AtomicLongFieldUpdaterTest FAILED
  130. [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicReferenceFieldUpdaterTest
  131. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.276 sec
  132. [junit] Test gov.nasa.jpf.test.java.concurrent.AtomicReferenceFieldUpdaterTest FAILED
  133. [junit] Running gov.nasa.jpf.test.java.concurrent.CountDownLatchTest
  134. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.26 sec
  135. [junit] Test gov.nasa.jpf.test.java.concurrent.CountDownLatchTest FAILED
  136. [junit] Running gov.nasa.jpf.test.java.concurrent.ExecutorServiceTest
  137. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.256 sec
  138. [junit] Test gov.nasa.jpf.test.java.concurrent.ExecutorServiceTest FAILED
  139. [junit] Running gov.nasa.jpf.test.java.concurrent.SemaphoreTest
  140. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.253 sec
  141. [junit] Test gov.nasa.jpf.test.java.concurrent.SemaphoreTest FAILED
  142. [junit] Running gov.nasa.jpf.test.java.io.BufferedInputStreamTest
  143. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.252 sec
  144. [junit] Test gov.nasa.jpf.test.java.io.BufferedInputStreamTest FAILED
  145. [junit] Running gov.nasa.jpf.test.java.io.FileIOStreamTest
  146. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.274 sec
  147. [junit] Test gov.nasa.jpf.test.java.io.FileIOStreamTest FAILED
  148. [junit] Running gov.nasa.jpf.test.java.io.FileIOTest
  149. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.26 sec
  150. [junit] Test gov.nasa.jpf.test.java.io.FileIOTest FAILED
  151. [junit] Running gov.nasa.jpf.test.java.io.FileTest
  152. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.289 sec
  153. [junit] Test gov.nasa.jpf.test.java.io.FileTest FAILED
  154. [junit] Running gov.nasa.jpf.test.java.io.ObjectStreamTest
  155. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.285 sec
  156. [junit] Test gov.nasa.jpf.test.java.io.ObjectStreamTest FAILED
  157. [junit] Running gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
  158. [junit] Tests run: 12, Failures: 12, Errors: 0, Skipped: 0, Time elapsed: 0.421 sec
  159. [junit] Test gov.nasa.jpf.test.java.lang.BoxObjectCacheTest FAILED
  160. [junit] Running gov.nasa.jpf.test.java.lang.ClassLoaderTest
  161. [junit] Tests run: 12, Failures: 12, Errors: 0, Skipped: 0, Time elapsed: 0.423 sec
  162. [junit] Test gov.nasa.jpf.test.java.lang.ClassLoaderTest FAILED
  163. [junit] Running gov.nasa.jpf.test.java.lang.ClassTest
  164. [junit] Tests run: 31, Failures: 31, Errors: 0, Skipped: 0, Time elapsed: 0.649 sec
  165. [junit] Test gov.nasa.jpf.test.java.lang.ClassTest FAILED
  166. [junit] Running gov.nasa.jpf.test.java.lang.CloneTest
  167. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.27 sec
  168. [junit] Test gov.nasa.jpf.test.java.lang.CloneTest FAILED
  169. [junit] Running gov.nasa.jpf.test.java.lang.RuntimeTest
  170. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.252 sec
  171. [junit] Test gov.nasa.jpf.test.java.lang.RuntimeTest FAILED
  172. [junit] Running gov.nasa.jpf.test.java.lang.StringTest
  173. [junit] Tests run: 13, Failures: 13, Errors: 0, Skipped: 0, Time elapsed: 0.45 sec
  174. [junit] Test gov.nasa.jpf.test.java.lang.StringTest FAILED
  175. [junit] Running gov.nasa.jpf.test.java.lang.SystemTest
  176. [junit] Tests run: 6, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 0.343 sec
  177. [junit] Test gov.nasa.jpf.test.java.lang.SystemTest FAILED
  178. [junit] Running gov.nasa.jpf.test.java.lang.ref.WeakReferenceTest
  179. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.304 sec
  180. [junit] Test gov.nasa.jpf.test.java.lang.ref.WeakReferenceTest FAILED
  181. [junit] Running gov.nasa.jpf.test.java.lang.reflect.ConstructorTest
  182. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.293 sec
  183. [junit] Test gov.nasa.jpf.test.java.lang.reflect.ConstructorTest FAILED
  184. [junit] Running gov.nasa.jpf.test.java.lang.reflect.FieldTest
  185. [junit] Tests run: 5, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 0.322 sec
  186. [junit] Test gov.nasa.jpf.test.java.lang.reflect.FieldTest FAILED
  187. [junit] Running gov.nasa.jpf.test.java.lang.reflect.MethodTest
  188. [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 0.316 sec
  189. [junit] Test gov.nasa.jpf.test.java.lang.reflect.MethodTest FAILED
  190. [junit] Running gov.nasa.jpf.test.java.math.BigIntegerTest
  191. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.273 sec
  192. [junit] Test gov.nasa.jpf.test.java.math.BigIntegerTest FAILED
  193. [junit] Running gov.nasa.jpf.test.java.net.URLClassLoaderTest
  194. [junit] Tests run: 20, Failures: 20, Errors: 0, Skipped: 0, Time elapsed: 0.575 sec
  195. [junit] Test gov.nasa.jpf.test.java.net.URLClassLoaderTest FAILED
  196. [junit] Running gov.nasa.jpf.test.java.net.URLEncoderTest
  197. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.305 sec
  198. [junit] Test gov.nasa.jpf.test.java.net.URLEncoderTest FAILED
  199. [junit] Running gov.nasa.jpf.test.java.text.DateFormatTest
  200. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.313 sec
  201. [junit] Test gov.nasa.jpf.test.java.text.DateFormatTest FAILED
  202. [junit] Running gov.nasa.jpf.test.java.text.DecimalFormatTest
  203. [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 0.375 sec
  204. [junit] Test gov.nasa.jpf.test.java.text.DecimalFormatTest FAILED
  205. [junit] Running gov.nasa.jpf.test.java.text.SimpleDateFormatTest
  206. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.271 sec
  207. [junit] Test gov.nasa.jpf.test.java.text.SimpleDateFormatTest FAILED
  208. [junit] Running gov.nasa.jpf.test.mc.basic.AttrsTest
  209. [junit] Tests run: 13, Failures: 9, Errors: 0, Skipped: 0, Time elapsed: 1.427 sec
  210. [junit] Test gov.nasa.jpf.test.mc.basic.AttrsTest FAILED
  211. [junit] Running gov.nasa.jpf.test.mc.basic.BreakTest
  212. [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.347 sec
  213. [junit] Running gov.nasa.jpf.test.mc.basic.CGNotificationTest
  214. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.745 sec
  215. [junit] Running gov.nasa.jpf.test.mc.basic.CGRemoverTest
  216. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.236 sec
  217. [junit] Running gov.nasa.jpf.test.mc.basic.CGReorderTest
  218. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.902 sec
  219. [junit] Running gov.nasa.jpf.test.mc.basic.CascadedCGTest
  220. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.921 sec
  221. [junit] Running gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest
  222. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.05 sec
  223. [junit] Running gov.nasa.jpf.test.mc.basic.FinalBreakTest
  224. [junit] Tests run: 6, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 0.344 sec
  225. [junit] Test gov.nasa.jpf.test.mc.basic.FinalBreakTest FAILED
  226. [junit] Running gov.nasa.jpf.test.mc.basic.FinalFieldChoiceTest
  227. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.276 sec
  228. [junit] Test gov.nasa.jpf.test.mc.basic.FinalFieldChoiceTest FAILED
  229. [junit] Running gov.nasa.jpf.test.mc.basic.IdleLoopTest
  230. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.042 sec
  231. [junit] Running gov.nasa.jpf.test.mc.basic.InvokeListenerTest
  232. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.065 sec
  233. [junit] Running gov.nasa.jpf.test.mc.basic.LocalVarInfoTest
  234. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.631 sec
  235. [junit] Running gov.nasa.jpf.test.mc.basic.MethodListenerTest
  236. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.918 sec
  237. [junit] Running gov.nasa.jpf.test.mc.basic.NullTrackerTest
  238. [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.721 sec
  239. [junit] Running gov.nasa.jpf.test.mc.basic.OOMEInjectorTest
  240. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.12 sec
  241. [junit] Running gov.nasa.jpf.test.mc.basic.OVHeapTest
  242. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.278 sec
  243. [junit] Test gov.nasa.jpf.test.mc.basic.OVHeapTest FAILED
  244. [junit] Running gov.nasa.jpf.test.mc.basic.RecursiveLockTest
  245. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.277 sec
  246. [junit] Test gov.nasa.jpf.test.mc.basic.RecursiveLockTest FAILED
  247. [junit] Running gov.nasa.jpf.test.mc.basic.RestorerTest
  248. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.333 sec
  249. [junit] Test gov.nasa.jpf.test.mc.basic.RestorerTest FAILED
  250. [junit] Running gov.nasa.jpf.test.mc.basic.SearchMultipleTest
  251. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.305 sec
  252. [junit] Test gov.nasa.jpf.test.mc.basic.SearchMultipleTest FAILED
  253. [junit] Running gov.nasa.jpf.test.mc.basic.SharedPropagationTest
  254. [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 0.307 sec
  255. [junit] Test gov.nasa.jpf.test.mc.basic.SharedPropagationTest FAILED
  256. [junit] Running gov.nasa.jpf.test.mc.basic.SharedRefTest
  257. [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 0.325 sec
  258. [junit] Test gov.nasa.jpf.test.mc.basic.SharedRefTest FAILED
  259. [junit] Running gov.nasa.jpf.test.mc.basic.SkipInstructionTest
  260. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.857 sec
  261. [junit] Running gov.nasa.jpf.test.mc.basic.StackDepthCheckerTest
  262. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.641 sec
  263. [junit] Running gov.nasa.jpf.test.mc.basic.StatelessTest
  264. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.254 sec
  265. [junit] Test gov.nasa.jpf.test.mc.basic.StatelessTest FAILED
  266. [junit] Running gov.nasa.jpf.test.mc.basic.TraceTest
  267. [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.612 sec
  268. [junit] Test gov.nasa.jpf.test.mc.basic.TraceTest FAILED
  269. [junit] Running gov.nasa.jpf.test.mc.basic.UnlockNonSharedTest
  270. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.255 sec
  271. [junit] Test gov.nasa.jpf.test.mc.basic.UnlockNonSharedTest FAILED
  272. [junit] Running gov.nasa.jpf.test.mc.basic.VerifyTest
  273. [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 0.366 sec
  274. [junit] Test gov.nasa.jpf.test.mc.basic.VerifyTest FAILED
  275. [junit] Running gov.nasa.jpf.test.mc.data.CGCreatorFactoryTest
  276. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.267 sec
  277. [junit] Test gov.nasa.jpf.test.mc.data.CGCreatorFactoryTest FAILED
  278. [junit] Running gov.nasa.jpf.test.mc.data.CrossingTest
  279. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.278 sec
  280. [junit] Test gov.nasa.jpf.test.mc.data.CrossingTest FAILED
  281. [junit] Running gov.nasa.jpf.test.mc.data.DataChoiceTest
  282. [junit] Tests run: 5, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 0.329 sec
  283. [junit] Test gov.nasa.jpf.test.mc.data.DataChoiceTest FAILED
  284. [junit] Running gov.nasa.jpf.test.mc.data.DynamicAbstractionTest
  285. [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 0.319 sec
  286. [junit] Test gov.nasa.jpf.test.mc.data.DynamicAbstractionTest FAILED
  287. [junit] Running gov.nasa.jpf.test.mc.data.EventGeneratorTest
  288. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.27 sec
  289. [junit] Test gov.nasa.jpf.test.mc.data.EventGeneratorTest FAILED
  290. [junit] Running gov.nasa.jpf.test.mc.data.JSONTest
  291. [junit] Tests run: 20, Failures: 20, Errors: 0, Skipped: 0, Time elapsed: 0.545 sec
  292. [junit] Test gov.nasa.jpf.test.mc.data.JSONTest FAILED
  293. [junit] Running gov.nasa.jpf.test.mc.data.NumericValueCheckerTest
  294. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.856 sec
  295. [junit] Running gov.nasa.jpf.test.mc.data.ObjectStreamTest
  296. [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 0.392 sec
  297. [junit] Test gov.nasa.jpf.test.mc.data.ObjectStreamTest FAILED
  298. [junit] Running gov.nasa.jpf.test.mc.data.PerturbatorTest
  299. [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.33 sec
  300. [junit] Running gov.nasa.jpf.test.mc.data.RandomTest
  301. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.299 sec
  302. [junit] Test gov.nasa.jpf.test.mc.data.RandomTest FAILED
  303. [junit] Running gov.nasa.jpf.test.mc.data.StopWatchFuzzerTest
  304. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.638 sec
  305. [junit] Running gov.nasa.jpf.test.mc.data.TimeModelTest
  306. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.273 sec
  307. [junit] Test gov.nasa.jpf.test.mc.data.TimeModelTest FAILED
  308. [junit] Running gov.nasa.jpf.test.mc.threads.AtomicTest
  309. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.295 sec
  310. [junit] Test gov.nasa.jpf.test.mc.threads.AtomicTest FAILED
  311. [junit] Running gov.nasa.jpf.test.mc.threads.ClinitTest
  312. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.273 sec
  313. [junit] Test gov.nasa.jpf.test.mc.threads.ClinitTest FAILED
  314. [junit] Running gov.nasa.jpf.test.mc.threads.DaemonTest
  315. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.25 sec
  316. [junit] Test gov.nasa.jpf.test.mc.threads.DaemonTest FAILED
  317. [junit] Running gov.nasa.jpf.test.mc.threads.DeadlockTest
  318. [junit] Tests run: 8, Failures: 8, Errors: 0, Skipped: 0, Time elapsed: 0.377 sec
  319. [junit] Test gov.nasa.jpf.test.mc.threads.DeadlockTest FAILED
  320. [junit] Running gov.nasa.jpf.test.mc.threads.ExceptionalThreadChoiceTest
  321. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.266 sec
  322. [junit] Test gov.nasa.jpf.test.mc.threads.ExceptionalThreadChoiceTest FAILED
  323. [junit] Running gov.nasa.jpf.test.mc.threads.FinalizerThreadTest
  324. [junit] Tests run: 2, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.653 sec
  325. [junit] Test gov.nasa.jpf.test.mc.threads.FinalizerThreadTest FAILED
  326. [junit] Running gov.nasa.jpf.test.mc.threads.HORaceTest
  327. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.293 sec
  328. [junit] Test gov.nasa.jpf.test.mc.threads.HORaceTest FAILED
  329. [junit] Running gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest
  330. [junit] Tests run: 2, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.804 sec
  331. [junit] Test gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest FAILED
  332. [junit] Running gov.nasa.jpf.test.mc.threads.MissedPathTest
  333. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.302 sec
  334. [junit] Test gov.nasa.jpf.test.mc.threads.MissedPathTest FAILED
  335. [junit] Running gov.nasa.jpf.test.mc.threads.OldClassicTest
  336. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.279 sec
  337. [junit] Test gov.nasa.jpf.test.mc.threads.OldClassicTest FAILED
  338. [junit] Running gov.nasa.jpf.test.mc.threads.RaceTest
  339. [junit] Tests run: 19, Failures: 8, Errors: 0, Skipped: 0, Time elapsed: 2.572 sec
  340. [junit] Test gov.nasa.jpf.test.mc.threads.RaceTest FAILED
  341. [junit] Running gov.nasa.jpf.test.mc.threads.SchedulesTest
  342. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.671 sec
  343. [junit] Running gov.nasa.jpf.test.vm.basic.AnnotationTest
  344. [junit] Tests run: 18, Failures: 16, Errors: 0, Skipped: 0, Time elapsed: 1.041 sec
  345. [junit] Test gov.nasa.jpf.test.vm.basic.AnnotationTest FAILED
  346. [junit] Running gov.nasa.jpf.test.vm.basic.ArrayTest
  347. [junit] Tests run: 9, Failures: 9, Errors: 0, Skipped: 0, Time elapsed: 0.399 sec
  348. [junit] Test gov.nasa.jpf.test.vm.basic.ArrayTest FAILED
  349. [junit] Running gov.nasa.jpf.test.vm.basic.AssertTest
  350. [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 0.37 sec
  351. [junit] Test gov.nasa.jpf.test.vm.basic.AssertTest FAILED
  352. [junit] Running gov.nasa.jpf.test.vm.basic.CastTest
  353. [junit] Tests run: 5, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 0.334 sec
  354. [junit] Test gov.nasa.jpf.test.vm.basic.CastTest FAILED
  355. [junit] Running gov.nasa.jpf.test.vm.basic.EndStateTest
  356. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.883 sec
  357. [junit] Running gov.nasa.jpf.test.vm.basic.EnumTest
  358. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.296 sec
  359. [junit] Test gov.nasa.jpf.test.vm.basic.EnumTest FAILED
  360. [junit] Running gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest
  361. [junit] Tests run: 9, Failures: 9, Errors: 0, Skipped: 0, Time elapsed: 0.39 sec
  362. [junit] Test gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest FAILED
  363. [junit] Running gov.nasa.jpf.test.vm.basic.FieldTest
  364. [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 0.323 sec
  365. [junit] Test gov.nasa.jpf.test.vm.basic.FieldTest FAILED
  366. [junit] Running gov.nasa.jpf.test.vm.basic.InitializeInterfaceClassObjectRefTest
  367. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.266 sec
  368. [junit] Test gov.nasa.jpf.test.vm.basic.InitializeInterfaceClassObjectRefTest FAILED
  369. [junit] Running gov.nasa.jpf.test.vm.basic.LargeCodeTest
  370. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.265 sec
  371. [junit] Test gov.nasa.jpf.test.vm.basic.LargeCodeTest FAILED
  372. [junit] Running gov.nasa.jpf.test.vm.basic.MethodTest
  373. [junit] Tests run: 8, Failures: 8, Errors: 0, Skipped: 0, Time elapsed: 0.393 sec
  374. [junit] Test gov.nasa.jpf.test.vm.basic.MethodTest FAILED
  375. [junit] Running gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest
  376. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.261 sec
  377. [junit] Test gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest FAILED
  378. [junit] Running gov.nasa.jpf.test.vm.basic.RecursiveClinitTest
  379. [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 0.326 sec
  380. [junit] Test gov.nasa.jpf.test.vm.basic.RecursiveClinitTest FAILED
  381. [junit] Running gov.nasa.jpf.test.vm.reflection.ArrayTest
  382. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.28 sec
  383. [junit] Test gov.nasa.jpf.test.vm.reflection.ArrayTest FAILED
  384. [junit] Running gov.nasa.jpf.test.vm.reflection.ConstructorTest
  385. [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 0.324 sec
  386. [junit] Test gov.nasa.jpf.test.vm.reflection.ConstructorTest FAILED
  387. [junit] Running gov.nasa.jpf.test.vm.reflection.FieldTest
  388. [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 0.43 sec
  389. [junit] Test gov.nasa.jpf.test.vm.reflection.FieldTest FAILED
  390. [junit] Running gov.nasa.jpf.test.vm.reflection.MethodTest
  391. [junit] Tests run: 30, Failures: 30, Errors: 0, Skipped: 0, Time elapsed: 0.76 sec
  392. [junit] Test gov.nasa.jpf.test.vm.reflection.MethodTest FAILED
  393. [junit] Running gov.nasa.jpf.test.vm.reflection.ReflectionTest
  394. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.263 sec
  395. [junit] Test gov.nasa.jpf.test.vm.reflection.ReflectionTest FAILED
  396. [junit] Running gov.nasa.jpf.test.vm.threads.InterruptTest
  397. [junit] Tests run: 5, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 0.343 sec
  398. [junit] Test gov.nasa.jpf.test.vm.threads.InterruptTest FAILED
  399. [junit] Running gov.nasa.jpf.test.vm.threads.JoinTest
  400. [junit] Tests run: 20, Failures: 20, Errors: 0, Skipped: 0, Time elapsed: 0.565 sec
  401. [junit] Test gov.nasa.jpf.test.vm.threads.JoinTest FAILED
  402. [junit] Running gov.nasa.jpf.test.vm.threads.LockedStackDepthTest
  403. [junit] Tests run: 5, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 0.341 sec
  404. [junit] Test gov.nasa.jpf.test.vm.threads.LockedStackDepthTest FAILED
  405. [junit] Running gov.nasa.jpf.test.vm.threads.SuspendResumeTest
  406. [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 0.368 sec
  407. [junit] Test gov.nasa.jpf.test.vm.threads.SuspendResumeTest FAILED
  408. [junit] Running gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest
  409. [junit] Tests run: 8, Failures: 8, Errors: 0, Skipped: 0, Time elapsed: 0.415 sec
  410. [junit] Test gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest FAILED
  411. [junit] Running gov.nasa.jpf.test.vm.threads.ThreadStopTest
  412. [junit] Tests run: 9, Failures: 9, Errors: 0, Skipped: 0, Time elapsed: 0.385 sec
  413. [junit] Test gov.nasa.jpf.test.vm.threads.ThreadStopTest FAILED
  414. [junit] Running gov.nasa.jpf.test.vm.threads.ThreadTest
  415. [junit] Tests run: 10, Failures: 10, Errors: 0, Skipped: 0, Time elapsed: 0.435 sec
  416. [junit] Test gov.nasa.jpf.test.vm.threads.ThreadTest FAILED
  417. [junit] Running gov.nasa.jpf.test.vm.threads.WaitTest
  418. [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 0.369 sec
  419. [junit] Test gov.nasa.jpf.test.vm.threads.WaitTest FAILED
  420. [junit] Running gov.nasa.jpf.test.xerces.SAXParserTest
  421. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.272 sec
  422. [junit] Test gov.nasa.jpf.test.xerces.SAXParserTest FAILED
  423. [junit] Running gov.nasa.jpf.util.ArrayObjectQueueTest
  424. [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.023 sec
  425. [junit] Running gov.nasa.jpf.util.AvailableBufferedInputStreamTest
  426. [junit] Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.104 sec
  427. [junit] Running gov.nasa.jpf.util.BitSet1024Test
  428. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.021 sec
  429. [junit] Running gov.nasa.jpf.util.BitSet256Test
  430. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.021 sec
  431. [junit] Running gov.nasa.jpf.util.BitSet64Test
  432. [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.035 sec
  433. [junit] Running gov.nasa.jpf.util.CommitOutputStreamTest
  434. [junit] Tests run: 13, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.048 sec
  435. [junit] Running gov.nasa.jpf.util.IdentityArrayObjectSetTest
  436. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.021 sec
  437. [junit] Running gov.nasa.jpf.util.IntTableTest
  438. [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.054 sec
  439. [junit] Running gov.nasa.jpf.util.IntVectorTest
  440. [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.023 sec
  441. [junit] Running gov.nasa.jpf.util.LimitedInputStreamTest
  442. [junit] Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.036 sec
  443. [junit] Running gov.nasa.jpf.util.LocationSpecTest
  444. [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.024 sec
  445. [junit] Running gov.nasa.jpf.util.MethodSpecTest
  446. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.037 sec
  447. [junit] Running gov.nasa.jpf.util.OATHashTest
  448. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.099 sec
  449. [junit] Running gov.nasa.jpf.util.ObjVectorTest
  450. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.028 sec
  451. [junit] Running gov.nasa.jpf.util.ObjectListTest
  452. [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.031 sec
  453. [junit] Running gov.nasa.jpf.util.PSIntMapTest
  454. [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.236 sec
  455. [junit] Running gov.nasa.jpf.util.SortedArrayIntSetTest
  456. [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.022 sec
  457. [junit] Running gov.nasa.jpf.util.SortedArrayObjectSetTest
  458. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec
  459. [junit] Running gov.nasa.jpf.util.SparseClusterArrayTest
  460. [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.074 sec
  461. [junit] Running gov.nasa.jpf.util.SparseIntVectorTest
  462. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.021 sec
  463. [junit] Running gov.nasa.jpf.util.SplitOutputStreamTest
  464. [junit] Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.026 sec
  465. [junit] Running gov.nasa.jpf.util.UnsortedArrayIntSetTest
  466. [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.023 sec
  467. [junit] Running gov.nasa.jpf.util.event.EventTreeTest
  468. [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.044 sec
  469. [junit] Running gov.nasa.jpf.util.json.JSONLexerTest
  470. [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.028 sec
  471. [junit] Running gov.nasa.jpf.util.json.JSONParserTest
  472. [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.045 sec
  473. [junit] Running gov.nasa.jpf.vm.AnnotationInfoTest
  474. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.046 sec
  475. [junit] Running gov.nasa.jpf.vm.ClassLoaderInfoTest
  476. [junit] Tests run: 1, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 0.256 sec
  477. [junit] Test gov.nasa.jpf.vm.ClassLoaderInfoTest FAILED
  478. [junit] Running gov.nasa.jpf.vm.ElementInfoTest
  479. [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.025 sec
  480. [junit] Running gov.nasa.jpf.vm.SystemStateTest
  481. [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.051 sec
  482. [junit] Running gov.nasa.jpf.vm.TypesTest
  483. [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec
  484. [junit] Running gov.nasa.jpf.vm.choice.IntChoiceFromListTest
  485. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.023 sec
  486. [junit] Running gov.nasa.jpf.vm.choice.IntChoiceFromSetTest
  487. [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.025 sec
  488. [junit] Running gov.nasa.jpf.vm.multiProcess.MethodTest
  489. [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.284 sec
  490. [junit] Test gov.nasa.jpf.vm.multiProcess.MethodTest FAILED
  491. [junit] Running gov.nasa.jpf.vm.multiProcess.NativePeerTest
  492. [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.257 sec
  493. [junit] Test gov.nasa.jpf.vm.multiProcess.NativePeerTest FAILED
  494. [junit] Running gov.nasa.jpf.vm.multiProcess.ThreadTest
  495. [junit] Tests run: 3, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.836 sec
  496. [junit] Test gov.nasa.jpf.vm.multiProcess.ThreadTest FAILED
  497. [junit] Running gov.nasa.jpf.vm.multiProcess.TypeSeparationTest
  498. [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 0.298 sec
  499. [junit] Test gov.nasa.jpf.vm.multiProcess.TypeSeparationTest FAILED
  500.  
  501. BUILD FAILED
  502. /Users/shauvik/projects/jpf-core/build.xml:444: if=test.failed
  503.  
  504. Total time: 3 minutes 1 second
  505. shauvik@airavata:~/projects/jpf-core$
Add Comment
Please, Sign In to add comment
Public Pastes
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!