[all reports]
| Package |
quickcheck-lockstep-0.5.1 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-08-27 15:01:14.275873239 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 | 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 os-string-2.0.6
Starting tagged-0.8.8
Building os-string-2.0.6
Building splitmix-0.1.0.5
Building tagged-0.8.8
Completed splitmix-0.1.0.5
Starting random-1.2.1.2
Building random-1.2.1.2
Completed tagged-0.8.8
Starting boring-0.2.2
Building boring-0.2.2
Completed os-string-2.0.6
Starting filepath-1.5.3.0
Building filepath-1.5.3.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.3.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.5.1
Downloaded quickcheck-lockstep-0.5.1
Starting quickcheck-lockstep-0.5.1
Building quickcheck-lockstep-0.5.1
Completed quickcheck-lockstep-0.5.1
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)
- tasty-quickcheck-0.11 (lib:tasty-quickcheck) (requires build)
- quickcheck-lockstep-0.5.1 (first run)
Starting tasty-quickcheck-0.11 (all, legacy fallback)
Starting quickcheck-dynamic-3.4.1 (all, legacy fallback)
Building tasty-quickcheck-0.11 (all, legacy fallback)
Building quickcheck-dynamic-3.4.1 (all, legacy fallback)
Installing tasty-quickcheck-0.11 (all, legacy fallback)
Completed tasty-quickcheck-0.11 (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.1...
Preprocessing library for quickcheck-lockstep-0.5.1..
Building library for quickcheck-lockstep-0.5.1..
[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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/noopt/build/Test/QuickCheck/StateModel/Lockstep/Run.dyn_o )
Preprocessing test suite 'test-quickcheck-lockstep' for quickcheck-lockstep-0.5.1..
Building test suite 'test-quickcheck-lockstep' for quickcheck-lockstep-0.5.1..
[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.1/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.1/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.1/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.1/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.1/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.1/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.1.test
Writing: quickcheck-lockstep-0.5.1-inplace/Test.QuickCheck.StateModel.Lockstep.Run.hs.html
Writing: quickcheck-lockstep-0.5.1-inplace/Test.QuickCheck.StateModel.Lockstep.Op.SumProd.hs.html
Writing: quickcheck-lockstep-0.5.1-inplace/Test.QuickCheck.StateModel.Lockstep.Op.Identity.hs.html
Writing: quickcheck-lockstep-0.5.1-inplace/Test.QuickCheck.StateModel.Lockstep.Op.hs.html
Writing: quickcheck-lockstep-0.5.1-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.1/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.1-inplace/Test.QuickCheck.StateModel.Lockstep.Run.hs.html
Writing: quickcheck-lockstep-0.5.1-inplace/Test.QuickCheck.StateModel.Lockstep.Op.SumProd.hs.html
Writing: quickcheck-lockstep-0.5.1-inplace/Test.QuickCheck.StateModel.Lockstep.Op.Identity.hs.html
Writing: quickcheck-lockstep-0.5.1-inplace/Test.QuickCheck.StateModel.Lockstep.Op.hs.html
Writing: quickcheck-lockstep-0.5.1-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.1/noopt/hpc/vanilla/html/quickcheck-lockstep-0.5.1/hpc_index.html