[all reports]
| Package |
HasCacBDD-0.1.0.4 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-02-03 16:40:21.678749205 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
QuickCheck-2.14.2, base-4.16.3.0, process-1.6.13.2 |
| Flags |
none
|
Code Coverage
| expressions | 99% (753/755) |
|---|
| boolean | guards | 67% (23/34) |
|---|
| conditions | 88% (8/9) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 97% (80/82) |
|---|
| local declarations | 100% (13/13) |
|---|
| top-level declarations | 100% (66/66) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.4
Building splitmix-0.1.0.4
Completed splitmix-0.1.0.4
Starting random-1.2.1.1
Building random-1.2.1.1
Completed random-1.2.1.1
Starting QuickCheck-2.14.2
Building QuickCheck-2.14.2
Completed QuickCheck-2.14.2
Downloading HasCacBDD-0.1.0.4
Downloaded HasCacBDD-0.1.0.4
Starting HasCacBDD-0.1.0.4
Building HasCacBDD-0.1.0.4
Completed HasCacBDD-0.1.0.4
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.1.0.4 (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.1.0.4/noopt/setup/setup.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/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.1.0.4/noopt/setup/setup ...
make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.1.0.4/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.1.0.4/cpp'
make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.1.0.4/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.1.0.4/c'
Configuring HasCacBDD-0.1.0.4...
NOTE confHook: adding /home/builder/.cabal/lib/x86_64-linux-ghc-9.2.4/HasCacBDD-0.1.0.4-inplace to extraLibDirs
NOTE preBuild: adding /home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.1.0.4/c into extraLibDirs
Preprocessing library for HasCacBDD-0.1.0.4..
Building library for HasCacBDD-0.1.0.4..
[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.1.0.4/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.1.0.4/noopt/build/Data/HasCacBDD.dyn_o )
hs/Data/HasCacBDD.hs:276:21: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
276 | | otherwise = let (Just n) = firstVarOf b in n : nub (allVarsOf (thenOf b) ++ allVarsOf (elseOf b))
| ^^^^^^^^^^^^^^^^^^^^^^^
hs/Data/HasCacBDD.hs:311:71: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
311 | | otherwise = Var n (unravel (thenOf b)) (unravel (elseOf b)) where (Just n) = firstVarOf b
| ^^^^^^^^^^^^^^^^^^^^^^^
hs/Data/HasCacBDD.hs:333:11: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
333 | let (Just n) = firstVarOf b
| ^^^^^^^^^^^^^^^^^^^^^^^
hs/Data/HasCacBDD.hs:344:13: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
344 | where (Just n) = firstVarOf b
| ^^^^^^^^^^^^^^^^^^^^^^^
hs/Data/HasCacBDD.hs:353:7: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
353 | (Just n) = firstVarOf b
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
hs/Data/HasCacBDD.hs:354:7: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Assignment not matched: Nothing
|
354 | (Just rest) = if hastobetrue then anySat (thenOf b) else anySat (elseOf b)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
hs/Data/HasCacBDD.hs:378:7: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
378 | (Just curvar) = firstVarOf b
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[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.1.0.4/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.1.0.4/noopt/build/Data/HasCacBDD/Visuals.dyn_o )
hs/Data/HasCacBDD/Visuals.hs:33:15: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
33 | (Just thisvar) = firstVarOf curB
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
hs/Data/HasCacBDD/Visuals.hs:37:15: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
37 | (Just leftn) = lookup lhs lhsdone
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
hs/Data/HasCacBDD/Visuals.hs:43:15: warning: [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe Int not matched: Nothing
|
43 | (Just rightn) = lookup rhs rhsdone
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Preprocessing test suite 'tests' for HasCacBDD-0.1.0.4..
Building test suite 'tests' for HasCacBDD-0.1.0.4..
[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.1.0.4/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.1.0.4/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.1.0.4.test
Writing: HasCacBDD-0.1.0.4-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.1.0.4/noopt/hpc/vanilla/html/tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: HasCacBDD-0.1.0.4-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.1.0.4/noopt/hpc/vanilla/html/HasCacBDD-0.1.0.4/hpc_index.html