Skip to content
Snippets Groups Projects
Commit 6180d66d authored by Pierre Dontenville's avatar Pierre Dontenville
Browse files

remove unused stuff

parent 9f191b6d
No related branches found
No related tags found
1 merge request!485Avatar security tests
...@@ -42,11 +42,8 @@ public class DiplodocusSecurityTest extends AbstractTest { ...@@ -42,11 +42,8 @@ public class DiplodocusSecurityTest extends AbstractTest {
@BeforeClass @BeforeClass
public static void setUpBeforeClass() throws Exception { public static void setUpBeforeClass() throws Exception {
String test = System.getProperty("org.gradle.test.worker");
String baseResourcesDir = getBaseResourcesDir(); String baseResourcesDir = getBaseResourcesDir();
if (test == null) {
baseResourcesDir = "test/resources/";
}
PROVERIF_DIR = baseResourcesDir + DIR_GEN; PROVERIF_DIR = baseResourcesDir + DIR_GEN;
MODELS_DIR = baseResourcesDir + DIR_MODELS; MODELS_DIR = baseResourcesDir + DIR_MODELS;
RESOURCES_DIR = baseResourcesDir + DIR_MODELS; RESOURCES_DIR = baseResourcesDir + DIR_MODELS;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment