failing-tests.txt

   1 gov.nasa.jpf.test.basic.HarnessTest
   2 gov.nasa.jpf.test.basic.ListenerTest
   3 gov.nasa.jpf.test.basic.MJITest
   4 gov.nasa.jpf.test.basic.TestJPFMainTest
   5 gov.nasa.jpf.test.basic.TestJPFNoMainTest
   6 gov.nasa.jpf.test.java.concurrent.CountDownLatchTest
   7 gov.nasa.jpf.test.java.concurrent.ExchangerTest
   8 gov.nasa.jpf.test.java.lang.ClassTest
   9 gov.nasa.jpf.test.java.lang.RuntimeTest
  10 gov.nasa.jpf.test.java.lang.SystemTest
  11 gov.nasa.jpf.test.java.net.URLClassLoaderTest
  12 gov.nasa.jpf.test.mc.basic.BreakTest
  13 gov.nasa.jpf.test.mc.basic.CGNotificationTest
  14 gov.nasa.jpf.test.mc.basic.CascadedCGTest
  15 gov.nasa.jpf.test.mc.basic.ExtendTransitionTest
  16 gov.nasa.jpf.test.mc.basic.FinalBreakTest
  17 gov.nasa.jpf.test.mc.basic.FinalFieldChoiceTest
  18 gov.nasa.jpf.test.mc.basic.LocalVarInfoTest
  19 gov.nasa.jpf.test.mc.basic.MethodListenerTest
  20 gov.nasa.jpf.test.mc.basic.NoJPFExecTest
  21 gov.nasa.jpf.test.mc.basic.NullTrackerTest
  22 gov.nasa.jpf.test.mc.basic.OOMEInjectorTest
  23 gov.nasa.jpf.test.mc.basic.SearchMultipleTest
  24 gov.nasa.jpf.test.mc.basic.SharedPropagationTest
  25 gov.nasa.jpf.test.mc.basic.SharedRefTest
  26 gov.nasa.jpf.test.mc.basic.StackDepthCheckerTest
  27 gov.nasa.jpf.test.mc.basic.StatelessTest
  28 gov.nasa.jpf.test.mc.basic.TraceTest
  29 gov.nasa.jpf.test.mc.basic.VerifyTest
  30 gov.nasa.jpf.test.mc.data.CrossingTest
  31 gov.nasa.jpf.test.mc.data.DataChoiceTest
  32 gov.nasa.jpf.test.mc.data.DynamicAbstractionTest
  33 gov.nasa.jpf.test.mc.data.EventGeneratorTest
  34 gov.nasa.jpf.test.mc.data.NumericValueCheckerTest
  35 gov.nasa.jpf.test.mc.data.PerturbatorTest
  36 gov.nasa.jpf.test.mc.data.RandomTest
  37 gov.nasa.jpf.test.mc.data.StopWatchFuzzerTest
  38 gov.nasa.jpf.test.mc.data.TypedObjectChoiceTest
  39 gov.nasa.jpf.test.mc.threads.AtomicTest
  40 gov.nasa.jpf.test.mc.threads.ClinitTest
  41 gov.nasa.jpf.test.mc.threads.DaemonTest
  42 gov.nasa.jpf.test.mc.threads.DeadlockTest
  43 gov.nasa.jpf.test.mc.threads.ExceptionalThreadChoiceTest
  44 gov.nasa.jpf.test.mc.threads.HORaceTest
  45 gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest
  46 gov.nasa.jpf.test.mc.threads.MissedPathTest
  47 gov.nasa.jpf.test.mc.threads.NestedInitTest
  48 gov.nasa.jpf.test.mc.threads.OldClassicTest
  49 gov.nasa.jpf.test.mc.threads.RaceTest
  50 gov.nasa.jpf.test.vm.basic.AssertTest
  51 gov.nasa.jpf.test.vm.basic.CastTest
  52 gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest
  53 gov.nasa.jpf.test.vm.basic.InitializeInterfaceClassObjectRefTest
  54 gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest
  55 gov.nasa.jpf.test.vm.reflection.MethodTest
  56 gov.nasa.jpf.test.vm.threads.JoinTest
  57 gov.nasa.jpf.test.vm.threads.SuspendResumeTest
  58 gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest
  59 gov.nasa.jpf.test.vm.threads.ThreadStopTest
  60 gov.nasa.jpf.test.vm.threads.ThreadTest
  61 gov.nasa.jpf.vm.ClassLoaderInfoTest
  62 gov.nasa.jpf.vm.multiProcess.MethodTest
  63 gov.nasa.jpf.vm.multiProcess.NativePeerTest
  64 gov.nasa.jpf.vm.multiProcess.ThreadTest
  65 gov.nasa.jpf.vm.multiProcess.TypeSeparationTest
  66 java8.LambdaTest