git.iko.soy/Idris-dev
on master help sign in
Rename tests
commit21002415e7b5fb947831b3b379b2291065266a55 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 3 Aug 2016, 17:43 (10 years ago) parent420aa36
2 files changed+2−2
compare with master
unifiedsplit
idris.cabal+1−1 test/TestRun.hs+1−1
idris.cabal+1−1
@@ -1175,7 +1175,7 @@ Executable idris
11751175 ghc-prof-options: -auto-all -caf-all
11761176 ghc-options: -threaded -rtsopts -funbox-strict-fields
11771177
1178−Test-suite regression-and-sanity-tests
1178+Test-suite regression-and-feature-tests
11791179 Type: exitcode-stdio-1.0
11801180 Main-is: TestRun.hs
11811181 Other-modules: TestData
test/TestRun.hs+1−1
@@ -104,7 +104,7 @@ indexToString index = let str = show index in
104104-- Turns the collection of TestFamily into actual tests usable by Tasty
105105mkGoldenTests :: [TestFamily] -> Flags -> TestTree
106106mkGoldenTests testFamilies flags =
107− testGroup "Regression and sanity tests"
107+ testGroup "Regression and feature tests"
108108 (fmap mkTestFamily testFamilies)
109109 where
110110 mkTestFamily (TestFamily id name tests) =