1 files changed, 0 insertions, 43 deletions
diff --git a/source/Test/Golden.hs b/source/Test/Golden.hs
index a62df9e..e230c26 100644
--- a/source/Test/Golden.hs
+++ b/source/Test/Golden.hs
@@ -5,14 +5,8 @@ module Test.Golden where
 
 
 import Api qualified
-import Provers qualified
-import Tptp.UnsortedFirstOrder (toText)
 import Base
-import Provers (defaultTimeLimit)
 
-import Control.Monad.Logger
-import Data.Text qualified as Text
-import Data.Text.IO qualified as TextIO
 import Data.Text.Lazy.IO qualified as LazyTextIO
 import System.Directory
 import System.FilePath
@@ -20,7 +14,6 @@ import Test.Tasty
 import Test.Tasty.Golden (goldenVsFile, findByExtension)
 import Text.Pretty.Simple (pShowNoColor)
 import UnliftIO
-import UnliftIO.Environment
 goldenTests :: IO TestTree
 goldenTests = goldenTestGroup
 
@@ -29,10 +22,6 @@ goldenTestGroup = testGroup "golden tests" <$> sequence
     [ tokenizing
     , scanning
     , parsing
-    , glossing
-    , generatingTasks
-    , encodingTasks
-    , verification
     ]
 
 
@@ -93,35 +82,3 @@ parsing :: MonadUnliftIO io => io TestTree
 parsing = makeGoldenTest "parsing" $ \Triple{..} -> do
     parseResult <- Api.parse input
     liftIO (LazyTextIO.writeFile output (pShowNoColor parseResult))
-
-
-glossing :: MonadUnliftIO io => io TestTree
-glossing = makeGoldenTest "glossing" $ \Triple{..} -> do
-    interpretationResult <- Api.gloss input
-    liftIO (LazyTextIO.writeFile output (pShowNoColor interpretationResult))
-
-
-generatingTasks :: MonadUnliftIO io => io TestTree
-generatingTasks = makeGoldenTest "generating tasks" $ \Triple{..} -> do
-    tasks <- Api.generateTasks input
-    liftIO $ LazyTextIO.writeFile output (pShowNoColor tasks)
-
-
-encodingTasks :: MonadUnliftIO io => io TestTree
-encodingTasks = makeGoldenTest "encoding tasks" $ \Triple{..} -> do
-    tasks <- Api.encodeTasks input
-    liftIO (TextIO.writeFile output (Text.intercalate "\n------------------\n" (toText <$> tasks)))
-
-
-verification :: MonadUnliftIO io => io TestTree
-verification = makeGoldenTest "verification" $ \Triple{..} -> do
-    vampirePathPath <- (?? "vampire") <$> lookupEnv "NAPROCHE_ZF_VAMPIRE"
-    let defaultVampire =
-            Provers.vampire
-                vampirePathPath
-                Provers.defaultTimeLimit
-                Provers.defaultMemoryLimit
-    answers <-
-        runNoLoggingT (Api.verify defaultVampire input)
-            >>= either throwIO pure
-    liftIO (LazyTextIO.writeFile output (pShowNoColor answers))