Skip to content

Instantly share code, notes, and snippets.

@jeandersonbc

jeandersonbc/gradle-branch-log-v2.txt

Last active August 2, 2018 17:49
Show Gist options
  • Save jeandersonbc/a38250fc22b6228018a9a25b8603dff1 to your computer and use it in GitHub Desktop.
Save jeandersonbc/a38250fc22b6228018a9a25b8603dff1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gradle-branch-log-v2.txt
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,
[junit] Test ReporterResourcesTest FAILED
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running TypeNameTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.ConfigTest
[junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.jvm.ClassInfoTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.jvm.JVMStackFrameTest
[junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.jvm.MethodInfoTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.AvailableBufferedInputStreamTest
[junit] Tests run: 14, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.BitSet1024Test
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.BitSet256Test
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.BitSet64Test
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.CommitOutputStreamTest
[junit] Tests run: 13, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.IdentityArrayObjectSetTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.IntTableTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.IntVectorTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.LimitedInputStreamTest
[junit] Tests run: 20, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.LocationSpecTest
[junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.MethodSpecTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.OATHashTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.ObjVectorTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.ObjectListTest
[junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.PSIntMapTest
[junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.PermutationGeneratorTest
[junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SortedArrayIntSetTest
[junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SortedArrayObjectSetTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SparseClusterArrayTest
[junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SparseIntVectorTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SplitOutputStreamTest
[junit] Tests run: 11, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.StringSetMatcherTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.UnsortedArrayIntSetTest
[junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0,
[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,
[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,
[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,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.AnnotationInfoTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.ClassLoaderInfoTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.ElementInfoTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.SystemStateTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.TypesTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[junit] Test gov.nasa.jpf.vm.multiProcess.TypeSeparationTest FAILED
BUILD FAILED
/home/travis/build/javapathfinder/jpf-core/build.xml:484: if=test.failed
Raw
java10-branch-log-v2.txt
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,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.ConfigTest
[junit] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.jvm.ClassInfoTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.jvm.JVMStackFrameTest
[junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.jvm.MethodInfoTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.AvailableBufferedInputStreamTest
[junit] Tests run: 14, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.BitSet1024Test
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.BitSet256Test
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.BitSet64Test
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.CommitOutputStreamTest
[junit] Tests run: 13, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.IdentityArrayObjectSetTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.IntTableTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.IntVectorTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.LimitedInputStreamTest
[junit] Tests run: 20, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.LocationSpecTest
[junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.MethodSpecTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.OATHashTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.ObjVectorTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.ObjectListTest
[junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.PSIntMapTest
[junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.PermutationGeneratorTest
[junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SortedArrayIntSetTest
[junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SortedArrayObjectSetTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SparseClusterArrayTest
[junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SparseIntVectorTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.SplitOutputStreamTest
[junit] Tests run: 11, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.StringSetMatcherTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.util.UnsortedArrayIntSetTest
[junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0,
[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,
[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,
[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,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.AnnotationInfoTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.ClassLoaderInfoTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.ElementInfoTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.SystemStateTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0,
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m
[junit] Running gov.nasa.jpf.vm.TypesTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[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,
[junit] Test gov.nasa.jpf.vm.multiProcess.TypeSeparationTest FAILED
BUILD FAILED
/home/travis/build/javapathfinder/jpf-core/build.xml:484: if=test.failed
Raw
sdiff output
bash-3.2$ sdiff gradle-branch-log-v2.txt java10-branch-log-v2.txt | grep ">"
bash-3.2$ sdiff gradle-branch-log-v2.txt java10-branch-log-v2.txt | grep "<"
[junit] Running ReporterResourcesTest <
[junit] Tests run: 2, Failures: 1, Errors: 1, Skipped: 0, <
[junit] Test ReporterResourcesTest FAILED <
[junit] Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m <
[junit] Test gov.nasa.jpf.test.vm.basic.MethodTest FAILED <
bash-3.2$ sdiff gradle-branch-log-v2.txt java10-branch-log-v2.txt | grep "|"
[javac] Compiling 189 source files to /home/travis/build/ | [javac] Compiling 188 source files to /home/travis/build/
[copy] Warning: Could not find file /home/travis/build/j | [copy] Copying 1 file to /home/travis/build/javapathfind
[junit] Tests run: 9, Failures: 1, Errors: 0, Skipped: 0, | [junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0,
bash-3.2$
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment