Merge branch 'develop' into 'master'

Reset prev version of VerifierType

See merge request fg-bks/br-verification-tool!25

dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java

@@ -25,7 +25,7 @@ public enum VerifierType {
       false),
   Equivalent("Checking for synonyms in columns.", EquivalentVerifier.class, true, false, false),
   Overlap("Checking for overlapping rules.", OverlappingVerifier.class, true, true, false),
-  Missing("Checking for missing rules.", MissingVerifier.class, false, false, false),
+  Missing("Checking for missing rules.", MissingVerifier.class, true, false, false),
   PartialReduction(
       "Checking for partial reduction of rules (combination).",
       PartialReductionVerifier.class,
@@ -41,31 +41,31 @@ public enum VerifierType {
   MultiTableIdentical(
       "Checking for identical rules in multiple tables with identical outcome column.",
       MultiTableIdenticalVerifier.class,
-      false,
+      true,
       true,
       true),
   MultiTableOverlapping(
       "Checking for overlapping rules in multiple tables with identical outcome column.",
       MultiTableOverlappingVerifier.class,
-      false,
+      true,
       true,
       true),
   MultiTableSubsumption(
       "Checking for subsumptions in multiple tables with identical outcome column.",
       MultiTableSubsumptionVerifier.class,
-      false,
+      true,
       true,
       true),
   MultiTableEquivalent(
       "Checking for synonyms in columns in multiple tables with identical outcome column.",
       MultiTableEquivalentVerifier.class,
-      false,
+      true,
       false,
       true),
   MultiTablePartialReduction(
       "Checking for partial reduction of rules (combination) in multiple tables with identical outcome column.",
       MultiTablePartialReductionVerifier.class,
-      false,
+      true,
       false,
       true);