[all reports]
| Package |
quickcheck-lockstep-0.6.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-12-03 17:17:45.099548026 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
QuickCheck-2.15.0.1, base-4.18.1.0, constraints-0.14.2, containers-0.6.7, mtl-2.3.1, quickcheck-dynamic-3.4.1 |
| Flags |
none
|
Code Coverage
| expressions | 82% (338/411) |
|---|
| 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 | 68% (45/66) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting tagged-0.8.9
Starting os-string-2.0.7
Starting splitmix-0.1.0.5
Building tagged-0.8.9
Building os-string-2.0.7
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 tagged-0.8.9
Starting boring-0.2.2
Building boring-0.2.2
Completed os-string-2.0.7
Starting filepath-1.5.4.0
Building filepath-1.5.4.0
Completed boring-0.2.2
Completed random-1.2.1.2
Starting QuickCheck-2.15.0.1
Building QuickCheck-2.15.0.1
Completed filepath-1.5.4.0
Starting hashable-1.4.7.0
Building hashable-1.4.7.0
Completed hashable-1.4.7.0
Starting constraints-0.14.2
Building constraints-0.14.2
Completed QuickCheck-2.15.0.1
Starting quickcheck-dynamic-3.4.1
Building quickcheck-dynamic-3.4.1
Completed constraints-0.14.2
Completed quickcheck-dynamic-3.4.1
Downloading quickcheck-lockstep-0.6.0
Downloaded quickcheck-lockstep-0.6.0
Starting quickcheck-lockstep-0.6.0
Building quickcheck-lockstep-0.6.0
Completed quickcheck-lockstep-0.6.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):
- file-io-0.1.5 (lib:file-io) (requires build)
- tagged-0.8.9 (lib:tagged) (requires build)
- directory-1.3.9.0 (lib:directory) (requires build)
- boring-0.2.2 (lib:boring) (requires build)
- temporary-1.3 (lib:temporary) (requires build)
- process-1.6.25.0 (lib:process) (requires build)
- constraints-0.14.2 (lib:constraints) (requires build)
- optparse-applicative-0.18.1.0 (lib:optparse-applicative) (requires build)
- tasty-1.5.2 (lib:tasty) (requires build)
- tasty-quickcheck-0.11 (lib:tasty-quickcheck) (requires build)
- tasty-hunit-0.10.2 (lib:tasty-hunit) (requires build)
- quickcheck-lockstep-0.6.0 (first run)
Starting tagged-0.8.9 (all, legacy fallback)
Starting file-io-0.1.5 (all, legacy fallback)
Building tagged-0.8.9 (all, legacy fallback)
Building file-io-0.1.5 (all, legacy fallback)
Installing file-io-0.1.5 (all, legacy fallback)
Installing tagged-0.8.9 (all, legacy fallback)
Completed file-io-0.1.5 (all, legacy fallback)
Starting directory-1.3.9.0 (all, legacy fallback)
Completed tagged-0.8.9 (all, legacy fallback)
Starting boring-0.2.2 (all, legacy fallback)
Building directory-1.3.9.0 (all, legacy fallback)
Building boring-0.2.2 (all, legacy fallback)
Installing boring-0.2.2 (all, legacy fallback)
Installing directory-1.3.9.0 (all, legacy fallback)
Completed boring-0.2.2 (all, legacy fallback)
Starting constraints-0.14.2 (all, legacy fallback)
Completed directory-1.3.9.0 (all, legacy fallback)
Starting temporary-1.3 (all, legacy fallback)
Starting process-1.6.25.0 (all, legacy fallback)
Building constraints-0.14.2 (all, legacy fallback)
Building temporary-1.3 (all, legacy fallback)
Building process-1.6.25.0 (all, legacy fallback)
Installing temporary-1.3 (all, legacy fallback)
Installing constraints-0.14.2 (all, legacy fallback)
Completed temporary-1.3 (all, legacy fallback)
Installing process-1.6.25.0 (all, legacy fallback)
Completed constraints-0.14.2 (all, legacy fallback)
Completed process-1.6.25.0 (all, legacy fallback)
Starting optparse-applicative-0.18.1.0 (all, legacy fallback)
Building optparse-applicative-0.18.1.0 (all, legacy fallback)
Installing optparse-applicative-0.18.1.0 (all, legacy fallback)
Completed optparse-applicative-0.18.1.0 (all, legacy fallback)
Starting tasty-1.5.2 (all, legacy fallback)
Building tasty-1.5.2 (all, legacy fallback)
Installing tasty-1.5.2 (all, legacy fallback)
Completed tasty-1.5.2 (all, legacy fallback)
Starting tasty-quickcheck-0.11 (all, legacy fallback)
Starting tasty-hunit-0.10.2 (all, legacy fallback)
Building tasty-hunit-0.10.2 (all, legacy fallback)
Building tasty-quickcheck-0.11 (all, legacy fallback)
Installing tasty-hunit-0.10.2 (all, legacy fallback)
Installing tasty-quickcheck-0.11 (all, legacy fallback)
Completed tasty-hunit-0.10.2 (all, legacy fallback)
Completed tasty-quickcheck-0.11 (all, legacy fallback)
Configuring quickcheck-lockstep-0.6.0...
Preprocessing library for quickcheck-lockstep-0.6.0..
Building library for quickcheck-lockstep-0.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.0/noopt/build/Test/QuickCheck/StateModel/Lockstep/Run.dyn_o )
Preprocessing test suite 'test-quickcheck-lockstep' for quickcheck-lockstep-0.6.0..
Building test suite 'test-quickcheck-lockstep' for quickcheck-lockstep-0.6.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.6.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.6.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.6.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.6.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.6.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.6.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.6.0.test
Writing: quickcheck-lockstep-0.6.0-inplace/Test.QuickCheck.StateModel.Lockstep.Run.hs.html
Writing: quickcheck-lockstep-0.6.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.SumProd.hs.html
Writing: quickcheck-lockstep-0.6.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.Identity.hs.html
Writing: quickcheck-lockstep-0.6.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.hs.html
Writing: quickcheck-lockstep-0.6.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.6.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.6.0-inplace/Test.QuickCheck.StateModel.Lockstep.Run.hs.html
Writing: quickcheck-lockstep-0.6.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.SumProd.hs.html
Writing: quickcheck-lockstep-0.6.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.Identity.hs.html
Writing: quickcheck-lockstep-0.6.0-inplace/Test.QuickCheck.StateModel.Lockstep.Op.hs.html
Writing: quickcheck-lockstep-0.6.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.6.0/noopt/hpc/vanilla/html/quickcheck-lockstep-0.6.0/hpc_index.html