[all reports]
Package |
quickcheck-dynamic-3.3.1 |
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2023-09-06 07:06:48.598703545 UTC
|
Compiler |
ghc-9.2.4 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
QuickCheck-2.14.3, base-4.16.3.0, containers-0.6.5.1, mtl-2.2.2, random-1.2.1.1 |
Flags |
none
|
Code Coverage
expressions | 54% (1615/2943) |
boolean | guards | 26% (10/38) |
conditions | 20% (2/10) |
qualifiers | 28% (2/7) |
alternatives | 52% (179/343) |
local declarations | 55% (38/69) |
top-level declarations | 55% (150/272) |
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.4
Building splitmix-0.1.0.4
Completed splitmix-0.1.0.4
Starting random-1.2.1.1
Building random-1.2.1.1
Completed random-1.2.1.1
Starting QuickCheck-2.14.3
Building QuickCheck-2.14.3
Completed QuickCheck-2.14.3
Downloading quickcheck-dynamic-3.3.1
Downloaded quickcheck-dynamic-3.3.1
Starting quickcheck-dynamic-3.3.1
Building quickcheck-dynamic-3.3.1
Completed quickcheck-dynamic-3.3.1
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
- quickcheck-dynamic-3.3.1 (first run)
Configuring quickcheck-dynamic-3.3.1...
Preprocessing library for quickcheck-dynamic-3.3.1..
Building library for quickcheck-dynamic-3.3.1..
[1 of 9] Compiling Test.QuickCheck.DynamicLogic.CanGenerate ( src/Test/QuickCheck/DynamicLogic/CanGenerate.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/CanGenerate.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/CanGenerate.dyn_o )
[2 of 9] Compiling Test.QuickCheck.DynamicLogic.SmartShrinking ( src/Test/QuickCheck/DynamicLogic/SmartShrinking.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/SmartShrinking.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/SmartShrinking.dyn_o )
[3 of 9] Compiling Test.QuickCheck.DynamicLogic.Utils ( src/Test/QuickCheck/DynamicLogic/Utils.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/Utils.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/Utils.dyn_o )
[4 of 9] Compiling Test.QuickCheck.Extras ( src/Test/QuickCheck/Extras.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/Extras.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/Extras.dyn_o )
[5 of 9] Compiling Test.QuickCheck.StateModel.Variables ( src/Test/QuickCheck/StateModel/Variables.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/StateModel/Variables.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/StateModel/Variables.dyn_o )
[6 of 9] Compiling Test.QuickCheck.StateModel ( src/Test/QuickCheck/StateModel.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/StateModel.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/StateModel.dyn_o )
[7 of 9] Compiling Test.QuickCheck.DynamicLogic.Quantify ( src/Test/QuickCheck/DynamicLogic/Quantify.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/Quantify.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/Quantify.dyn_o )
[8 of 9] Compiling Test.QuickCheck.DynamicLogic.Internal ( src/Test/QuickCheck/DynamicLogic/Internal.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/Internal.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic/Internal.dyn_o )
[9 of 9] Compiling Test.QuickCheck.DynamicLogic ( src/Test/QuickCheck/DynamicLogic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/Test/QuickCheck/DynamicLogic.dyn_o )
Preprocessing test suite 'quickcheck-dynamic-test' for quickcheck-dynamic-3.3.1..
Building test suite 'quickcheck-dynamic-test' for quickcheck-dynamic-3.3.1..
[1 of 3] Compiling Spec.DynamicLogic.Registry ( test/Spec/DynamicLogic/Registry.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test-tmp/Spec/DynamicLogic/Registry.o )
[2 of 3] Compiling Spec.DynamicLogic.RegistryModel ( test/Spec/DynamicLogic/RegistryModel.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test-tmp/Spec/DynamicLogic/RegistryModel.o )
[3 of 3] Compiling Main ( test/Spec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test ...
Running 1 test suites...
Test suite quickcheck-dynamic-test: RUNNING...
Test suite quickcheck-dynamic-test: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/quickcheck-dynamic-3.3.1.test
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.CanGenerate.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.StateModel.Variables.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.StateModel.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.Extras.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.Utils.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.SmartShrinking.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.Quantify.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.Internal.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/hpc/vanilla/html/quickcheck-dynamic-test/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.CanGenerate.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.StateModel.Variables.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.StateModel.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.Extras.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.Utils.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.SmartShrinking.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.Quantify.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.Internal.hs.html
Writing: quickcheck-dynamic-3.3.1-inplace/Test.QuickCheck.DynamicLogic.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/quickcheck-dynamic-3.3.1/noopt/hpc/vanilla/html/quickcheck-dynamic-3.3.1/hpc_index.html