Add a test for #5213 with coverage instead of library-coverage

and with `optimization: False`.

Author: Mikolaj

cabal-testsuite/PackageTests/Regression/T5213ExeCoverage/cabal-gh5213.cabal

@@ -0,0 +1,29 @@
+-- Initial cabal-gh5213.cabal generated by cabal init.  For further
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+name:                cabal-gh5213
+version:             0.1
+-- synopsis:
+-- description:
+license:             BSD3
+author:              Ryan Scott
+maintainer:          [email protected]
+-- copyright:
+category:            Testing
+build-type:          Simple
+cabal-version:       >=1.10
+
+library
+  exposed-modules:     CabalGH5213Exposed
+  other-modules:       CabalGH5213Other
+  -- other-extensions:
+  build-depends:       base >= 4 && < 5
+  hs-source-dirs:      src
+  default-language:    Haskell2010
+
+test-suite tests
+  main-is:             Main.hs
+  type:                exitcode-stdio-1.0
+  build-depends:       base, cabal-gh5213
+  hs-source-dirs:      tests
+  default-language:    Haskell2010

cabal-testsuite/PackageTests/Regression/T5213ExeCoverage/cabal.out

@@ -0,0 +1,20 @@
+# cabal new-test
+Resolving dependencies...
+Build profile: -w ghc-<GHCVER> -O1
+In order, the following will be built:
+ - cabal-gh5213-0.1 (lib) (first run)
+ - cabal-gh5213-0.1 (test:tests) (first run)
+Configuring library for cabal-gh5213-0.1..
+Preprocessing library for cabal-gh5213-0.1..
+Building library for cabal-gh5213-0.1..
+Configuring test suite 'tests' for cabal-gh5213-0.1..
+Warning: The package has an extraneous version range for a dependency on an internal library: cabal-gh5213 >=0 && ==0.1. This version range includes the current package but isn't needed as the current package's library will always be used.
+Preprocessing test suite 'tests' for cabal-gh5213-0.1..
+Building test suite 'tests' for cabal-gh5213-0.1..
+Running 1 test suites...
+Test suite tests: RUNNING...
+Test suite tests: PASS
+Test suite logged to: <ROOT>/cabal.dist/work/./dist/build/<ARCH>/ghc-<GHCVER>/cabal-gh5213-0.1/t/tests/test/cabal-gh5213-0.1-tests.log
+Test coverage report written to <ROOT>/cabal.dist/work/./dist/build/<ARCH>/ghc-<GHCVER>/cabal-gh5213-0.1/t/tests/hpc/vanilla/html/tests/hpc_index.html
+1 of 1 test suites (1 of 1 test cases) passed.
+Package coverage report written to <ROOT>/cabal.dist/work/./dist/build/<ARCH>/ghc-<GHCVER>/cabal-gh5213-0.1/t/tests/hpc/vanilla/html/cabal-gh5213-0.1/hpc_index.html

cabal-testsuite/PackageTests/Regression/T5213ExeCoverage/cabal.project

@@ -0,0 +1,5 @@
+packages: .
+
+package cabal-gh5213
+  coverage: True
+  optimization: False

cabal-testsuite/PackageTests/Regression/T5213ExeCoverage/cabal.test.hs

@@ -0,0 +1,2 @@
+import Test.Cabal.Prelude
+main = cabalTest $ cabal "new-test" []

cabal-testsuite/PackageTests/Regression/T5213ExeCoverage/src/CabalGH5213Exposed.hs

@@ -0,0 +1,6 @@
+module CabalGH5213Exposed where
+
+import CabalGH5213Other
+
+foo :: Int
+foo = bar

cabal-testsuite/PackageTests/Regression/T5213ExeCoverage/src/CabalGH5213Other.hs

@@ -0,0 +1,4 @@
+module CabalGH5213Other where
+
+bar :: Int
+bar = 42

cabal-testsuite/PackageTests/Regression/T5213ExeCoverage/tests/Main.hs

@@ -0,0 +1,6 @@
+module Main where
+
+import CabalGH5213Exposed
+
+main :: IO ()
+main = print foo