[all reports]
| Package |
sat-simple-0.1.0.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-10-17 17:45:37.41236605 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, containers-0.6.5.1, minisat-0.1.3, unliftio-core-0.2.1.0 |
| Flags |
none
|
Code Coverage
| expressions | 75% (474/624) |
|---|
| boolean | guards | 11% (1/9) |
|---|
| conditions | 0% (0/1) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 54% (43/79) |
|---|
| local declarations | 77% (7/9) |
|---|
| top-level declarations | 63% (55/87) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting data-array-byte-0.1.0.1
Starting unliftio-core-0.2.1.0
Building unliftio-core-0.2.1.0
Building data-array-byte-0.1.0.1
Completed unliftio-core-0.2.1.0
Completed data-array-byte-0.1.0.1
Starting hashable-1.4.3.0
Building hashable-1.4.3.0
Completed hashable-1.4.3.0
Starting async-2.2.4
Building async-2.2.4
Completed async-2.2.4
Downloading minisat-0.1.3
Downloaded minisat-0.1.3
Starting minisat-0.1.3
Building minisat-0.1.3
Completed minisat-0.1.3
Downloading sat-simple-0.1.0.0
Downloaded sat-simple-0.1.0.0
Starting sat-simple-0.1.0.0
Building sat-simple-0.1.0.0
Completed sat-simple-0.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):
- minisat-0.1.3 (lib:minisat) (requires build)
- sat-simple-0.1.0.0 (first run)
Starting minisat-0.1.3 (all, legacy fallback)
Building minisat-0.1.3 (all, legacy fallback)
Installing minisat-0.1.3 (all, legacy fallback)
Completed minisat-0.1.3 (all, legacy fallback)
Configuring sat-simple-0.1.0.0...
Preprocessing library for sat-simple-0.1.0.0..
Building library for sat-simple-0.1.0.0..
[1 of 1] Compiling Control.Monad.SAT ( src/Control/Monad/SAT.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/Control/Monad/SAT.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/Control/Monad/SAT.dyn_o )
Preprocessing test suite 'sat-simple-nonogram' for sat-simple-0.1.0.0..
Building test suite 'sat-simple-nonogram' for sat-simple-0.1.0.0..
[1 of 1] Compiling Main ( examples/sat-simple-nonogram.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-nonogram/sat-simple-nonogram-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-nonogram/sat-simple-nonogram ...
Preprocessing test suite 'sat-simple-sudoku' for sat-simple-0.1.0.0..
Building test suite 'sat-simple-sudoku' for sat-simple-0.1.0.0..
[1 of 1] Compiling Main ( examples/sat-simple-sudoku.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-sudoku/sat-simple-sudoku-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-sudoku/sat-simple-sudoku ...
Preprocessing test suite 'sat-simple-tseitin' for sat-simple-0.1.0.0..
Building test suite 'sat-simple-tseitin' for sat-simple-0.1.0.0..
[1 of 1] Compiling Main ( examples/sat-simple-tseitin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-tseitin/sat-simple-tseitin-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-tseitin/sat-simple-tseitin ...
Running 3 test suites...
Test suite sat-simple-nonogram: RUNNING...
Test suite sat-simple-nonogram: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/sat-simple-0.1.0.0.test
Writing: sat-simple-0.1.0.0-inplace/Control.Monad.SAT.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/sat-simple-0.1.0.0/noopt/hpc/vanilla/html/sat-simple-nonogram/hpc_index.html
Test suite sat-simple-sudoku: RUNNING...
Test suite sat-simple-sudoku: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/sat-simple-0.1.0.0.test
Writing: sat-simple-0.1.0.0-inplace/Control.Monad.SAT.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/sat-simple-0.1.0.0/noopt/hpc/vanilla/html/sat-simple-sudoku/hpc_index.html
Test suite sat-simple-tseitin: RUNNING...
Test suite sat-simple-tseitin: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/sat-simple-0.1.0.0.test
Writing: sat-simple-0.1.0.0-inplace/Control.Monad.SAT.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/sat-simple-0.1.0.0/noopt/hpc/vanilla/html/sat-simple-tseitin/hpc_index.html
3 of 3 test suites (3 of 3 test cases) passed.
Writing: sat-simple-0.1.0.0-inplace/Control.Monad.SAT.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/sat-simple-0.1.0.0/noopt/hpc/vanilla/html/sat-simple-0.1.0.0/hpc_index.html