1 files changed, 1 insertions, 16 deletions
diff --git a/source/Test/Unit.hs b/source/Test/Unit.hs
index 302a6cf..3e5817c 100644
--- a/source/Test/Unit.hs
+++ b/source/Test/Unit.hs
@@ -2,15 +2,12 @@ module Test.Unit where
 
 
 import Test.Tasty
-import Test.Tasty.HUnit
 import Test.Unit.Abstract qualified as Abstract
 import Test.Unit.Backend qualified as Backend
-import Test.Unit.Checking qualified as Checking
 import Test.Unit.CommandLine qualified as CommandLine
 import Test.Unit.Concrete qualified as Concrete
 import Test.Unit.Core qualified as Core
 import Test.Unit.Declaration qualified as Declaration
-import Test.Unit.Encoding qualified as Encoding
 import Test.Unit.Foundation qualified as Foundation
 import Test.Unit.Identity qualified as Identity
 import Test.Unit.Html qualified as Html
@@ -21,26 +18,21 @@ import Test.Unit.Lexicon qualified as Lexicon
 import Test.Unit.Meaning qualified as Meaning
 import Test.Unit.Materialization qualified as Materialization
 import Test.Unit.Module qualified as Module
-import Test.Unit.Migration qualified as Migration
 import Test.Unit.OutputPlan qualified as OutputPlan
 import Test.Unit.Provers qualified as Provers
 import Test.Unit.Semantic qualified as Semantic
 import Test.Unit.Source qualified as Source
 import Test.Unit.Store qualified as Store
-import Test.Unit.Symdiff qualified as Symdiff
 import Test.Unit.Token qualified as Token
 
 unitTests :: TestTree
 unitTests = testGroup "unit tests"
-    [testCase "filter" filtersWell
-    , Abstract.unitTests
+    [ Abstract.unitTests
     , Backend.unitTests
-    , Checking.unitTests
     , CommandLine.unitTests
     , Concrete.unitTests
     , Core.unitTests
     , Declaration.unitTests
-    , Encoding.unitTests
     , Foundation.unitTests
     , Identity.unitTests
     , Html.unitTests
@@ -51,7 +43,6 @@ unitTests = testGroup "unit tests"
     , Meaning.unitTests
     , Materialization.unitTests
     , Module.unitTests
-    , Migration.unitTests
     , OutputPlan.unitTests
     , Provers.unitTests
     , Semantic.unitTests
@@ -59,9 +50,3 @@ unitTests = testGroup "unit tests"
     , Store.unitTests
     , Token.unitTests
     ]
-
-
-filtersWell :: Assertion
-filtersWell = do
-    assertBool "Filter works on symdiff problem" Symdiff.filtersWell
-    assertBool "Filter handles struct/app syntax" Symdiff.handlesStructAndApply