X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=build.gradle;fp=build.gradle;h=2254be02c5ba9bccde982a3cc6f919f3b14df387;hp=e53f7e577ff6066080ad6241cb0e84acdbcf9391;hb=9c1beaa0b65e80ba761f31b309319b53fb854f6a;hpb=3d90910a7399dd47a7d26794a174a797efa86b62

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"
     }