From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Thu, 31 May 2018 14:13:47 +0000 (-0300)
Subject: Added ignored tests (Fixes #56)
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=9c1beaa0b65e80ba761f31b309319b53fb854f6a

Added ignored tests (Fixes #56)
---

diff --git a/build.gradle b/build.gradle
index e53f7e5..2254be0 100644
--- a/build.gradle
+++ b/build.gradle
@@ -230,12 +230,6 @@ test {
     exclude "**/SplitInputStreamTest.class"
     exclude "**/JPF_*.class"
 
-    // XXX Tests temporarily ignored because they are not fully supported in the Gradle build yet
-    new File("failing-tests.txt").eachLine { failedTestClass ->
-        def ignoredPath = "**/" + failedTestClass.replace(".", "/") + ".class"
-        exclude ignoredPath
-    }
-
     testLogging {
         events "passed", "skipped", "failed"
     }
diff --git a/failing-tests.txt b/failing-tests.txt
deleted file mode 100644
index 60ff194..0000000
--- a/failing-tests.txt
+++ /dev/null
@@ -1,66 +0,0 @@
-gov.nasa.jpf.test.basic.HarnessTest
-gov.nasa.jpf.test.basic.ListenerTest
-gov.nasa.jpf.test.basic.MJITest
-gov.nasa.jpf.test.basic.TestJPFMainTest
-gov.nasa.jpf.test.basic.TestJPFNoMainTest
-gov.nasa.jpf.test.java.concurrent.CountDownLatchTest
-gov.nasa.jpf.test.java.concurrent.ExchangerTest
-gov.nasa.jpf.test.java.lang.ClassTest
-gov.nasa.jpf.test.java.lang.RuntimeTest
-gov.nasa.jpf.test.java.lang.SystemTest
-gov.nasa.jpf.test.java.net.URLClassLoaderTest
-gov.nasa.jpf.test.mc.basic.BreakTest
-gov.nasa.jpf.test.mc.basic.CGNotificationTest
-gov.nasa.jpf.test.mc.basic.CascadedCGTest
-gov.nasa.jpf.test.mc.basic.ExtendTransitionTest
-gov.nasa.jpf.test.mc.basic.FinalBreakTest
-gov.nasa.jpf.test.mc.basic.FinalFieldChoiceTest
-gov.nasa.jpf.test.mc.basic.LocalVarInfoTest
-gov.nasa.jpf.test.mc.basic.MethodListenerTest
-gov.nasa.jpf.test.mc.basic.NoJPFExecTest
-gov.nasa.jpf.test.mc.basic.NullTrackerTest
-gov.nasa.jpf.test.mc.basic.OOMEInjectorTest
-gov.nasa.jpf.test.mc.basic.SearchMultipleTest
-gov.nasa.jpf.test.mc.basic.SharedPropagationTest
-gov.nasa.jpf.test.mc.basic.SharedRefTest
-gov.nasa.jpf.test.mc.basic.StackDepthCheckerTest
-gov.nasa.jpf.test.mc.basic.StatelessTest
-gov.nasa.jpf.test.mc.basic.TraceTest
-gov.nasa.jpf.test.mc.basic.VerifyTest
-gov.nasa.jpf.test.mc.data.CrossingTest
-gov.nasa.jpf.test.mc.data.DataChoiceTest
-gov.nasa.jpf.test.mc.data.DynamicAbstractionTest
-gov.nasa.jpf.test.mc.data.EventGeneratorTest
-gov.nasa.jpf.test.mc.data.NumericValueCheckerTest
-gov.nasa.jpf.test.mc.data.PerturbatorTest
-gov.nasa.jpf.test.mc.data.RandomTest
-gov.nasa.jpf.test.mc.data.StopWatchFuzzerTest
-gov.nasa.jpf.test.mc.data.TypedObjectChoiceTest
-gov.nasa.jpf.test.mc.threads.AtomicTest
-gov.nasa.jpf.test.mc.threads.ClinitTest
-gov.nasa.jpf.test.mc.threads.DaemonTest
-gov.nasa.jpf.test.mc.threads.DeadlockTest
-gov.nasa.jpf.test.mc.threads.ExceptionalThreadChoiceTest
-gov.nasa.jpf.test.mc.threads.HORaceTest
-gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest
-gov.nasa.jpf.test.mc.threads.MissedPathTest
-gov.nasa.jpf.test.mc.threads.NestedInitTest
-gov.nasa.jpf.test.mc.threads.OldClassicTest
-gov.nasa.jpf.test.mc.threads.RaceTest
-gov.nasa.jpf.test.vm.basic.AssertTest
-gov.nasa.jpf.test.vm.basic.CastTest
-gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest
-gov.nasa.jpf.test.vm.basic.InitializeInterfaceClassObjectRefTest
-gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest
-gov.nasa.jpf.test.vm.reflection.MethodTest
-gov.nasa.jpf.test.vm.threads.JoinTest
-gov.nasa.jpf.test.vm.threads.SuspendResumeTest
-gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest
-gov.nasa.jpf.test.vm.threads.ThreadStopTest
-gov.nasa.jpf.test.vm.threads.ThreadTest
-gov.nasa.jpf.vm.ClassLoaderInfoTest
-gov.nasa.jpf.vm.multiProcess.MethodTest
-gov.nasa.jpf.vm.multiProcess.NativePeerTest
-gov.nasa.jpf.vm.multiProcess.ThreadTest
-gov.nasa.jpf.vm.multiProcess.TypeSeparationTest
-java8.LambdaTest