[all reports]
| Package |
HasCacBDD-0.3.0.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-01-01 18:23:31.364725798 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
QuickCheck-2.14.3, base-4.18.1.0, process-1.6.17.0 |
| Flags |
none
|
Code Coverage
| expressions | 99% (791/793) |
|---|
| boolean | guards | 67% (23/34) |
|---|
| conditions | 100% (9/9) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 100% (82/82) |
|---|
| local declarations | 100% (21/21) |
|---|
| top-level declarations | 96% (74/77) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.1
Building splitmix-0.1.1
Completed splitmix-0.1.1
Starting random-1.2.1.3
Building random-1.2.1.3
Completed random-1.2.1.3
Starting QuickCheck-2.14.3
Building QuickCheck-2.14.3
Completed QuickCheck-2.14.3
Downloading HasCacBDD-0.3.0.0
Downloaded HasCacBDD-0.3.0.0
Starting HasCacBDD-0.3.0.0
Building HasCacBDD-0.3.0.0
Completed HasCacBDD-0.3.0.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):
- QuickCheck-2.14.3 (lib:QuickCheck) (requires build)
- quickcheck-io-0.2.0 (lib:quickcheck-io) (requires build)
- hspec-core-2.11.10 (lib:hspec-core) (requires build)
- hspec-2.11.10 (lib:hspec) (requires build)
- HasCacBDD-0.3.0.0 (first run)
Starting QuickCheck-2.14.3 (all, legacy fallback)
Building QuickCheck-2.14.3 (all, legacy fallback)
Installing QuickCheck-2.14.3 (all, legacy fallback)
Completed QuickCheck-2.14.3 (all, legacy fallback)
Starting quickcheck-io-0.2.0 (all, legacy fallback)
Building quickcheck-io-0.2.0 (all, legacy fallback)
Installing quickcheck-io-0.2.0 (all, legacy fallback)
Completed quickcheck-io-0.2.0 (all, legacy fallback)
Starting hspec-core-2.11.10 (all, legacy fallback)
Building hspec-core-2.11.10 (all, legacy fallback)
Installing hspec-core-2.11.10 (all, legacy fallback)
Completed hspec-core-2.11.10 (all, legacy fallback)
Starting hspec-2.11.10 (all, legacy fallback)
Building hspec-2.11.10 (all, legacy fallback)
Installing hspec-2.11.10 (all, legacy fallback)
Completed hspec-2.11.10 (all, legacy fallback)
[1 of 2] Compiling Main ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/setup/setup.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/setup/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/setup/setup
make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/cpp'
g++ -c UTable.cpp -g -O3 -Wno-deprecated -shared -fPIC
g++ -c Manager.cpp -g -O3 -Wno-deprecated -shared -fPIC
g++ -c CTable.cpp -g -O3 -Wno-deprecated -shared -fPIC
g++ -c BDDNode.cpp -g -O3 -Wno-deprecated -shared -fPIC
g++ -c DdNode.cpp -g -O3 -Wno-deprecated -shared -fPIC
make: Leaving directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/cpp'
make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/c'
g++ -g -c -shared -fPIC -I../cpp -o libBDDNodeC.so BDDNodeC.cpp
rm -f libCacBDD.a
ar rvs libCacBDD.a libBDDNodeC.so
ar: creating libCacBDD.a
a - libBDDNodeC.so
ar rvs libCacBDD.a ../cpp/*.o
a - ../cpp/BDDNode.o
a - ../cpp/CTable.o
a - ../cpp/DdNode.o
a - ../cpp/Manager.o
a - ../cpp/UTable.o
make: Leaving directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/c'
Configuring HasCacBDD-0.3.0.0...
NOTE confHook: adding /home/builder/.cabal/lib/x86_64-linux-ghc-9.6.3/HasCacBDD-0.3.0.0-inplace to extraLibDirs
NOTE preBuild: adding /home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/c into extraLibDirs
Preprocessing library for HasCacBDD-0.3.0.0..
Building library for HasCacBDD-0.3.0.0..
[1 of 2] Compiling Data.HasCacBDD ( hs/Data/HasCacBDD.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/Data/HasCacBDD.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/Data/HasCacBDD.dyn_o )
[2 of 2] Compiling Data.HasCacBDD.Visuals ( hs/Data/HasCacBDD/Visuals.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/Data/HasCacBDD/Visuals.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/Data/HasCacBDD/Visuals.dyn_o )
Preprocessing test suite 'tests' for HasCacBDD-0.3.0.0..
Building test suite 'tests' for HasCacBDD-0.3.0.0..
[1 of 1] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/tests/tests-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/tests/tests
Running 1 test suites...
Test suite tests: RUNNING...
Test suite tests: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/HasCacBDD-0.3.0.0.test
Writing: HasCacBDD-0.3.0.0-inplace/Data.HasCacBDD.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/HasCacBDD-0.3.0.0/noopt/hpc/vanilla/html/tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: HasCacBDD-0.3.0.0-inplace/Data.HasCacBDD.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/HasCacBDD-0.3.0.0/noopt/hpc/vanilla/html/HasCacBDD-0.3.0.0/hpc_index.html