Build #1 for Hsmtlib-0.2.0.6
| Package | Hsmtlib-0.2.0.6 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | transformers-0.3.0.0, smtLib-1.0.7, process-1.1.0.2, pretty-1.1.1.0, parsec-3.1.3, containers-0.5.0.0, base-4.6.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring smtLib-1.0.7...
Building smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
[ 1 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist/build/SMTLib2/AST.o )
[ 2 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist/build/SMTLib2/PP.o )
[ 3 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist/build/SMTLib2/Core.o )
[ 4 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist/build/SMTLib2/BitVector.o )
[ 5 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist/build/SMTLib2/Array.o )
[ 6 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist/build/SMTLib2/Int.o )
[ 7 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist/build/SMTLib2.o )
[ 8 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist/build/SMTLib1/AST.o )
[ 9 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist/build/SMTLib1/PP.o )
[10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist/build/SMTLib2/Compat1.o )
[11 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist/build/SMTLib1.o )
[12 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist/build/SMTLib1/QF_BV.o )
[13 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist/build/SMTLib1/QF_AUFBV.o )
In-place registering smtLib-1.0.7...
Running Haddock for smtLib-1.0.7...
Running hscolour for smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
Haddock coverage:
0% ( 0 / 16) in 'SMTLib2.AST'
0% ( 0 / 3) in 'SMTLib2.PP'
0% ( 0 / 12) in 'SMTLib2.Core'
0% ( 0 / 38) in 'SMTLib2.BitVector'
0% ( 0 / 4) in 'SMTLib2.Array'
0% ( 0 / 14) in 'SMTLib2.Int'
0% ( 0 / 17) in 'SMTLib2'
8% ( 2 / 26) in 'SMTLib1.AST'
0% ( 0 / 2) in 'SMTLib1.PP'
0% ( 0 / 16) in 'SMTLib2.Compat1'
7% ( 2 / 27) in 'SMTLib1'
Warning: smtLib-1.0.7:SMTLib1.QF_BV: Could not find documentation for exported module: X
8% ( 3 / 40) in 'SMTLib1.QF_BV'
Warning: smtLib-1.0.7:SMTLib1.QF_AUFBV: Could not find documentation for exported module: X
75% ( 3 / 4) in 'SMTLib1.QF_AUFBV'
Documentation created: dist/doc/html/smtLib/index.html,
dist/doc/html/smtLib/smtLib.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/smtLib-1.0.7
Registering smtLib-1.0.7...
Installed smtLib-1.0.7
Downloading Hsmtlib-0.2.0.6...
Configuring Hsmtlib-0.2.0.6...
Building Hsmtlib-0.2.0.6...
Preprocessing library Hsmtlib-0.2.0.6...
[ 1 of 17] Compiling Hsmtlib.Solvers.Cmd.Parser.Syntax ( Hsmtlib/Solvers/Cmd/Parser/Syntax.hs, dist/build/Hsmtlib/Solvers/Cmd/Parser/Syntax.o )
[ 2 of 17] Compiling Hsmtlib.Solvers.Cmd.Parser.Parsers ( Hsmtlib/Solvers/Cmd/Parser/Parsers.hs, dist/build/Hsmtlib/Solvers/Cmd/Parser/Parsers.o )
[ 3 of 17] Compiling Hsmtlib.Solvers.Cmd.Parser.Visualizers ( Hsmtlib/Solvers/Cmd/Parser/Visualizers.hs, dist/build/Hsmtlib/Solvers/Cmd/Parser/Visualizers.o )
[ 4 of 17] Compiling Hsmtlib.Solvers.Cmd.ProcCom.Process ( Hsmtlib/Solvers/Cmd/ProcCom/Process.hs, dist/build/Hsmtlib/Solvers/Cmd/ProcCom/Process.o )
[ 5 of 17] Compiling Hsmtlib.Solvers.Cmd.BatchCmd ( Hsmtlib/Solvers/Cmd/BatchCmd.hs, dist/build/Hsmtlib/Solvers/Cmd/BatchCmd.o )
[ 6 of 17] Compiling Hsmtlib.Solver ( Hsmtlib/Solver.hs, dist/build/Hsmtlib/Solver.o )
[ 7 of 17] Compiling Hsmtlib.HighLevel ( Hsmtlib/HighLevel.hs, dist/build/Hsmtlib/HighLevel.o )
[ 8 of 17] Compiling Hsmtlib.Solvers.Cmd.Parser.CmdResult ( Hsmtlib/Solvers/Cmd/Parser/CmdResult.hs, dist/build/Hsmtlib/Solvers/Cmd/Parser/CmdResult.o )
[ 9 of 17] Compiling Hsmtlib.Solvers.Cmd.OnlineCmd ( Hsmtlib/Solvers/Cmd/OnlineCmd.hs, dist/build/Hsmtlib/Solvers/Cmd/OnlineCmd.o )
[10 of 17] Compiling Hsmtlib.Solvers.Cmd.ScriptCmd ( Hsmtlib/Solvers/Cmd/ScriptCmd.hs, dist/build/Hsmtlib/Solvers/Cmd/ScriptCmd.o )
[11 of 17] Compiling Hsmtlib.Solvers.Altergo ( Hsmtlib/Solvers/Altergo.hs, dist/build/Hsmtlib/Solvers/Altergo.o )
[12 of 17] Compiling Hsmtlib.Solvers.Boolector ( Hsmtlib/Solvers/Boolector.hs, dist/build/Hsmtlib/Solvers/Boolector.o )
[13 of 17] Compiling Hsmtlib.Solvers.Cvc4 ( Hsmtlib/Solvers/Cvc4.hs, dist/build/Hsmtlib/Solvers/Cvc4.o )
[14 of 17] Compiling Hsmtlib.Solvers.MathSAT ( Hsmtlib/Solvers/MathSAT.hs, dist/build/Hsmtlib/Solvers/MathSAT.o )
[15 of 17] Compiling Hsmtlib.Solvers.Yices ( Hsmtlib/Solvers/Yices.hs, dist/build/Hsmtlib/Solvers/Yices.o )
[16 of 17] Compiling Hsmtlib.Solvers.Z3 ( Hsmtlib/Solvers/Z3.hs, dist/build/Hsmtlib/Solvers/Z3.o )
[17 of 17] Compiling Hsmtlib ( Hsmtlib.hs, dist/build/Hsmtlib.o )
In-place registering Hsmtlib-0.2.0.6...
Running Haddock for Hsmtlib-0.2.0.6...
Running hscolour for Hsmtlib-0.2.0.6...
Preprocessing library Hsmtlib-0.2.0.6...
Preprocessing library Hsmtlib-0.2.0.6...
Haddock coverage:
0% ( 0 / 26) in 'Hsmtlib.Solvers.Cmd.Parser.Syntax'
0% ( 0 / 81) in 'Hsmtlib.Solvers.Cmd.Parser.Parsers'
0% ( 0 / 24) in 'Hsmtlib.Solvers.Cmd.Parser.Visualizers'
100% ( 9 / 9) in 'Hsmtlib.Solvers.Cmd.ProcCom.Process'
0% ( 0 / 2) in 'Hsmtlib.Solvers.Cmd.BatchCmd'
100% ( 11 / 11) in 'Hsmtlib.Solver'
94% ( 15 / 16) in 'Hsmtlib.HighLevel'
36% ( 17 / 47) in 'Hsmtlib.Solvers.Cmd.Parser.CmdResult'
4% ( 1 / 23) in 'Hsmtlib.Solvers.Cmd.OnlineCmd'
4% ( 1 / 26) in 'Hsmtlib.Solvers.Cmd.ScriptCmd'
100% ( 2 / 2) in 'Hsmtlib.Solvers.Altergo'
100% ( 2 / 2) in 'Hsmtlib.Solvers.Boolector'
100% ( 2 / 2) in 'Hsmtlib.Solvers.Cvc4'
100% ( 2 / 2) in 'Hsmtlib.Solvers.MathSAT'
100% ( 2 / 2) in 'Hsmtlib.Solvers.Yices'
100% ( 2 / 2) in 'Hsmtlib.Solvers.Z3'
100% ( 2 / 2) in 'Hsmtlib'
Warning: Hsmtlib.Solvers.Cmd.ProcCom.Process: could not find link destinations for:
Hsmtlib.Solvers.Cmd.ProcCom.Process.Context
Documentation created: dist/doc/html/Hsmtlib/index.html,
dist/doc/html/Hsmtlib/Hsmtlib.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Hsmtlib-0.2.0.6
Registering Hsmtlib-0.2.0.6...
Installed Hsmtlib-0.2.0.6
Test log
No test log was submitted for this report.