less test duplication

UniFormal · Sep 22, 2020 · 2690759 · 2690759
1 parent f908f1a
commit 2690759
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/mmt-odk/src/info/kwarc/mmt/odk/ODKTest.scala b/src/mmt-odk/src/info/kwarc/mmt/odk/ODKTest.scala
@@ -64,11 +64,11 @@ object LATIN2Test extends MMTIntegrationTest(
   ExtensionSpec("info.kwarc.mmt.odk.Plugin")
 ){
   def main(): Unit = {
-    shouldClearTarget("MMT/urtheories", "bin")
-    shouldHandleLine("build MMT/urtheories scala-bin")
+    //shouldClearTarget("MMT/urtheories", "bin")
+    //shouldHandleLine("build MMT/urtheories scala-bin")
 
-    shouldClearTarget("MMT/LFX", "bin")
-    shouldHandleLine("build MMT/LFX scala-bin")
+    //shouldClearTarget("MMT/LFX", "bin")
+    //shouldHandleLine("build MMT/LFX scala-bin")
 
     shouldClearTarget("MMT/LATIN2", "bin")
     shouldHandleLine("build MMT/LATIN2 scala-bin")