[all reports]
| Package |
quickcheck-lockstep-0.5.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-03-25 10:42:50.472965222 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
QuickCheck-2.14.3, base-4.18.1.0, constraints-0.13.4, containers-0.6.7, mtl-2.3.1, quickcheck-dynamic-3.4.1 |
| Flags |
none
|
Code Coverage
| expressions | 81% (341/416) |
|---|
| boolean | guards | 50% (1/2) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 45% (17/37) |
|---|
| local declarations | 80% (12/15) |
|---|
| top-level declarations | 67% (44/65) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.5
Starting type-equality-1
Starting transformers-compat-0.7.2
Starting filepath-1.4.300.1
Building splitmix-0.1.0.5
Building type-equality-1
Building transformers-compat-0.7.2
Building filepath-1.4.300.1
Completed type-equality-1
Completed splitmix-0.1.0.5
Starting random-1.2.1.2
Building random-1.2.1.2
Completed transformers-compat-0.7.2
Completed filepath-1.4.300.1
Starting hashable-1.4.3.0
Building hashable-1.4.3.0
Completed random-1.2.1.2
Starting QuickCheck-2.14.3
Building QuickCheck-2.14.3
Completed hashable-1.4.3.0
Starting constraints-0.13.4
Building constraints-0.13.4
Completed constraints-0.13.4
Completed QuickCheck-2.14.3
Starting quickcheck-dynamic-3.4.1
Building quickcheck-dynamic-3.4.1
Completed quickcheck-dynamic-3.4.1
Downloading quickcheck-lockstep-0.5.0
Downloaded quickcheck-lockstep-0.5.0
Starting quickcheck-lockstep-0.5.0
Building quickcheck-lockstep-0.5.0
Completed quickcheck-lockstep-0.5.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.1 (lib:quickcheck-dynamic) (requires build)
- quickcheck-lockstep-0.5.0 (first run)
Starting quickcheck-dynamic-3.4.1 (all, legacy fallback)
Building quickcheck-dynamic-3.4.1 (all, legacy fallback)
Installing quickcheck-dynamic-3.4.1 (all, legacy fallback)
Completed quickcheck-dynamic-3.4.1 (all, legacy fallback)
Configuring quickcheck-lockstep-0.5.0...
Preprocessing library for quickcheck-lockstep-0.5.0..
Building library for quickcheck-lockstep-0.5.0..
[1 of 9] Compiling Test.QuickCheck.StateModel.Lockstep.EnvF ( src/Test/QuickCheck/StateModel/Lockstep/EnvF.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/EnvF.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/EnvF.dyn_o )
[2 of 9] Compiling Test.QuickCheck.StateModel.Lockstep.Op ( src/Test/QuickCheck/StateModel/Lockstep/Op.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Op.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Op.dyn_o )
[3 of 9] Compiling Test.QuickCheck.StateModel.Lockstep.GVar ( src/Test/QuickCheck/StateModel/Lockstep/GVar.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/GVar.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/GVar.dyn_o )
[4 of 9] Compiling Test.QuickCheck.StateModel.Lockstep.Op.Identity ( src/Test/QuickCheck/StateModel/Lockstep/Op/Identity.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Op/Identity.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Op/Identity.dyn_o )
[5 of 9] Compiling Test.QuickCheck.StateModel.Lockstep.API ( src/Test/QuickCheck/StateModel/Lockstep/API.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/API.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/API.dyn_o )
[6 of 9] Compiling Test.QuickCheck.StateModel.Lockstep.Defaults ( src/Test/QuickCheck/StateModel/Lockstep/Defaults.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Defaults.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Defaults.dyn_o )
[7 of 9] Compiling Test.QuickCheck.StateModel.Lockstep ( src/Test/QuickCheck/StateModel/Lockstep.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep.dyn_o )
[8 of 9] Compiling Test.QuickCheck.StateModel.Lockstep.Op.SumProd ( src/Test/QuickCheck/StateModel/Lockstep/Op/SumProd.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Op/SumProd.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Op/SumProd.dyn_o )
[9 of 9] Compiling Test.QuickCheck.StateModel.Lockstep.Run ( src/Test/QuickCheck/StateModel/Lockstep/Run.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Run.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Run.dyn_o )
Preprocessing test suite 'test-quickcheck-lockstep' for quickcheck-lockstep-0.5.0..
Building test suite 'test-quickcheck-lockstep' for quickcheck-lockstep-0.5.0..
[1 of 5] Compiling Test.IORef.Full ( test/Test/IORef/Full.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/test-quickcheck-lockstep/test-quickcheck-lockstep-tmp/Test/IORef/Full.o )
[2 of 5] Compiling Test.IORef.Simple ( test/Test/IORef/Simple.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/test-quickcheck-lockstep/test-quickcheck-lockstep-tmp/Test/IORef/Simple.o )
[3 of 5] Compiling Test.MockFS.Mock ( test/Test/MockFS/Mock.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/test-quickcheck-lockstep/test-quickcheck-lockstep-tmp/Test/MockFS/Mock.o )
[4 of 5] Compiling Test.MockFS ( test/Test/MockFS.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/test-quickcheck-lockstep/test-quickcheck-lockstep-tmp/Test/MockFS.o )
[5 of 5] Compiling Main ( test/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/quickcheck-lockstep-0.5.0/noopt/build/test-quickcheck-lockstep/test-quickcheck-lockstep-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-lockstep-0.5.0/noopt/build/test-quickcheck-lockstep/test-quickcheck-lockstep
Running 1 test suites...
Test suite test-quickcheck-lockstep: RUNNING...
Test suite test-quickcheck-lockstep: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/quickcheck-lockstep-0.5.0.test
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Run.hs.html
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.SumProd.hs.html
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.Identity.hs.html
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.hs.html
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Defaults.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-lockstep-0.5.0/noopt/hpc/vanilla/html/test-quickcheck-lockstep/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Run.hs.html
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.SumProd.hs.html
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.Identity.hs.html
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.hs.html
Writing: quickcheck-lockstep-0.5.0-inplace/Test.QuickCheck.StateModel.Lockstep.Defaults.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-lockstep-0.5.0/noopt/hpc/vanilla/html/quickcheck-lockstep-0.5.0/hpc_index.html