git.iko.soy/Idris-dev
on master help sign in
Rename tests
2100241Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -1175,7 +1175,7 @@ Executable idris
1175 ghc-prof-options: -auto-all -caf-all
1175 ghc-prof-options: -auto-all -caf-all
1176 ghc-options: -threaded -rtsopts -funbox-strict-fields
1176 ghc-options: -threaded -rtsopts -funbox-strict-fields
1177
1177
1178−Test-suite regression-and-sanity-tests
1178+Test-suite regression-and-feature-tests
1179 Type: exitcode-stdio-1.0
1179 Type: exitcode-stdio-1.0
1180 Main-is: TestRun.hs
1180 Main-is: TestRun.hs
1181 Other-modules: TestData
1181 Other-modules: TestData
test/TestRun.hs+1−1
@@ -104,7 +104,7 @@ indexToString index = let str = show index in
104-- Turns the collection of TestFamily into actual tests usable by Tasty
104-- Turns the collection of TestFamily into actual tests usable by Tasty
105mkGoldenTests :: [TestFamily] -> Flags -> TestTree
105mkGoldenTests :: [TestFamily] -> Flags -> TestTree
106mkGoldenTests testFamilies flags =
106mkGoldenTests testFamilies flags =
107− testGroup "Regression and sanity tests"
107+ testGroup "Regression and feature tests"
108 (fmap mkTestFamily testFamilies)
108 (fmap mkTestFamily testFamilies)
109 where
109 where
110 mkTestFamily (TestFamily id name tests) =
110 mkTestFamily (TestFamily id name tests) =