From 269075976069a80d1ef466e99d7193b940a1cbed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dennis=20M=C3=BCller?= Date: Tue, 22 Sep 2020 20:32:06 +0200 Subject: [PATCH] less test duplication --- src/mmt-odk/src/info/kwarc/mmt/odk/ODKTest.scala | 8 ++++---- 1 file changed, 4 insertions(+), 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 index 24e9e44405..c8d99f923f 100644 --- 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")