Activate exact equivalence checking

1 files changed, 8 insertions, 1 deletions

diff --git a/source/Test/Unit/Migration.hs b/source/Test/Unit/Migration.hs
index 5f27721..0cd48be 100644
--- a/source/Test/Unit/Migration.hs
+++ b/source/Test/Unit/Migration.hs
@@ -145,6 +145,13 @@ selectsCompleteGraphDriver = do
             , "order/quasiorder.tex"
             ]
           )
+        , ( "relation/equivalence.tex"
+          , [ "set.tex"
+            , "set/partition.tex"
+            , "relation.tex"
+            , "order/quasiorder.tex"
+            ]
+          )
         ]
         \(path, expectedImports) -> do
             (phase53, _phase53Measurements) <-
@@ -163,7 +170,7 @@ selectsCompleteGraphDriver = do
                     (Parse.parsedWorkspaceRootModule phase53)
                 ]
     (laterImporter, _laterMeasurements) <-
-        expectRight =<< parseRoot "relation/equivalence.tex"
+        expectRight =<< parseRoot "relation/closure.tex"
     assertEqual "unselected later importer remains legacy"
         LegacyMigrationGraph
         (classifyMigrationGraph selection laterImporter)