Disable tests

Author: ibbem

src/test/java/BadVDiffTest.java

@@ -18,7 +18,9 @@
 
 import java.io.IOException;
 import java.nio.file.Path;
+import org.junit.jupiter.api.Disabled;
 
+@Disabled
 public class BadVDiffTest {
     private static final Path resDir = Constants.RESOURCE_DIR.resolve("badvdiff");
 

src/test/java/CPPParserTest.java

@@ -16,6 +16,8 @@
 import static org.variantsync.diffdetective.util.fide.FormulaUtils.var;
 import static org.variantsync.diffdetective.util.fide.FormulaUtils.negate;
 
+import org.junit.jupiter.api.Disabled;
+@Disabled
 public class CPPParserTest {
     private static record TestCase(String formula, Node expectedFormula, AnnotationType expectedType) {
         public TestCase(String formula, Node expectedFormula) {

src/test/java/Constants.java

@@ -1,5 +1,8 @@
 import java.nio.file.Path;
 
+import org.junit.jupiter.api.Disabled;
+
+@Disabled
 public final class Constants {
     public static final Path RESOURCE_DIR = Path.of("src", "test", "resources");
 }

src/test/java/EditClassesTest.java

@@ -10,6 +10,8 @@
 import java.io.IOException;
 import java.nio.file.Path;
 
+import org.junit.jupiter.api.Disabled;
+@Disabled
 public class EditClassesTest {
     private final static Path testDir = Constants.RESOURCE_DIR.resolve("patterns");
 

src/test/java/ExportTest.java

@@ -18,6 +18,7 @@
 
 import static org.junit.jupiter.api.Assertions.fail;
 
+@Disabled
 public class ExportTest {
     private final static Path RESOURCE_DIR = Path.of("src/test/resources/serialize");
 

src/test/java/FeatureIDETest.java

@@ -16,6 +16,8 @@
 import java.util.HashMap;
 import java.util.Map;
 
+import org.junit.jupiter.api.Disabled;
+@Disabled
 public class FeatureIDETest {
     private static Node createTrue() {
         return new True();

src/test/java/FixTrueFalseTest.java

@@ -15,6 +15,8 @@
 import static org.variantsync.diffdetective.util.fide.FormulaUtils.negate;
 import static org.variantsync.diffdetective.util.fide.FormulaUtils.or;
 
+import org.junit.jupiter.api.Disabled;
+@Disabled
 public class FixTrueFalseTest {
     private record TestCase(Node formula, Node expectedResult) {}
 

src/test/java/GitDifferTest.java

@@ -26,6 +26,8 @@
 
 import static org.junit.jupiter.api.Assertions.fail;
 
+import org.junit.jupiter.api.Disabled;
+@Disabled
 public class GitDifferTest {
     private final static Path testDir = Constants.RESOURCE_DIR.resolve("diffs").resolve("differ");
     private final static Path REPOS_DIR = Constants.RESOURCE_DIR.resolve("repos");

src/test/java/JPPParserTest.java

@@ -31,6 +31,8 @@
 import static org.variantsync.diffdetective.util.fide.FormulaUtils.var;
 
 // Test cases for a parser of https://www.slashdev.ca/javapp/
+import org.junit.jupiter.api.Disabled;
+@Disabled
 public class JPPParserTest {
     private record TestCase<Input, Expected>(Input input, Expected expected) {
     }

src/test/java/LineGraphTest.java

@@ -30,6 +30,8 @@
 /**
  * For testing the import of a line graph.
  */
+import org.junit.jupiter.api.Disabled;
+@Disabled
 public class LineGraphTest {
     private final static LineGraphImportOptions<DiffLinesLabel> IMPORT_OPTIONS = new LineGraphImportOptions<>(
             GraphFormat.VARIATION_DIFF,