From 6180d66dfa331f9ea1548598bb313ea96cdc37d3 Mon Sep 17 00:00:00 2001
From: "Pierre.Dontenville" <pierre.dontenville@eurecom.fr>
Date: Sat, 10 Feb 2024 21:28:54 -0500
Subject: [PATCH] remove unused stuff
---
.../src/test/java/tmltranslator/DiplodocusSecurityTest.java | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
index 7db6be1dfe..07d8a113ef 100644
--- a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
+++ b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
@@ -42,11 +42,8 @@ public class DiplodocusSecurityTest extends AbstractTest {
@BeforeClass
public static void setUpBeforeClass() throws Exception {
- String test = System.getProperty("org.gradle.test.worker");
String baseResourcesDir = getBaseResourcesDir();
- if (test == null) {
- baseResourcesDir = "test/resources/";
- }
+
PROVERIF_DIR = baseResourcesDir + DIR_GEN;
MODELS_DIR = baseResourcesDir + DIR_MODELS;
RESOURCES_DIR = baseResourcesDir + DIR_MODELS;
--
GitLab