diff --git a/build.gradle b/build.gradle index 555420f50e18f629f023a005cc81e05fac268b8a..374e116ef111c0eaa4e3d189d782da6bbc8b7914 100644 --- a/build.gradle +++ b/build.gradle @@ -7,6 +7,7 @@ apply plugin: 'findbugs' project.version = '1.0.5-SNAPSHOT' project.group = 'de.prob' + repositories { mavenCentral() maven { @@ -17,6 +18,10 @@ repositories { configurations { // configuration that holds jars to copy into lib releaseJars } + +configurations.all { + resolutionStrategy.cacheChangingModulesFor 0, 'seconds' + } def parser_version = '2.5.0-SNAPSHOT' @@ -68,7 +73,7 @@ tasks.withType(FindBugs) { test { exclude('testing') - allJvmArgs = [ "-Xss515m" ] + //allJvmArgs = [ "-Xss515m" ] } jar { from sourceSets.main.allJava } diff --git a/src/test/resources/regression/uf50_02/uf50_02.tla b/src/test/resources/testing/uf50_02.tla similarity index 100% rename from src/test/resources/regression/uf50_02/uf50_02.tla rename to src/test/resources/testing/uf50_02.tla