From c21bc40cbcbe6720e991cb1aedc6a04c906fc1aa Mon Sep 17 00:00:00 2001
From: dohan <dohan001@hhu.de>
Date: Wed, 18 Oct 2017 14:58:02 +0200
Subject: [PATCH] delete generated files
---
src/test/java/de/tla2b/main/MainTest.java | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/src/test/java/de/tla2b/main/MainTest.java b/src/test/java/de/tla2b/main/MainTest.java
index a8e832b..ce0d3ab 100644
--- a/src/test/java/de/tla2b/main/MainTest.java
+++ b/src/test/java/de/tla2b/main/MainTest.java
@@ -1,5 +1,7 @@
package de.tla2b.main;
+import java.io.File;
+
import org.junit.Test;
import de.tla2b.TLA2B;
@@ -8,8 +10,9 @@ public class MainTest {
@Test
public void testClub() throws Exception {
- String file = "src/test/resources/regression/Club/Club.tla";
- TLA2B.main(new String[] { file });
+ String dir = "src/test/resources/regression/Club/";
+ TLA2B.main(new String[] { dir + "Club.tla" });
+ new File(dir + "Club_tla.txt").deleteOnExit();
}
-
+
}
--
GitLab