[all reports]
| Package |
HasCacBDD-0.2.0.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-11-23 09:12:43.763406881 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
QuickCheck-2.14.3, base-4.16.3.0, process-1.6.13.2 |
| Flags |
none
|
Code Coverage
| expressions | 99% (766/768) |
|---|
| boolean | guards | 67% (23/34) |
|---|
| conditions | 88% (8/9) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 97% (80/82) |
|---|
| local declarations | 100% (20/20) |
|---|
| top-level declarations | 100% (66/66) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.5
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 random-1.2.1.1
Starting QuickCheck-2.14.3
Building QuickCheck-2.14.3
Completed QuickCheck-2.14.3
Downloading HasCacBDD-0.2.0.0
Downloaded HasCacBDD-0.2.0.0
Starting HasCacBDD-0.2.0.0
Building HasCacBDD-0.2.0.0
Completed HasCacBDD-0.2.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):
- HasCacBDD-0.2.0.0 (first run)
[1 of 1] Compiling Main ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.2.0.0/noopt/setup/setup.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.2.0.0/noopt/setup/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.2.0.0/noopt/setup/setup ...
make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.2.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.2.0.0/cpp'
make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.2.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.2.0.0/c'
Configuring HasCacBDD-0.2.0.0...
NOTE confHook: adding /home/builder/.cabal/lib/x86_64-linux-ghc-9.2.4/HasCacBDD-0.2.0.0-inplace to extraLibDirs
NOTE preBuild: adding /home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.2.0.0/c into extraLibDirs
Preprocessing library for HasCacBDD-0.2.0.0..
Building library for HasCacBDD-0.2.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.2.4/HasCacBDD-0.2.0.0/noopt/build/Data/HasCacBDD.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.2.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.2.4/HasCacBDD-0.2.0.0/noopt/build/Data/HasCacBDD/Visuals.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.2.0.0/noopt/build/Data/HasCacBDD/Visuals.dyn_o )
Preprocessing test suite 'tests' for HasCacBDD-0.2.0.0..
Building test suite 'tests' for HasCacBDD-0.2.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.2.4/HasCacBDD-0.2.0.0/noopt/build/tests/tests-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.2.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.2.0.0.test
Writing: HasCacBDD-0.2.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.2.4/HasCacBDD-0.2.0.0/noopt/hpc/vanilla/html/tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: HasCacBDD-0.2.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.2.4/HasCacBDD-0.2.0.0/noopt/hpc/vanilla/html/HasCacBDD-0.2.0.0/hpc_index.html