Removed .dot file from resources

s0mark · Sep 14, 2017 · a58167d · a58167d
1 parent 4609a7e
commit a58167d
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 42 deletions.
diff --git a/...eta.formalism.sts/src/test/java/hu/bme/mit/theta/formalism/sts/aiger/AIGERLoaderTest.java b/...eta.formalism.sts/src/test/java/hu/bme/mit/theta/formalism/sts/aiger/AIGERLoaderTest.java
@@ -1,26 +1,20 @@
-package hu.bme.mit.theta.formalism.sts.aiger;
-
-import java.io.IOException;
-
-import org.junit.Test;
-
-import hu.bme.mit.theta.formalism.sts.STS;
-import hu.bme.mit.theta.formalism.sts.aiger.AigerParser;
-import hu.bme.mit.theta.formalism.sts.aiger.CompactingAigerParser;
-import hu.bme.mit.theta.formalism.sts.aiger.AigerVisualizer;
-
-public class AIGERLoaderTest {
-
-	@Test
-	public void testAIGERLoader() throws IOException {
-		AigerParser loader = null;
-		// loader = new AIGERLoaderSimple();
-		loader = new CompactingAigerParser();
-		final STS sts = loader.parse("src/test/resources/simple3.aag");
-
-		AigerVisualizer.visualize("src/test/resources/simple3.aag", "src/test/resources/simple3.dot");
-
-		System.out.println(sts);
-	}
-
-}
+package hu.bme.mit.theta.formalism.sts.aiger;
+
+import java.io.IOException;
+
+import org.junit.Test;
+
+import hu.bme.mit.theta.formalism.sts.STS;
+
+public class AIGERLoaderTest {
+
+	@Test
+	public void testAIGERLoader() throws IOException {
+		AigerParser loader = null;
+		// loader = new AIGERLoaderSimple();
+		loader = new CompactingAigerParser();
+		final STS sts = loader.parse("src/test/resources/simple3.aag");
+		System.out.println(sts);
+	}
+
+}
diff --git a/hu.bme.mit.theta.formalism.sts/src/test/resources/simple3.dot b/hu.bme.mit.theta.formalism.sts/src/test/resources/simple3.dot