Info: HaskellPropertyBasedTesting integration found: Cabal-QuickCheck/src/Test/QuickCheck/GenericArbitrary.hs:10
Info: HaskellPropertyBasedTesting integration found: Cabal-QuickCheck/src/Test/QuickCheck/Instances/Cabal.hs:14
Info: HaskellPropertyBasedTesting integration found: Cabal-QuickCheck/src/Test/QuickCheck/Instances/Cabal.hs:45
Info: HaskellPropertyBasedTesting integration found: Cabal-described/src/Distribution/Described.hs:52
Info: HaskellPropertyBasedTesting integration found: Cabal-described/src/Distribution/Described.hs:54
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/RPMVerCmp.hs:10
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/RPMVerCmp.hs:13
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/CabalSpecVersion.hs:13
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/CabalSpecVersion.hs:16
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Compat/Graph.hs:14
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Described.hs:28
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/PackageDescription/Check.hs:15
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/PkgconfigVersion.hs:4
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/PkgconfigVersion.hs:10
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/SPDX.hs:12
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/SPDX.hs:14
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/System.hs:10
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/System.hs:11
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/System.hs:12
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Utils/Generic.hs:19
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Utils/NubList.hs:13
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Utils/ShortText.hs:7
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Version.hs:18
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Version.hs:19
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Version.hs:21
Info: HaskellPropertyBasedTesting integration found: Cabal/src/Distribution/Verbosity.hs:376
Info: HaskellPropertyBasedTesting integration found: cabal-install-solver/tests/UnitTests/Distribution/Solver/Modular/MessageUtils.hs:8
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/ArbitraryInstances.hs:48
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/ArbitraryInstances.hs:66
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/ArbitraryInstances.hs:67
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/BuildReport.hs:11
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/BuildReport.hs:13
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/BuildReport.hs:19
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/Described.hs:7
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/GZipUtils.hs:18
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/Glob.hs:15
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/IndexUtils/Timestamp.hs:11
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/InstallPlan.hs:30
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/InstallPlan.hs:33
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/JobControl.hs:15
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/ProjectConfig.hs:68
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/VCS.hs:39
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/Builder.hs:9
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck.hs:16
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck.hs:17
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck/Utils.hs:14
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck/Utils.hs:18
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/RetryLog.hs:14
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/WeightedPSQ.hs:13
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Types/OptionalStanza.hs:9
Info: HaskellPropertyBasedTesting integration found: Cabal-QuickCheck/src/Test/QuickCheck/GenericArbitrary.hs:10
Info: HaskellPropertyBasedTesting integration found: Cabal-QuickCheck/src/Test/QuickCheck/Instances/Cabal.hs:14
Info: HaskellPropertyBasedTesting integration found: Cabal-QuickCheck/src/Test/QuickCheck/Instances/Cabal.hs:45
Info: HaskellPropertyBasedTesting integration found: Cabal-described/src/Distribution/Described.hs:52
Info: HaskellPropertyBasedTesting integration found: Cabal-described/src/Distribution/Described.hs:54
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/RPMVerCmp.hs:10
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/RPMVerCmp.hs:13
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/CabalSpecVersion.hs:13
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/CabalSpecVersion.hs:16
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Compat/Graph.hs:14
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Described.hs:28
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/PackageDescription/Check.hs:15
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/PkgconfigVersion.hs:4
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/PkgconfigVersion.hs:10
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/SPDX.hs:12
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/SPDX.hs:14
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/System.hs:10
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/System.hs:11
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/System.hs:12
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Utils/Generic.hs:19
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Utils/NubList.hs:13
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Utils/ShortText.hs:7
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Version.hs:18
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Version.hs:19
Info: HaskellPropertyBasedTesting integration found: Cabal-tests/tests/UnitTests/Distribution/Version.hs:21
Info: HaskellPropertyBasedTesting integration found: Cabal/src/Distribution/Verbosity.hs:376
Info: HaskellPropertyBasedTesting integration found: cabal-install-solver/tests/UnitTests/Distribution/Solver/Modular/MessageUtils.hs:8
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/ArbitraryInstances.hs:48
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/ArbitraryInstances.hs:66
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/ArbitraryInstances.hs:67
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/BuildReport.hs:11
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/BuildReport.hs:13
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/BuildReport.hs:19
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/Described.hs:7
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/GZipUtils.hs:18
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/Glob.hs:15
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/IndexUtils/Timestamp.hs:11
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/InstallPlan.hs:30
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/InstallPlan.hs:33
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/JobControl.hs:15
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/ProjectConfig.hs:68
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Client/VCS.hs:39
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/Builder.hs:9
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck.hs:16
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck.hs:17
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck/Utils.hs:14
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck/Utils.hs:18
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/RetryLog.hs:14
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Modular/WeightedPSQ.hs:13
Info: HaskellPropertyBasedTesting integration found: cabal-install/tests/UnitTests/Distribution/Solver/Types/OptionalStanza.hs:9