[all reports]
| Package |
quickcheck-dynamic-3.4.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-03-01 16:19:48.895929935 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
QuickCheck-2.14.3, base-4.18.1.0, containers-0.6.7, mtl-2.3.1, random-1.2.1.2 |
| Flags |
none
|
Code Coverage
| expressions | 55% (1653/2993) |
|---|
| boolean | guards | 26% (11/41) |
|---|
| conditions | 20% (2/10) |
|---|
| qualifiers | 28% (2/7) |
|---|
| alternatives | 52% (183/349) |
|---|
| local declarations | 55% (38/69) |
|---|
| top-level declarations | 44% (159/358) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.5
Building splitmix-0.1.0.5
Completed splitmix-0.1.0.5
Starting random-1.2.1.2
Building random-1.2.1.2
Completed random-1.2.1.2
Starting QuickCheck-2.14.3
Building QuickCheck-2.14.3
Completed QuickCheck-2.14.3
Downloading quickcheck-dynamic-3.4.0
Downloaded quickcheck-dynamic-3.4.0
Starting quickcheck-dynamic-3.4.0
Building quickcheck-dynamic-3.4.0
Completed quickcheck-dynamic-3.4.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.6.3 -O0
In order, the following will be built (use -v for more details):
- quickcheck-dynamic-3.4.0 (first run)
Configuring quickcheck-dynamic-3.4.0...
Preprocessing library for quickcheck-dynamic-3.4.0..
Building library for quickcheck-dynamic-3.4.0..
[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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/DynamicLogic/CanGenerate.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/DynamicLogic/SmartShrinking.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/DynamicLogic/Utils.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/Extras.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/StateModel/Variables.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/StateModel.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/DynamicLogic/Quantify.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/DynamicLogic/Internal.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/DynamicLogic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/noopt/build/Test/QuickCheck/DynamicLogic.dyn_o )
Preprocessing test suite 'quickcheck-dynamic-test' for quickcheck-dynamic-3.4.0..
Building test suite 'quickcheck-dynamic-test' for quickcheck-dynamic-3.4.0..
[1 of 5] Compiling Spec.DynamicLogic.CounterModel ( test/Spec/DynamicLogic/CounterModel.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test-tmp/Spec/DynamicLogic/CounterModel.o )
[2 of 5] 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.6.3/quickcheck-dynamic-3.4.0/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test-tmp/Spec/DynamicLogic/Registry.o )
[3 of 5] 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.6.3/quickcheck-dynamic-3.4.0/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test-tmp/Spec/DynamicLogic/RegistryModel.o )
[4 of 5] Compiling Test.QuickCheck.DynamicLogic.QuantifySpec ( test/Test/QuickCheck/DynamicLogic/QuantifySpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test-tmp/Test/QuickCheck/DynamicLogic/QuantifySpec.o )
[5 of 5] Compiling Main ( test/Spec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/noopt/build/quickcheck-dynamic-test/quickcheck-dynamic-test-tmp/Main.o )
[6 of 6] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-dynamic-3.4.0/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.4.0.test
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.CanGenerate.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.StateModel.Variables.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.StateModel.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.Extras.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.Utils.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.SmartShrinking.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.Quantify.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.Internal.hs.html
Writing: quickcheck-dynamic-3.4.0-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.6.3/quickcheck-dynamic-3.4.0/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.4.0-inplace/Test.QuickCheck.DynamicLogic.CanGenerate.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.StateModel.Variables.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.StateModel.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.Extras.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.Utils.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.SmartShrinking.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.Quantify.hs.html
Writing: quickcheck-dynamic-3.4.0-inplace/Test.QuickCheck.DynamicLogic.Internal.hs.html
Writing: quickcheck-dynamic-3.4.0-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.6.3/quickcheck-dynamic-3.4.0/noopt/hpc/vanilla/html/quickcheck-dynamic-3.4.0/hpc_index.html