Build #1 for smtLib-1.0.8
| Package | smtLib-1.0.8 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-05-09 20:43:27.887074 UTC |
|---|---|
| Compiler | ghc-7.10.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | pretty-1.1.2.0, base-4.8.2.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading smtLib-1.0.8...
Configuring smtLib-1.0.8...
Building smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...
[ 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 )
src/SMTLib2/Compat1.hs:9:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/SMTLib2/Compat1.hs:10:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
[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.8...
Running Haddock for smtLib-1.0.8...
Running hscolour for smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...
src/SMTLib2/Compat1.hs:9:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/SMTLib2/Compat1.hs:10:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
Haddock coverage:
0% ( 0 / 22) in 'SMTLib2.AST'
Missing documentation for:
Module header
Name (src/SMTLib2/AST.hs:18)
Ident (src/SMTLib2/AST.hs:21)
Quant (src/SMTLib2/AST.hs:24)
Binder (src/SMTLib2/AST.hs:27)
Defn (src/SMTLib2/AST.hs:30)
Literal (src/SMTLib2/AST.hs:33)
Type (src/SMTLib2/AST.hs:39)
Expr (src/SMTLib2/AST.hs:43)
Attr (src/SMTLib2/AST.hs:50)
AttrVal (src/SMTLib2/AST.hs:53)
Option (src/SMTLib2/AST.hs:56)
InfoFlag (src/SMTLib2/AST.hs:71)
Command (src/SMTLib2/AST.hs:82)
Script (src/SMTLib2/AST.hs:104)
(src/SMTLib2/AST.hs:114)
(src/SMTLib2/AST.hs:115)
(src/SMTLib2/AST.hs:116)
(src/SMTLib2/AST.hs:117)
(src/SMTLib2/AST.hs:122)
(src/SMTLib2/AST.hs:132)
app (src/SMTLib2/AST.hs:136)
0% ( 0 / 18) in 'SMTLib2.PP'
Missing documentation for:
Module header
PP (src/SMTLib2/PP.hs:9)
(src/SMTLib2/PP.hs:12)
(src/SMTLib2/PP.hs:16)
ppString (src/SMTLib2/PP.hs:19)
(src/SMTLib2/PP.hs:22)
(src/SMTLib2/PP.hs:25)
(src/SMTLib2/PP.hs:29)
(src/SMTLib2/PP.hs:32)
(src/SMTLib2/PP.hs:36)
(src/SMTLib2/PP.hs:67)
(src/SMTLib2/PP.hs:70)
(src/SMTLib2/PP.hs:73)
(src/SMTLib2/PP.hs:82)
(src/SMTLib2/PP.hs:106)
(src/SMTLib2/PP.hs:126)
(src/SMTLib2/PP.hs:139)
(src/SMTLib2/PP.hs:167)
0% ( 0 / 12) in 'SMTLib2.Core'
Missing documentation for:
Module header
tBool (src/SMTLib2/Core.hs:6)
true (src/SMTLib2/Core.hs:9)
false (src/SMTLib2/Core.hs:12)
not (src/SMTLib2/Core.hs:15)
==> (src/SMTLib2/Core.hs:18)
and (src/SMTLib2/Core.hs:21)
or (src/SMTLib2/Core.hs:24)
xor (src/SMTLib2/Core.hs:27)
=== (src/SMTLib2/Core.hs:30)
=/= (src/SMTLib2/Core.hs:33)
ite (src/SMTLib2/Core.hs:36)
0% ( 0 / 38) in 'SMTLib2.BitVector'
Missing documentation for:
Module header
tBitVec (src/SMTLib2/BitVector.hs:6)
bv (src/SMTLib2/BitVector.hs:9)
concat (src/SMTLib2/BitVector.hs:12)
extract (src/SMTLib2/BitVector.hs:15)
bvnot (src/SMTLib2/BitVector.hs:18)
bvand (src/SMTLib2/BitVector.hs:21)
bvor (src/SMTLib2/BitVector.hs:24)
bvneg (src/SMTLib2/BitVector.hs:27)
bvadd (src/SMTLib2/BitVector.hs:30)
bvmul (src/SMTLib2/BitVector.hs:33)
bvudiv (src/SMTLib2/BitVector.hs:36)
bvurem (src/SMTLib2/BitVector.hs:39)
bvshl (src/SMTLib2/BitVector.hs:42)
bvlshr (src/SMTLib2/BitVector.hs:45)
bvult (src/SMTLib2/BitVector.hs:48)
bvnand (src/SMTLib2/BitVector.hs:51)
bvnor (src/SMTLib2/BitVector.hs:54)
bvxor (src/SMTLib2/BitVector.hs:57)
bvxnor (src/SMTLib2/BitVector.hs:60)
bvcomp (src/SMTLib2/BitVector.hs:63)
bvsub (src/SMTLib2/BitVector.hs:66)
bvsdiv (src/SMTLib2/BitVector.hs:69)
bvsrem (src/SMTLib2/BitVector.hs:72)
bvsmod (src/SMTLib2/BitVector.hs:75)
bvashr (src/SMTLib2/BitVector.hs:78)
repeat (src/SMTLib2/BitVector.hs:81)
zero_extend (src/SMTLib2/BitVector.hs:84)
sign_extend (src/SMTLib2/BitVector.hs:87)
rotate_left (src/SMTLib2/BitVector.hs:90)
rotate_right (src/SMTLib2/BitVector.hs:93)
bvule (src/SMTLib2/BitVector.hs:96)
bvugt (src/SMTLib2/BitVector.hs:99)
bvuge (src/SMTLib2/BitVector.hs:102)
bvslt (src/SMTLib2/BitVector.hs:105)
bvsle (src/SMTLib2/BitVector.hs:108)
bvsgt (src/SMTLib2/BitVector.hs:111)
bvsge (src/SMTLib2/BitVector.hs:114)
0% ( 0 / 4) in 'SMTLib2.Array'
Missing documentation for:
Module header
tArray (src/SMTLib2/Array.hs:6)
select (src/SMTLib2/Array.hs:9)
store (src/SMTLib2/Array.hs:12)
0% ( 0 / 14) in 'SMTLib2.Int'
Missing documentation for:
Module header
tInt (src/SMTLib2/Int.hs:6)
num (src/SMTLib2/Int.hs:9)
nNeg (src/SMTLib2/Int.hs:12)
nSub (src/SMTLib2/Int.hs:15)
nAdd (src/SMTLib2/Int.hs:18)
nMul (src/SMTLib2/Int.hs:21)
nDiv (src/SMTLib2/Int.hs:24)
nMod (src/SMTLib2/Int.hs:27)
nAbs (src/SMTLib2/Int.hs:30)
nLeq (src/SMTLib2/Int.hs:33)
nLt (src/SMTLib2/Int.hs:36)
nGeq (src/SMTLib2/Int.hs:39)
nGt (src/SMTLib2/Int.hs:42)
0% ( 0 / 17) in 'SMTLib2'
Missing documentation for:
Module header
Script (src/SMTLib2/AST.hs:104)
Binder (src/SMTLib2/AST.hs:27)
Defn (src/SMTLib2/AST.hs:30)
Type (src/SMTLib2/AST.hs:39)
Expr (src/SMTLib2/AST.hs:43)
Name (src/SMTLib2/AST.hs:18)
Ident (src/SMTLib2/AST.hs:21)
Quant (src/SMTLib2/AST.hs:24)
Literal (src/SMTLib2/AST.hs:33)
Attr (src/SMTLib2/AST.hs:50)
AttrVal (src/SMTLib2/AST.hs:53)
Command (src/SMTLib2/AST.hs:82)
Option (src/SMTLib2/AST.hs:56)
InfoFlag (src/SMTLib2/AST.hs:71)
app (src/SMTLib2/AST.hs:136)
PP (src/SMTLib2/PP.hs:9)
6% ( 2 / 31) in 'SMTLib1.AST'
Missing documentation for:
Module header
Name (src/SMTLib1/AST.hs:18)
Ident (src/SMTLib1/AST.hs:21)
Quant (src/SMTLib1/AST.hs:24)
Conn (src/SMTLib1/AST.hs:27)
Formula (src/SMTLib1/AST.hs:30)
Sort (src/SMTLib1/AST.hs:41)
Binder (src/SMTLib1/AST.hs:43)
Term (src/SMTLib1/AST.hs:46)
Literal (src/SMTLib1/AST.hs:53)
Annot (src/SMTLib1/AST.hs:58)
FunDecl (src/SMTLib1/AST.hs:61)
PredDecl (src/SMTLib1/AST.hs:68)
Status (src/SMTLib1/AST.hs:74)
Command (src/SMTLib1/AST.hs:77)
Script (src/SMTLib1/AST.hs:90)
(src/SMTLib1/AST.hs:100)
(src/SMTLib1/AST.hs:101)
(src/SMTLib1/AST.hs:102)
(src/SMTLib1/AST.hs:105)
(src/SMTLib1/AST.hs:114)
=== (src/SMTLib1/AST.hs:121)
=/= (src/SMTLib1/AST.hs:124)
tInt (src/SMTLib1/AST.hs:135)
funDef (src/SMTLib1/AST.hs:138)
constDef (src/SMTLib1/AST.hs:145)
logic (src/SMTLib1/AST.hs:149)
assume (src/SMTLib1/AST.hs:152)
goal (src/SMTLib1/AST.hs:155)
0% ( 0 / 16) in 'SMTLib1.PP'
Missing documentation for:
Module header
PP (src/SMTLib1/PP.hs:7)
(src/SMTLib1/PP.hs:10)
(src/SMTLib1/PP.hs:13)
(src/SMTLib1/PP.hs:19)
(src/SMTLib1/PP.hs:23)
(src/SMTLib1/PP.hs:34)
(src/SMTLib1/PP.hs:37)
(src/SMTLib1/PP.hs:63)
(src/SMTLib1/PP.hs:71)
(src/SMTLib1/PP.hs:88)
(src/SMTLib1/PP.hs:95)
(src/SMTLib1/PP.hs:99)
(src/SMTLib1/PP.hs:103)
(src/SMTLib1/PP.hs:110)
(src/SMTLib1/PP.hs:139)
0% ( 0 / 18) in 'SMTLib2.Compat1'
Missing documentation for:
Module header
Trans (src/SMTLib2/Compat1.hs:14)
toMaybe (src/SMTLib2/Compat1.hs:16)
toEither (src/SMTLib2/Compat1.hs:22)
(src/SMTLib2/Compat1.hs:28)
(src/SMTLib2/Compat1.hs:34)
err (src/SMTLib2/Compat1.hs:42)
name (src/SMTLib2/Compat1.hs:47)
ident (src/SMTLib2/Compat1.hs:50)
quant (src/SMTLib2/Compat1.hs:53)
binder (src/SMTLib2/Compat1.hs:59)
sort (src/SMTLib2/Compat1.hs:64)
literal (src/SMTLib2/Compat1.hs:67)
term (src/SMTLib2/Compat1.hs:74)
formula (src/SMTLib2/Compat1.hs:84)
annot (src/SMTLib2/Compat1.hs:122)
command (src/SMTLib2/Compat1.hs:130)
script (src/SMTLib2/Compat1.hs:178)
7% ( 2 / 27) in 'SMTLib1'
Missing documentation for:
Module header
Name (src/SMTLib1/AST.hs:18)
Ident (src/SMTLib1/AST.hs:21)
Quant (src/SMTLib1/AST.hs:24)
Conn (src/SMTLib1/AST.hs:27)
Formula (src/SMTLib1/AST.hs:30)
Sort (src/SMTLib1/AST.hs:41)
Binder (src/SMTLib1/AST.hs:43)
Term (src/SMTLib1/AST.hs:46)
Literal (src/SMTLib1/AST.hs:53)
Annot (src/SMTLib1/AST.hs:58)
FunDecl (src/SMTLib1/AST.hs:61)
PredDecl (src/SMTLib1/AST.hs:68)
Status (src/SMTLib1/AST.hs:74)
Command (src/SMTLib1/AST.hs:77)
Script (src/SMTLib1/AST.hs:90)
=== (src/SMTLib1/AST.hs:121)
=/= (src/SMTLib1/AST.hs:124)
tInt (src/SMTLib1/AST.hs:135)
funDef (src/SMTLib1/AST.hs:138)
constDef (src/SMTLib1/AST.hs:145)
logic (src/SMTLib1/AST.hs:149)
assume (src/SMTLib1/AST.hs:152)
goal (src/SMTLib1/AST.hs:155)
PP (src/SMTLib1/PP.hs:7)
Warning: SMTLib1.QF_BV: Could not find documentation for exported module: X
8% ( 3 / 40) in 'SMTLib1.QF_BV'
Missing documentation for:
Module header
tBitVec (src/SMTLib1/QF_BV.hs:8)
isBitVec (src/SMTLib1/QF_BV.hs:11)
extract (src/SMTLib1/QF_BV.hs:27)
bvnot (src/SMTLib1/QF_BV.hs:30)
bvand (src/SMTLib1/QF_BV.hs:33)
bvor (src/SMTLib1/QF_BV.hs:36)
bvneg (src/SMTLib1/QF_BV.hs:39)
bvadd (src/SMTLib1/QF_BV.hs:42)
bvmul (src/SMTLib1/QF_BV.hs:45)
bvudiv (src/SMTLib1/QF_BV.hs:48)
bvurem (src/SMTLib1/QF_BV.hs:51)
bvshl (src/SMTLib1/QF_BV.hs:54)
bvlshr (src/SMTLib1/QF_BV.hs:57)
bv (src/SMTLib1/QF_BV.hs:61)
bvnand (src/SMTLib1/QF_BV.hs:65)
bvnor (src/SMTLib1/QF_BV.hs:68)
bvxor (src/SMTLib1/QF_BV.hs:71)
bvxnor (src/SMTLib1/QF_BV.hs:74)
bvcomp (src/SMTLib1/QF_BV.hs:77)
bvsub (src/SMTLib1/QF_BV.hs:80)
bvsdiv (src/SMTLib1/QF_BV.hs:83)
bvsrem (src/SMTLib1/QF_BV.hs:86)
bvsmod (src/SMTLib1/QF_BV.hs:89)
bvashr (src/SMTLib1/QF_BV.hs:92)
repeat (src/SMTLib1/QF_BV.hs:95)
zero_extend (src/SMTLib1/QF_BV.hs:98)
sign_extend (src/SMTLib1/QF_BV.hs:101)
rotate_left (src/SMTLib1/QF_BV.hs:104)
rotate_right (src/SMTLib1/QF_BV.hs:107)
bvule (src/SMTLib1/QF_BV.hs:110)
bvugt (src/SMTLib1/QF_BV.hs:113)
bvuge (src/SMTLib1/QF_BV.hs:116)
bvslt (src/SMTLib1/QF_BV.hs:119)
bvsle (src/SMTLib1/QF_BV.hs:122)
bvsgt (src/SMTLib1/QF_BV.hs:125)
bvsge (src/SMTLib1/QF_BV.hs:128)
Warning: SMTLib1.QF_AUFBV: Could not find documentation for exported module: X
75% ( 3 / 4) in 'SMTLib1.QF_AUFBV'
Missing documentation for:
Module header
Documentation created: dist/doc/html/smtLib/index.html,
dist/doc/html/smtLib/smtLib.txt
Creating package registration file:
/tmp/pkgConf-smtLib-1.02145174067468703135.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/smtLib-1.0.8-J3tVABxPdtQH4sATkkHK9J
Registering smtLib-1.0.8...
Installed smtLib-1.0.8
Test log
No test log was submitted for this report.