[tests] Make graph tests actual golden tests (#415)

Turn our existing graph tests into golden tests. Delete test infrastructure for building graphs by hand as expected values. This is trading effort spent building graphs by hand for slightly more effort scrutinising verbose graphs.
CQCL · Jul 23, 2024 · 34a8179 · 34a8179
1 parent 3dda869
commit 34a8179
Show file tree

Hide file tree

Showing 32 changed files with 405 additions and 923 deletions.
diff --git a/brat/brat.cabal b/brat/brat.cabal
@@ -156,12 +156,10 @@ test-suite tests
   main-is:             Main.hs
   other-modules:       Test.Abstractor,
                        Test.Checking,
-                       Test.Circuit.Common,
-                       Test.Circuit.Graph,
                        Test.Compile.Hugr,
-                       Test.Constructors,
                        Test.Elaboration,
                        Test.Failure,
+                       Test.Graph,
                        Test.Libs,
                        Test.Parsing,
                        Test.Naming,

diff --git a/brat/test/Main.hs b/brat/test/Main.hs
@@ -3,9 +3,8 @@ import Test.Tasty.Silver.Interactive (defaultMain)
 
 import Test.Abstractor
 import Test.Checking
-import Test.Circuit.Graph
+import Test.Graph
 import Test.Compile.Hugr
-import Test.Constructors
 import Test.Elaboration
 import Test.Failure
 import Test.Libs
@@ -21,6 +20,7 @@ main = do
   checkingTests <- getCheckingTests
   parsingTests <- getParsingTests
   compilationTests <- setupCompilationTests
+  graphTests <- getGraphTests
   defaultMain $ testGroup "All" [graphTests
                                 ,failureTests
                                 ,checkingTests
@@ -29,7 +29,6 @@ main = do
                                 ,nameTests
                                 ,parsingTests
                                 ,searchTests
-                                ,constructorTests
                                 ,elaborationTests
                                 ,substitutionTests
                                 ,abstractorTests

diff --git a/brat/test/Test/Circuit/Common.hs b/brat/test/Test/Circuit/Common.hs