[all reports]
| Package |
sbv-program-1.1.0.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Failed |
| Time submitted |
2023-01-26 17:15:58.501654827 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, bifunctors-5.5.14, containers-0.6.5.1, pretty-simple-4.1.2.0, sbv-9.0 |
| Flags |
none
|
Code Coverage
| expressions | 31% (481/1505) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 33% (3/9) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 23% (9/38) |
|---|
| local declarations | 33% (12/36) |
|---|
| top-level declarations | 32% (36/110) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting cabal-doctest-1.0.9
Starting base-orphans-0.8.7
Starting data-array-byte-0.1.0.1
Starting colour-2.3.6
Starting splitmix-0.1.0.4
Starting prettyprinter-1.7.1
Starting tagged-0.8.6.1
Starting th-abstraction-0.4.5.0
Starting indexed-traversable-0.1.2
Starting transformers-compat-0.7.2
Starting syb-0.7.2.2
Building prettyprinter-1.7.1
Building syb-0.7.2.2
Building indexed-traversable-0.1.2
Building cabal-doctest-1.0.9
Building base-orphans-0.8.7
Building data-array-byte-0.1.0.1
Building colour-2.3.6
Building th-abstraction-0.4.5.0
Building transformers-compat-0.7.2
Building splitmix-0.1.0.4
Building tagged-0.8.6.1
Completed base-orphans-0.8.7
Completed splitmix-0.1.0.4
Starting random-1.2.1.1
Building random-1.2.1.1
Completed data-array-byte-0.1.0.1
Starting hashable-1.4.2.0
Completed syb-0.7.2.2
Building hashable-1.4.2.0
Completed tagged-0.8.6.1
Starting distributive-0.6.2.1
Building distributive-0.6.2.1
Completed transformers-compat-0.7.2
Completed indexed-traversable-0.1.2
Completed colour-2.3.6
Starting ansi-terminal-0.11.4
Completed cabal-doctest-1.0.9
Building ansi-terminal-0.11.4
Completed th-abstraction-0.4.5.0
Completed prettyprinter-1.7.1
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Building comonad-5.0.8
Completed hashable-1.4.2.0
Starting libBF-0.6.5.1
Starting unordered-containers-0.2.19.1
Starting async-2.2.4
Completed ansi-terminal-0.11.4
Starting ansi-wl-pprint-0.6.9
Starting prettyprinter-ansi-terminal-1.1.3
Building async-2.2.4
Building unordered-containers-0.2.19.1
Building libBF-0.6.5.1
Building ansi-wl-pprint-0.6.9
Building prettyprinter-ansi-terminal-1.1.3
Completed random-1.2.1.1
Starting QuickCheck-2.14.2
Building QuickCheck-2.14.2
Completed ansi-wl-pprint-0.6.9
Starting optparse-applicative-0.17.0.0
Completed comonad-5.0.8
Starting bifunctors-5.5.14
Building optparse-applicative-0.17.0.0
Building bifunctors-5.5.14
Completed async-2.2.4
Completed prettyprinter-ansi-terminal-1.1.3
Completed libBF-0.6.5.1
Completed unordered-containers-0.2.19.1
Starting uniplate-1.6.13
Building uniplate-1.6.13
Completed optparse-applicative-0.17.0.0
Starting pretty-simple-4.1.2.0
Building pretty-simple-4.1.2.0
Completed bifunctors-5.5.14
Completed QuickCheck-2.14.2
Completed uniplate-1.6.13
Starting sbv-9.0
Building sbv-9.0
Completed pretty-simple-4.1.2.0
Completed sbv-9.0
Downloading sbv-program-1.1.0.0
Downloaded sbv-program-1.1.0.0
Starting sbv-program-1.1.0.0
Building sbv-program-1.1.0.0
Completed sbv-program-1.1.0.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
- sbv-9.0 (lib:sbv) (requires build)
- sbv-program-1.1.0.0 (first run)
Starting sbv-9.0 (all, legacy fallback)
Building sbv-9.0 (all, legacy fallback)
Installing sbv-9.0 (all, legacy fallback)
Completed sbv-9.0 (all, legacy fallback)
Configuring sbv-program-1.1.0.0...
Preprocessing library for sbv-program-1.1.0.0..
Building library for sbv-program-1.1.0.0..
[1 of 5] Compiling Data.SBV.Program.Types ( src/Data/SBV/Program/Types.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Types.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Types.dyn_o )
[2 of 5] Compiling Data.SBV.Program.SimpleLibrary ( src/Data/SBV/Program/SimpleLibrary.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/SimpleLibrary.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/SimpleLibrary.dyn_o )
[3 of 5] Compiling Data.SBV.Program.Utils ( src/Data/SBV/Program/Utils.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Utils.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Utils.dyn_o )
[4 of 5] Compiling Data.SBV.Program ( src/Data/SBV/Program.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program.dyn_o )
[5 of 5] Compiling Data.SBV.Program.Examples ( src/Data/SBV/Program/Examples.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Examples.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Examples.dyn_o )
Preprocessing test suite 'smoketest' for sbv-program-1.1.0.0..
Building test suite 'smoketest' for sbv-program-1.1.0.0..
[1 of 1] Compiling Main ( test/SmokeTest.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/smoketest/smoketest-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/smoketest/smoketest ...
Running 1 test suites...
Test suite smoketest: RUNNING...
Test suite smoketest: FAIL
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/sbv-program-1.1.0.0.test
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Utils.hs.html
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Types.hs.html
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.SimpleLibrary.hs.html
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Examples.hs.html
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.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.2.4/sbv-program-1.1.0.0/noopt/hpc/vanilla/html/smoketest/hpc_index.html
0 of 1 test suites (0 of 1 test cases) passed.
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Utils.hs.html
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Types.hs.html
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.SimpleLibrary.hs.html
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Examples.hs.html
Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.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.2.4/sbv-program-1.1.0.0/noopt/hpc/vanilla/html/sbv-program-1.1.0.0/hpc_index.html
Error: cabal: Tests failed for sbv-program-1.1.0.0.