[all reports]
| Package |
ChasingBottoms-1.3.1.13 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-02-01 17:19:27.874420685 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.1, syb-0.7.2.4 |
| Flags |
none
|
Code Coverage
| expressions | 100% (0/0) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 100% (0/0) |
|---|
| local declarations | 100% (0/0) |
|---|
| top-level declarations | 100% (0/0) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.5
Starting syb-0.7.2.4
Building syb-0.7.2.4
Building splitmix-0.1.0.5
Completed splitmix-0.1.0.5
Starting random-1.2.1.1
Building random-1.2.1.1
Completed syb-0.7.2.4
Completed random-1.2.1.1
Starting QuickCheck-2.14.3
Building QuickCheck-2.14.3
Completed QuickCheck-2.14.3
Downloading ChasingBottoms-1.3.1.13
Downloaded ChasingBottoms-1.3.1.13
Starting ChasingBottoms-1.3.1.13
Building ChasingBottoms-1.3.1.13
Completed ChasingBottoms-1.3.1.13
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):
- ChasingBottoms-1.3.1.13 (first run)
Configuring ChasingBottoms-1.3.1.13...
Preprocessing test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.13..
Building test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.13..
[ 1 of 20] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsType.o )
[ 2 of 20] Compiling Test.ChasingBottoms.IsType.Tests ( Test/ChasingBottoms/IsType/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsType/Tests.o )
[ 3 of 20] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Nat.o )
[ 4 of 20] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Approx.o )
[ 5 of 20] Compiling Test.ChasingBottoms.TestUtilities ( Test/ChasingBottoms/TestUtilities.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TestUtilities.o )
[ 6 of 20] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom.o-boot )
[ 7 of 20] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TimeOut.o )
[ 8 of 20] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom.o )
[ 9 of 20] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/SemanticOrd.o )
[10 of 20] Compiling Test.ChasingBottoms.Nat.Tests ( Test/ChasingBottoms/Nat/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Nat/Tests.o )
[11 of 20] Compiling Test.ChasingBottoms.IsBottom.Tests ( Test/ChasingBottoms/IsBottom/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom/Tests.o )
[12 of 20] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ContinuousFunctions.o )
[13 of 20] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ApproxShow.o )
[14 of 20] Compiling Test.ChasingBottoms.TestUtilities.Generators ( Test/ChasingBottoms/TestUtilities/Generators.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TestUtilities/Generators.o )
[15 of 20] Compiling Test.ChasingBottoms.SemanticOrd.Tests ( Test/ChasingBottoms/SemanticOrd/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/SemanticOrd/Tests.o )
[16 of 20] Compiling Test.ChasingBottoms.ContinuousFunctions.Tests ( Test/ChasingBottoms/ContinuousFunctions/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ContinuousFunctions/Tests.o )
[17 of 20] Compiling Test.ChasingBottoms.ApproxShow.Tests ( Test/ChasingBottoms/ApproxShow/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ApproxShow/Tests.o )
[18 of 20] Compiling Test.ChasingBottoms.Approx.Tests ( Test/ChasingBottoms/Approx/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Approx/Tests.o )
[19 of 20] Compiling Test.ChasingBottoms.TimeOut.Tests ( Test/ChasingBottoms/TimeOut/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TimeOut/Tests.o )
[20 of 20] Compiling Main ( Test/ChasingBottoms/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Main.o )
[21 of 21] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite
Preprocessing library for ChasingBottoms-1.3.1.13..
Building library for ChasingBottoms-1.3.1.13..
[ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/IsType.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/IsType.dyn_o )
[ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/Nat.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/Nat.dyn_o )
[ 3 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/Approx.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/Approx.dyn_o )
[ 4 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/IsBottom.o-boot, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/IsBottom.dyn_o-boot )
[ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/TimeOut.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/TimeOut.dyn_o )
[ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/IsBottom.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/IsBottom.dyn_o )
[ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/SemanticOrd.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/SemanticOrd.dyn_o )
[ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/ContinuousFunctions.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/ContinuousFunctions.dyn_o )
[ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/ApproxShow.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms/ApproxShow.dyn_o )
[10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/ChasingBottoms-1.3.1.13/noopt/build/Test/ChasingBottoms.dyn_o )
Running 1 test suites...
Test suite ChasingBottomsTestSuite: RUNNING...
Test suite ChasingBottomsTestSuite: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/ChasingBottoms-1.3.1.13.test
Writing: Test.ChasingBottoms.ApproxShow.hs.html
Writing: Test.ChasingBottoms.ContinuousFunctions.hs.html
Writing: Test.ChasingBottoms.SemanticOrd.hs.html
Writing: Test.ChasingBottoms.TimeOut.hs.html
Writing: Test.ChasingBottoms.IsBottom.hs.html
Writing: Test.ChasingBottoms.Approx.hs.html
Writing: Test.ChasingBottoms.Nat.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/ChasingBottoms-1.3.1.13/noopt/hpc/vanilla/html/ChasingBottomsTestSuite/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
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/ChasingBottoms-1.3.1.13/noopt/hpc/vanilla/html/ChasingBottoms-1.3.1.13/hpc_index.html