Created
August 2, 2018 14:18
-
-
Save jeandersonbc/2f55df348ca314f5024145873ed6bcaa to your computer and use it in GitHub Desktop.
JavaPathfinder - TravisCI
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| Buildfile: /home/travis/build/javapathfinder/jpf-core/build.xml | |
| -cond-clean: | |
| clean: | |
| -init: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build | |
| -compile-annotations: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/annotations | |
| [javac] Compiling 10 source files to /home/travis/build/javapathfinder/jpf-core/build/annotations | |
| -compile-main: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/main | |
| [javac] Compiling 709 source files to /home/travis/build/javapathfinder/jpf-core/build/main | |
| [javac] Note: Some input files use unchecked or unsafe operations. | |
| [javac] Note: Recompile with -Xlint:unchecked for details. | |
| -compile-peers: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/peers | |
| [javac] Compiling 79 source files to /home/travis/build/javapathfinder/jpf-core/build/peers | |
| -compile-classes: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/classes | |
| [javac] Compiling 13 source files to /home/travis/build/javapathfinder/jpf-core/build/classes | |
| [javac] Compiling 71 source files to /home/travis/build/javapathfinder/jpf-core/build/classes | |
| [javac] Creating empty /home/travis/build/javapathfinder/jpf-core/build/classes/java/nio/package-info.class | |
| -compile-tests: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/tests | |
| [javac] Compiling 189 source files to /home/travis/build/javapathfinder/jpf-core/build/tests | |
| [javac] Note: Some input files use unchecked or unsafe operations. | |
| [javac] Note: Recompile with -Xlint:unchecked for details. | |
| -compile-examples: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/examples | |
| [javac] Compiling 11 source files to /home/travis/build/javapathfinder/jpf-core/build/examples | |
| compile: | |
| [copy] Warning: Could not find file /home/travis/build/javapathfinder/jpf-core/build.properties to copy. | |
| -version: | |
| build: | |
| [copy] Warning: Could not find file /home/travis/build/javapathfinder/jpf-core/.version to copy. | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/jpf-classes.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/jpf.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/jpf-annotations.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/classloader_specific_tests.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/RunJPF.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/RunTest.jar | |
| test: | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running ReporterResourcesTest | |
| [junit] Tests run: 2, Failures: 1, Errors: 1, Skipped: 0, Time elapsed: 0.4 sec | |
| [junit] Test ReporterResourcesTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running TypeNameTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.797 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.ConfigTest | |
| [junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.294 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.jvm.ClassInfoTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.315 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.jvm.JVMStackFrameTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.044 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.jvm.MethodInfoTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.299 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.HarnessTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.647 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.InstructionFactoryTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.827 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.ListenerTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.82 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.MJITest | |
| [junit] Tests run: 12, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.505 sec | |
| [junit] Test gov.nasa.jpf.test.basic.MJITest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.TestJPFMainTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.4 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.TestJPFNoMainTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.897 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicIntegerFieldUpdaterTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.411 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicLongFieldUpdaterTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.06 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicReferenceFieldUpdaterTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.537 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.CountDownLatchTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.791 sec | |
| [junit] Test gov.nasa.jpf.test.java.concurrent.CountDownLatchTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.ExchangerTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.002 sec | |
| [junit] Test gov.nasa.jpf.test.java.concurrent.ExchangerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.ExecutorServiceTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.041 sec | |
| [junit] Test gov.nasa.jpf.test.java.concurrent.ExecutorServiceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.SemaphoreTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.977 sec | |
| [junit] Test gov.nasa.jpf.test.java.concurrent.SemaphoreTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.BufferedInputStreamTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.075 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.FileIOStreamTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.162 sec | |
| [junit] Test gov.nasa.jpf.test.java.io.FileIOStreamTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.FileIOTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.172 sec | |
| [junit] Test gov.nasa.jpf.test.java.io.FileIOTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.FileTest | |
| [junit] Tests run: 3, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.764 sec | |
| [junit] Test gov.nasa.jpf.test.java.io.FileTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.ObjectStreamTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.132 sec | |
| [junit] Test gov.nasa.jpf.test.java.io.ObjectStreamTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.BoxObjectCacheTest | |
| [junit] Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.49 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.ClassLoaderTest | |
| [junit] Tests run: 12, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 2.662 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.ClassLoaderTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.ClassTest | |
| [junit] Tests run: 31, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 5.445 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.ClassTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.CloneTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.089 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.RuntimeTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.196 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.RuntimeTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.StackWalkerTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.38 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.StackWalkerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.StringTest | |
| [junit] Tests run: 14, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 3.119 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.StringTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.SystemTest | |
| [junit] Tests run: 6, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 3.264 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.SystemTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.ref.WeakReferenceTest | |
| [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.126 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.ref.WeakReferenceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.reflect.ConstructorTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.148 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.reflect.FieldTest | |
| [junit] Tests run: 5, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.804 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.reflect.FieldTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.reflect.MethodTest | |
| [junit] Tests run: 6, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.477 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.reflect.MethodTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.math.BigIntegerTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.591 sec | |
| [junit] Test gov.nasa.jpf.test.java.math.BigIntegerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.misc.UnsafeTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.251 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.net.URLClassLoaderTest | |
| [junit] Tests run: 20, Failures: 20, Errors: 0, Skipped: 0, Time elapsed: 4.034 sec | |
| [junit] Test gov.nasa.jpf.test.java.net.URLClassLoaderTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.net.URLEncoderTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.145 sec | |
| [junit] Test gov.nasa.jpf.test.java.net.URLEncoderTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.text.DateFormatTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.131 sec | |
| [junit] Test gov.nasa.jpf.test.java.text.DateFormatTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.text.DecimalFormatTest | |
| [junit] Tests run: 7, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.271 sec | |
| [junit] Test gov.nasa.jpf.test.java.text.DecimalFormatTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.text.SimpleDateFormatTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.177 sec | |
| [junit] Test gov.nasa.jpf.test.java.text.SimpleDateFormatTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.AttrsTest | |
| [junit] Tests run: 13, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 2.878 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.AttrsTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.BreakTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.581 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.CGNotificationTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.CGRemoverTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.259 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.CGRemoverTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.CGReorderTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.226 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.CascadedCGTest | |
| [junit] Tests run: 2, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.819 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.CascadedCGTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.862 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.ExtendTransitionTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.083 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.ExtendTransitionTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.FinalBreakTest | |
| [junit] Tests run: 6, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 1.995 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.FinalBreakTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.FinalFieldChoiceTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.31 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.IdleLoopTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.373 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.InvokeListenerTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.65 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.LocalVarInfoTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.141 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.MethodListenerTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.436 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.NoJPFExecTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.699 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.NullTrackerTest | |
| [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.261 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.OOMEInjectorTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.325 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.OVHeapTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.89 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.OVHeapTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.RecursiveLockTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.942 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.RecursiveLockTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.RestorerTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.311 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.RestorerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.SearchMultipleTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.981 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.SearchMultipleTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.SharedPropagationTest | |
| [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 2.402 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.SharedPropagationTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.SharedRefTest | |
| [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 2.693 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.SharedRefTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.SkipInstructionTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.341 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.StackDepthCheckerTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.412 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.StatelessTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.073 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.TraceTest | |
| [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 3.239 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.TraceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.TransitionLengthTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.949 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.TransitionLengthTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.UnlockNonSharedTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.018 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.UnlockNonSharedTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.VerifyTest | |
| [junit] Tests run: 7, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.629 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.VerifyTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.CGCreatorFactoryTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.047 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.CGCreatorFactoryTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.CrossingTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.866 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.CrossingTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.DataChoiceTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.989 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.DynamicAbstractionTest | |
| [junit] Tests run: 4, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.968 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.DynamicAbstractionTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.EventGeneratorTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.393 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.EventGeneratorTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.JSONTest | |
| [junit] WARNING: An illegal reflective access operation has occurred | |
| [junit] WARNING: Illegal reflective access by gov.nasa.jpf.util.ObjectConverter (file:/home/travis/build/javapathfinder/jpf-core/build/main/) to field java.lang.Double.value | |
| [junit] WARNING: Please consider reporting this to the maintainers of gov.nasa.jpf.util.ObjectConverter | |
| [junit] WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations | |
| [junit] WARNING: All illegal access operations will be denied in a future release | |
| [junit] Tests run: 20, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 4.077 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.JSONTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.NativeStateHolderTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.813 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.NativeStateHolderTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.NumericValueCheckerTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.189 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.ObjectStreamTest | |
| [junit] WARNING: An illegal reflective access operation has occurred | |
| [junit] WARNING: Illegal reflective access by gov.nasa.jpf.util.ObjectConverter (file:/home/travis/build/javapathfinder/jpf-core/build/main/) to field java.util.ArrayList.elementData | |
| [junit] WARNING: Please consider reporting this to the maintainers of gov.nasa.jpf.util.ObjectConverter | |
| [junit] WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations | |
| [junit] WARNING: All illegal access operations will be denied in a future release | |
| [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.211 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.PerturbatorTest | |
| [junit] Tests run: 4, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.374 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.PerturbatorTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.RandomTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.239 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.StopWatchFuzzerTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.317 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.TimeModelTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.888 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.TypedObjectChoiceTest | |
| [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 2.043 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.TypedObjectChoiceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.AtomicTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.689 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.AtomicTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.ClinitTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.03 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.ClinitTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.DaemonTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.156 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.DaemonTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.DeadlockTest | |
| [junit] Tests run: 8, Failures: 8, Errors: 0, Skipped: 0, Time elapsed: 2.291 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.DeadlockTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.ExceptionalThreadChoiceTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.236 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.FinalizerThreadTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.74 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.HORaceTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.685 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.HORaceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.552 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.MissedPathTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.059 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.MissedPathTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.NestedInitTest | |
| [junit] Tests run: 4, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.279 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.NestedInitTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.OldClassicTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.774 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.OldClassicTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.RaceTest | |
| [junit] Tests run: 19, Failures: 19, Errors: 0, Skipped: 0, Time elapsed: 3.971 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.RaceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.SchedulesTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.842 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.SchedulesTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.AnnotationTest | |
| [junit] Tests run: 18, Failures: 8, Errors: 0, Skipped: 0, Time elapsed: 3.554 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.AnnotationTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.ArrayTest | |
| [junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.07 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.AssertTest | |
| [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 1.902 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.AssertTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.CastTest | |
| [junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.915 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.ClassInitTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.251 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.EndStateTest | |
| [junit] Tests run: 2, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.273 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.EndStateTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.EnumTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.348 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest | |
| [junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.519 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.FieldTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.227 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.InitializeInterfaceClassObjectRefTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.482 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.JPFAttrAnnotationTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.487 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.LargeCodeTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.24 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.MethodTest | |
| [junit] Tests run: 9, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.757 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.MethodTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.941 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.RecursiveClinitTest | |
| [junit] Tests run: 4, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.33 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.RecursiveClinitTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.ArrayTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.448 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.ConstructorTest | |
| [junit] Tests run: 4, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 2.054 sec | |
| [junit] Test gov.nasa.jpf.test.vm.reflection.ConstructorTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.FieldTest | |
| [junit] Tests run: 7, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.474 sec | |
| [junit] Test gov.nasa.jpf.test.vm.reflection.FieldTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.MethodTest | |
| [junit] Tests run: 30, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 8.806 sec | |
| [junit] Test gov.nasa.jpf.test.vm.reflection.MethodTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.ProxyTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 2.771 sec | |
| [junit] Test gov.nasa.jpf.test.vm.reflection.ProxyTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.InterruptTest | |
| [junit] Tests run: 5, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 1.727 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.InterruptTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.JoinTest | |
| [junit] Tests run: 20, Failures: 19, Errors: 0, Skipped: 0, Time elapsed: 3.065 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.JoinTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.LockedStackDepthTest | |
| [junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.744 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.SuspendResumeTest | |
| [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 1.896 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.SuspendResumeTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest | |
| [junit] Tests run: 8, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 2.014 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.ThreadStopTest | |
| [junit] Tests run: 9, Failures: 9, Errors: 0, Skipped: 0, Time elapsed: 1.874 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.ThreadStopTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.ThreadTest | |
| [junit] Tests run: 10, Failures: 9, Errors: 0, Skipped: 0, Time elapsed: 2.006 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.ThreadTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.WaitTest | |
| [junit] Tests run: 7, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 2.663 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.WaitTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.xerces.SAXParserTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.954 sec | |
| [junit] Test gov.nasa.jpf.test.xerces.SAXParserTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.ArrayObjectQueueTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.066 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.AvailableBufferedInputStreamTest | |
| [junit] Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.198 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.BitSet1024Test | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.084 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.BitSet256Test | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.041 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.BitSet64Test | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.117 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.CommitOutputStreamTest | |
| [junit] Tests run: 13, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.117 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.IdentityArrayObjectSetTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.044 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.IntTableTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.221 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.IntVectorTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.038 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.LimitedInputStreamTest | |
| [junit] Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.215 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.LocationSpecTest | |
| [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.088 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.MethodSpecTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.215 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.OATHashTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.096 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.ObjVectorTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.085 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.ObjectListTest | |
| [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.111 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.PSIntMapTest | |
| [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.301 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.PermutationGeneratorTest | |
| [junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.032 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SortedArrayIntSetTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.253 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SortedArrayObjectSetTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.047 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SparseClusterArrayTest | |
| [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.174 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SparseIntVectorTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.22 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SplitOutputStreamTest | |
| [junit] Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.192 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.StringSetMatcherTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.037 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.UnsortedArrayIntSetTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.068 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.event.EventTreeTest | |
| [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.146 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.json.JSONLexerTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.109 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.json.JSONParserTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.231 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.AnnotationInfoTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.111 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.ClassLoaderInfoTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.893 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.ElementInfoTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.175 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.SystemStateTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.134 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.TypesTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.083 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.choice.IntChoiceFromListTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.084 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.choice.IntChoiceFromSetTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.098 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.FinalizerThreadTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.416 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.MethodTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.088 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.NativePeerTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.358 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.StringTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.093 sec | |
| [junit] Test gov.nasa.jpf.vm.multiProcess.StringTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.ThreadTest | |
| [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.315 sec | |
| [junit] Test gov.nasa.jpf.vm.multiProcess.ThreadTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.TypeSeparationTest | |
| [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.502 sec | |
| [junit] Test gov.nasa.jpf.vm.multiProcess.TypeSeparationTest FAILED | |
| BUILD FAILED | |
| /home/travis/build/javapathfinder/jpf-core/build.xml:484: if=test.failed |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| Buildfile: /home/travis/build/javapathfinder/jpf-core/build.xml | |
| -cond-clean: | |
| clean: | |
| -init: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build | |
| -compile-annotations: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/annotations | |
| [javac] Compiling 10 source files to /home/travis/build/javapathfinder/jpf-core/build/annotations | |
| -compile-main: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/main | |
| [javac] Compiling 709 source files to /home/travis/build/javapathfinder/jpf-core/build/main | |
| [javac] Note: Some input files use unchecked or unsafe operations. | |
| [javac] Note: Recompile with -Xlint:unchecked for details. | |
| -compile-peers: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/peers | |
| [javac] Compiling 79 source files to /home/travis/build/javapathfinder/jpf-core/build/peers | |
| -compile-classes: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/classes | |
| [javac] Compiling 13 source files to /home/travis/build/javapathfinder/jpf-core/build/classes | |
| [javac] Compiling 71 source files to /home/travis/build/javapathfinder/jpf-core/build/classes | |
| [javac] Creating empty /home/travis/build/javapathfinder/jpf-core/build/classes/java/nio/package-info.class | |
| -compile-tests: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/tests | |
| [javac] Compiling 188 source files to /home/travis/build/javapathfinder/jpf-core/build/tests | |
| [javac] Note: Some input files use unchecked or unsafe operations. | |
| [javac] Note: Recompile with -Xlint:unchecked for details. | |
| -compile-examples: | |
| [mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/examples | |
| [javac] Compiling 11 source files to /home/travis/build/javapathfinder/jpf-core/build/examples | |
| compile: | |
| [copy] Copying 1 file to /home/travis/build/javapathfinder/jpf-core/build/main/gov/nasa/jpf | |
| -version: | |
| build: | |
| [copy] Warning: Could not find file /home/travis/build/javapathfinder/jpf-core/.version to copy. | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/jpf-classes.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/jpf.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/jpf-annotations.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/classloader_specific_tests.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/RunJPF.jar | |
| [jar] Building jar: /home/travis/build/javapathfinder/jpf-core/build/RunTest.jar | |
| test: | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running TypeNameTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.877 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.ConfigTest | |
| [junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.378 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.jvm.ClassInfoTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.185 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.jvm.JVMStackFrameTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.03 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.jvm.MethodInfoTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.213 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.HarnessTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.462 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.InstructionFactoryTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.836 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.ListenerTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.796 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.MJITest | |
| [junit] Tests run: 12, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.932 sec | |
| [junit] Test gov.nasa.jpf.test.basic.MJITest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.TestJPFMainTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.788 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.basic.TestJPFNoMainTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.966 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicIntegerFieldUpdaterTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.714 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicLongFieldUpdaterTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.826 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.AtomicReferenceFieldUpdaterTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.997 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.CountDownLatchTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.838 sec | |
| [junit] Test gov.nasa.jpf.test.java.concurrent.CountDownLatchTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.ExchangerTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.819 sec | |
| [junit] Test gov.nasa.jpf.test.java.concurrent.ExchangerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.ExecutorServiceTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.89 sec | |
| [junit] Test gov.nasa.jpf.test.java.concurrent.ExecutorServiceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.concurrent.SemaphoreTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.949 sec | |
| [junit] Test gov.nasa.jpf.test.java.concurrent.SemaphoreTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.BufferedInputStreamTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.926 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.FileIOStreamTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.902 sec | |
| [junit] Test gov.nasa.jpf.test.java.io.FileIOStreamTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.FileIOTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.826 sec | |
| [junit] Test gov.nasa.jpf.test.java.io.FileIOTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.FileTest | |
| [junit] Tests run: 3, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.051 sec | |
| [junit] Test gov.nasa.jpf.test.java.io.FileTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.io.ObjectStreamTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.806 sec | |
| [junit] Test gov.nasa.jpf.test.java.io.ObjectStreamTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.BoxObjectCacheTest | |
| [junit] Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.251 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.ClassLoaderTest | |
| [junit] Tests run: 12, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 2.53 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.ClassLoaderTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.ClassTest | |
| [junit] Tests run: 31, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 3.658 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.ClassTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.CloneTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.811 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.RuntimeTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.815 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.RuntimeTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.StackWalkerTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.863 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.StackWalkerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.StringTest | |
| [junit] Tests run: 14, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 2.333 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.StringTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.SystemTest | |
| [junit] Tests run: 6, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.669 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.SystemTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.ref.WeakReferenceTest | |
| [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.239 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.ref.WeakReferenceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.reflect.ConstructorTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.028 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.reflect.FieldTest | |
| [junit] Tests run: 5, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.501 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.reflect.FieldTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.lang.reflect.MethodTest | |
| [junit] Tests run: 6, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.744 sec | |
| [junit] Test gov.nasa.jpf.test.java.lang.reflect.MethodTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.math.BigIntegerTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.91 sec | |
| [junit] Test gov.nasa.jpf.test.java.math.BigIntegerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.misc.UnsafeTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.476 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.net.URLClassLoaderTest | |
| [junit] Tests run: 20, Failures: 20, Errors: 0, Skipped: 0, Time elapsed: 2.964 sec | |
| [junit] Test gov.nasa.jpf.test.java.net.URLClassLoaderTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.net.URLEncoderTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.182 sec | |
| [junit] Test gov.nasa.jpf.test.java.net.URLEncoderTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.text.DateFormatTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.281 sec | |
| [junit] Test gov.nasa.jpf.test.java.text.DateFormatTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.text.DecimalFormatTest | |
| [junit] Tests run: 7, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.225 sec | |
| [junit] Test gov.nasa.jpf.test.java.text.DecimalFormatTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.java.text.SimpleDateFormatTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.373 sec | |
| [junit] Test gov.nasa.jpf.test.java.text.SimpleDateFormatTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.AttrsTest | |
| [junit] Tests run: 13, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 2.917 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.AttrsTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.BreakTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.626 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.CGNotificationTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.966 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.CGRemoverTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.58 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.CGRemoverTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.CGReorderTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.119 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.CascadedCGTest | |
| [junit] Tests run: 2, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.161 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.CascadedCGTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.385 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.ExtendTransitionTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.866 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.ExtendTransitionTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.FinalBreakTest | |
| [junit] Tests run: 6, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 1.846 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.FinalBreakTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.FinalFieldChoiceTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.238 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.IdleLoopTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.481 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.InvokeListenerTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.462 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.LocalVarInfoTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.994 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.MethodListenerTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.161 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.NoJPFExecTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.074 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.NullTrackerTest | |
| [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.426 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.OOMEInjectorTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.343 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.OVHeapTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.964 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.OVHeapTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.RecursiveLockTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.018 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.RecursiveLockTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.RestorerTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.348 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.RestorerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.SearchMultipleTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.509 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.SearchMultipleTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.SharedPropagationTest | |
| [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 1.711 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.SharedPropagationTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.SharedRefTest | |
| [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 1.295 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.SharedRefTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.SkipInstructionTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.313 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.StackDepthCheckerTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.036 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.StatelessTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.95 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.TraceTest | |
| [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.634 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.TraceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.TransitionLengthTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.863 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.TransitionLengthTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.UnlockNonSharedTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.956 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.UnlockNonSharedTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.basic.VerifyTest | |
| [junit] Tests run: 7, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.906 sec | |
| [junit] Test gov.nasa.jpf.test.mc.basic.VerifyTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.CGCreatorFactoryTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.839 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.CGCreatorFactoryTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.CrossingTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.681 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.CrossingTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.DataChoiceTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.47 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.DynamicAbstractionTest | |
| [junit] Tests run: 4, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.726 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.DynamicAbstractionTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.EventGeneratorTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.508 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.EventGeneratorTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.JSONTest | |
| [junit] WARNING: An illegal reflective access operation has occurred | |
| [junit] WARNING: Illegal reflective access by gov.nasa.jpf.util.ObjectConverter (file:/home/travis/build/javapathfinder/jpf-core/build/main/) to field java.lang.Double.value | |
| [junit] WARNING: Please consider reporting this to the maintainers of gov.nasa.jpf.util.ObjectConverter | |
| [junit] WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations | |
| [junit] WARNING: All illegal access operations will be denied in a future release | |
| [junit] Tests run: 20, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 3.769 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.JSONTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.NativeStateHolderTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.17 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.NativeStateHolderTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.NumericValueCheckerTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.645 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.ObjectStreamTest | |
| [junit] WARNING: An illegal reflective access operation has occurred | |
| [junit] WARNING: Illegal reflective access by gov.nasa.jpf.util.ObjectConverter (file:/home/travis/build/javapathfinder/jpf-core/build/main/) to field java.util.ArrayList.elementData | |
| [junit] WARNING: Please consider reporting this to the maintainers of gov.nasa.jpf.util.ObjectConverter | |
| [junit] WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations | |
| [junit] WARNING: All illegal access operations will be denied in a future release | |
| [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.633 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.PerturbatorTest | |
| [junit] Tests run: 4, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.549 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.PerturbatorTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.RandomTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.57 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.StopWatchFuzzerTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.056 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.TimeModelTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.384 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.data.TypedObjectChoiceTest | |
| [junit] Tests run: 4, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 1.562 sec | |
| [junit] Test gov.nasa.jpf.test.mc.data.TypedObjectChoiceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.AtomicTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.424 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.AtomicTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.ClinitTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.161 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.ClinitTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.DaemonTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.952 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.DaemonTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.DeadlockTest | |
| [junit] Tests run: 8, Failures: 8, Errors: 0, Skipped: 0, Time elapsed: 2.068 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.DeadlockTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.ExceptionalThreadChoiceTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.908 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.FinalizerThreadTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.407 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.HORaceTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.057 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.HORaceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.177 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.MissedPathTest | |
| [junit] Tests run: 3, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.546 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.MissedPathTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.NestedInitTest | |
| [junit] Tests run: 4, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 1.643 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.NestedInitTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.OldClassicTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.21 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.OldClassicTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.RaceTest | |
| [junit] Tests run: 19, Failures: 19, Errors: 0, Skipped: 0, Time elapsed: 3.274 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.RaceTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.mc.threads.SchedulesTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.972 sec | |
| [junit] Test gov.nasa.jpf.test.mc.threads.SchedulesTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.AnnotationTest | |
| [junit] Tests run: 18, Failures: 8, Errors: 0, Skipped: 0, Time elapsed: 3.509 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.AnnotationTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.ArrayTest | |
| [junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.432 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.AssertTest | |
| [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 2.061 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.AssertTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.CastTest | |
| [junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.71 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.ClassInitTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.897 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.EndStateTest | |
| [junit] Tests run: 2, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.251 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.EndStateTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.EnumTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.62 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest | |
| [junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.775 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.FieldTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.645 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.InitializeInterfaceClassObjectRefTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.015 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.JPFAttrAnnotationTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.024 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.LargeCodeTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.403 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.MethodTest | |
| [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.807 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.783 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.basic.RecursiveClinitTest | |
| [junit] Tests run: 4, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 1.707 sec | |
| [junit] Test gov.nasa.jpf.test.vm.basic.RecursiveClinitTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.ArrayTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.244 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.ConstructorTest | |
| [junit] Tests run: 4, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 2.218 sec | |
| [junit] Test gov.nasa.jpf.test.vm.reflection.ConstructorTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.FieldTest | |
| [junit] Tests run: 7, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.944 sec | |
| [junit] Test gov.nasa.jpf.test.vm.reflection.FieldTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.MethodTest | |
| [junit] Tests run: 30, Failures: 5, Errors: 0, Skipped: 0, Time elapsed: 7.153 sec | |
| [junit] Test gov.nasa.jpf.test.vm.reflection.MethodTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.reflection.ProxyTest | |
| [junit] Tests run: 2, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 2.23 sec | |
| [junit] Test gov.nasa.jpf.test.vm.reflection.ProxyTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.InterruptTest | |
| [junit] Tests run: 5, Failures: 4, Errors: 0, Skipped: 0, Time elapsed: 1.438 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.InterruptTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.JoinTest | |
| [junit] Tests run: 20, Failures: 19, Errors: 0, Skipped: 0, Time elapsed: 2.828 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.JoinTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.LockedStackDepthTest | |
| [junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.726 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.SuspendResumeTest | |
| [junit] Tests run: 7, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 1.825 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.SuspendResumeTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest | |
| [junit] Tests run: 8, Failures: 7, Errors: 0, Skipped: 0, Time elapsed: 1.874 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.ThreadStopTest | |
| [junit] Tests run: 9, Failures: 9, Errors: 0, Skipped: 0, Time elapsed: 2.155 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.ThreadStopTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.ThreadTest | |
| [junit] Tests run: 10, Failures: 9, Errors: 0, Skipped: 0, Time elapsed: 2.359 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.ThreadTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.vm.threads.WaitTest | |
| [junit] Tests run: 7, Failures: 6, Errors: 0, Skipped: 0, Time elapsed: 2.117 sec | |
| [junit] Test gov.nasa.jpf.test.vm.threads.WaitTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.test.xerces.SAXParserTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.007 sec | |
| [junit] Test gov.nasa.jpf.test.xerces.SAXParserTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.ArrayObjectQueueTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.067 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.AvailableBufferedInputStreamTest | |
| [junit] Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.449 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.BitSet1024Test | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.044 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.BitSet256Test | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.042 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.BitSet64Test | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.051 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.CommitOutputStreamTest | |
| [junit] Tests run: 13, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.117 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.IdentityArrayObjectSetTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.023 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.IntTableTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.116 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.IntVectorTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.028 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.LimitedInputStreamTest | |
| [junit] Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.129 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.LocationSpecTest | |
| [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.063 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.MethodSpecTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.118 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.OATHashTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.058 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.ObjVectorTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.055 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.ObjectListTest | |
| [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.06 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.PSIntMapTest | |
| [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.193 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.PermutationGeneratorTest | |
| [junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.038 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SortedArrayIntSetTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.054 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SortedArrayObjectSetTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.022 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SparseClusterArrayTest | |
| [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.12 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SparseIntVectorTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.052 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.SplitOutputStreamTest | |
| [junit] Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.099 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.StringSetMatcherTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.024 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.UnsortedArrayIntSetTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.059 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.event.EventTreeTest | |
| [junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.087 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.json.JSONLexerTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.142 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.util.json.JSONParserTest | |
| [junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.111 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.AnnotationInfoTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.136 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.ClassLoaderInfoTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.887 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.ElementInfoTest | |
| [junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.097 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.SystemStateTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.088 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.TypesTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.074 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.choice.IntChoiceFromListTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.054 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.choice.IntChoiceFromSetTest | |
| [junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.073 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.FinalizerThreadTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.108 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.MethodTest | |
| [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.367 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.NativePeerTest | |
| [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.006 sec | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.StringTest | |
| [junit] Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 0.937 sec | |
| [junit] Test gov.nasa.jpf.vm.multiProcess.StringTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.ThreadTest | |
| [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.573 sec | |
| [junit] Test gov.nasa.jpf.vm.multiProcess.ThreadTest FAILED | |
| [junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
| [junit] Running gov.nasa.jpf.vm.multiProcess.TypeSeparationTest | |
| [junit] Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.577 sec | |
| [junit] Test gov.nasa.jpf.vm.multiProcess.TypeSeparationTest FAILED | |
| BUILD FAILED | |
| /home/travis/build/javapathfinder/jpf-core/build.xml:484: if=test.failed |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment