Build #1 for abcBridge-0.15

[all reports]

Package abcBridge-0.15
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-10-26 01:55:46.481885 UTC
Compiler ghc-8.0.1.20160701
OS linux
Arch x86_64
Dependencies aig-0.2.4, base-4.9.0.0, base-compat-0.9.1, containers-0.5.7.1, directory-1.2.6.2, vector-0.11.0.0
Flags enable-pthreads -enable-extra-tests

Build log

[view raw]

Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-25560/base-compat-0.9.1'
Configuring base-compat-0.9.1...
Building base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
[ 1 of 37] Compiling Text.Read.Compat ( src/Text/Read/Compat.hs, dist/build/Text/Read/Compat.o )
[ 2 of 37] Compiling System.IO.Unsafe.Compat ( src/System/IO/Unsafe/Compat.hs, dist/build/System/IO/Unsafe/Compat.o )
[ 3 of 37] Compiling System.Exit.Compat ( src/System/Exit/Compat.hs, dist/build/System/Exit/Compat.o )
[ 4 of 37] Compiling System.Environment.Compat ( src/System/Environment/Compat.hs, dist/build/System/Environment/Compat.o )
[ 5 of 37] Compiling Prelude.Compat   ( src/Prelude/Compat.hs, dist/build/Prelude/Compat.o )
[ 6 of 37] Compiling Numeric.Compat   ( src/Numeric/Compat.hs, dist/build/Numeric/Compat.o )
[ 7 of 37] Compiling Foreign.Marshal.Unsafe.Compat ( src/Foreign/Marshal/Unsafe/Compat.hs, dist/build/Foreign/Marshal/Unsafe/Compat.o )
[ 8 of 37] Compiling Foreign.Marshal.Safe.Compat ( src/Foreign/Marshal/Safe/Compat.hs, dist/build/Foreign/Marshal/Safe/Compat.o )
[ 9 of 37] Compiling Foreign.Marshal.Utils.Compat ( src/Foreign/Marshal/Utils/Compat.hs, dist/build/Foreign/Marshal/Utils/Compat.o )
[10 of 37] Compiling Foreign.Marshal.Array.Compat ( src/Foreign/Marshal/Array/Compat.hs, dist/build/Foreign/Marshal/Array/Compat.o )
[11 of 37] Compiling Foreign.Marshal.Alloc.Compat ( src/Foreign/Marshal/Alloc/Compat.hs, dist/build/Foreign/Marshal/Alloc/Compat.o )
[12 of 37] Compiling Foreign.ForeignPtr.Unsafe.Compat ( src/Foreign/ForeignPtr/Unsafe/Compat.hs, dist/build/Foreign/ForeignPtr/Unsafe/Compat.o )
[13 of 37] Compiling Foreign.ForeignPtr.Safe.Compat ( src/Foreign/ForeignPtr/Safe/Compat.hs, dist/build/Foreign/ForeignPtr/Safe/Compat.o )
[14 of 37] Compiling Foreign.Marshal.Compat ( src/Foreign/Marshal/Compat.hs, dist/build/Foreign/Marshal/Compat.o )
[15 of 37] Compiling Foreign.Compat   ( src/Foreign/Compat.hs, dist/build/Foreign/Compat.o )
[16 of 37] Compiling Debug.Trace.Compat ( src/Debug/Trace/Compat.hs, dist/build/Debug/Trace/Compat.o )
[17 of 37] Compiling Data.Word.Compat ( src/Data/Word/Compat.hs, dist/build/Data/Word/Compat.o )
[18 of 37] Compiling Data.Version.Compat ( src/Data/Version/Compat.hs, dist/build/Data/Version/Compat.o )
[19 of 37] Compiling Data.String.Compat ( src/Data/String/Compat.hs, dist/build/Data/String/Compat.o )
[20 of 37] Compiling Data.STRef.Compat ( src/Data/STRef/Compat.hs, dist/build/Data/STRef/Compat.o )
[21 of 37] Compiling Data.Ratio.Compat ( src/Data/Ratio/Compat.hs, dist/build/Data/Ratio/Compat.o )
[22 of 37] Compiling Data.Monoid.Compat ( src/Data/Monoid/Compat.hs, dist/build/Data/Monoid/Compat.o )
[23 of 37] Compiling Data.List.Compat ( src/Data/List/Compat.hs, dist/build/Data/List/Compat.o )
[24 of 37] Compiling Data.IORef.Compat ( src/Data/IORef/Compat.hs, dist/build/Data/IORef/Compat.o )
[25 of 37] Compiling Data.Functor.Const.Compat ( src/Data/Functor/Const/Compat.hs, dist/build/Data/Functor/Const/Compat.o )
[26 of 37] Compiling Data.Functor.Compat ( src/Data/Functor/Compat.hs, dist/build/Data/Functor/Compat.o )
[27 of 37] Compiling Data.Function.Compat ( src/Data/Function/Compat.hs, dist/build/Data/Function/Compat.o )
[28 of 37] Compiling Data.Foldable.Compat ( src/Data/Foldable/Compat.hs, dist/build/Data/Foldable/Compat.o )
[29 of 37] Compiling Data.Either.Compat ( src/Data/Either/Compat.hs, dist/build/Data/Either/Compat.o )
[30 of 37] Compiling Data.Complex.Compat ( src/Data/Complex/Compat.hs, dist/build/Data/Complex/Compat.o )
[31 of 37] Compiling Data.Bool.Compat ( src/Data/Bool/Compat.hs, dist/build/Data/Bool/Compat.o )
[32 of 37] Compiling Data.Bits.Compat ( src/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o )
[33 of 37] Compiling Control.Monad.ST.Unsafe.Compat ( src/Control/Monad/ST/Unsafe/Compat.hs, dist/build/Control/Monad/ST/Unsafe/Compat.o )
[34 of 37] Compiling Control.Monad.ST.Lazy.Unsafe.Compat ( src/Control/Monad/ST/Lazy/Unsafe/Compat.hs, dist/build/Control/Monad/ST/Lazy/Unsafe/Compat.o )
[35 of 37] Compiling Control.Monad.Compat ( src/Control/Monad/Compat.hs, dist/build/Control/Monad/Compat.o )
[36 of 37] Compiling Control.Concurrent.MVar.Compat ( src/Control/Concurrent/MVar/Compat.hs, dist/build/Control/Concurrent/MVar/Compat.o )
[37 of 37] Compiling Control.Concurrent.Compat ( src/Control/Concurrent/Compat.hs, dist/build/Control/Concurrent/Compat.o )
Running Haddock for base-compat-0.9.1...
Running hscolour for base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
Haddock coverage:
  89% ( 16 / 18) in 'Text.Read.Compat'
  Missing documentation for:
    Module header
    Lexeme
Warning: System.IO.Unsafe.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'System.IO.Unsafe.Compat'
  Missing documentation for:
    Module header
Warning: System.Exit.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'System.Exit.Compat'
  Missing documentation for:
    Module header
 100% ( 10 / 10) in 'System.Environment.Compat'
Warning: Prelude.Compat: Could not find documentation for exported module: Base
   0% (  0 /  1) in 'Prelude.Compat'
  Missing documentation for:
    Module header
Warning: Numeric.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'Numeric.Compat'
  Missing documentation for:
    Module header
  67% (  2 /  3) in 'Foreign.Marshal.Unsafe.Compat'
  Missing documentation for:
    Module header
  86% (  6 /  7) in 'Foreign.Marshal.Safe.Compat'
  Missing documentation for:
    Module header
Warning: Foreign.Marshal.Utils.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'Foreign.Marshal.Utils.Compat'
  Missing documentation for:
    Module header
Warning: Foreign.Marshal.Array.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'Foreign.Marshal.Array.Compat'
  Missing documentation for:
    Module header
Warning: Foreign.Marshal.Alloc.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'Foreign.Marshal.Alloc.Compat'
  Missing documentation for:
    Module header
  67% (  2 /  3) in 'Foreign.ForeignPtr.Unsafe.Compat'
  Missing documentation for:
    Module header
  90% ( 19 / 21) in 'Foreign.ForeignPtr.Safe.Compat'
  Missing documentation for:
    Module header
    FinalizerEnvPtr
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Base
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Alloc
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Array
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Utils
   0% (  0 /  1) in 'Foreign.Marshal.Compat'
  Missing documentation for:
    Module header
Warning: Foreign.Compat: Could not find documentation for exported module: Base
Warning: Foreign.Compat: Could not find documentation for exported module: Marshal
   0% (  0 /  1) in 'Foreign.Compat'
  Missing documentation for:
    Module header
Warning: Debug.Trace.Compat: Could not find documentation for exported module: Base
  80% (  4 /  5) in 'Debug.Trace.Compat'
  Missing documentation for:
    Module header
Warning: Data.Word.Compat: Could not find documentation for exported module: Base
  75% (  3 /  4) in 'Data.Word.Compat'
  Missing documentation for:
    Module header
Warning: Data.Version.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'Data.Version.Compat'
  Missing documentation for:
    Module header
Warning: Data.String.Compat: Could not find documentation for exported module: Base
  83% (  5 /  6) in 'Data.String.Compat'
  Missing documentation for:
    Module header
Warning: Data.STRef.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'Data.STRef.Compat'
  Missing documentation for:
    Module header
Warning: Data.Ratio.Compat: Could not find documentation for exported module: Base
   0% (  0 /  1) in 'Data.Ratio.Compat'
  Missing documentation for:
    Module header
Warning: Data.Monoid.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'Data.Monoid.Compat'
  Missing documentation for:
    Module header
Warning: Data.List.Compat: Could not find documentation for exported module: Base
   0% (  0 /  1) in 'Data.List.Compat'
  Missing documentation for:
    Module header
Warning: Data.IORef.Compat: Could not find documentation for exported module: Base
  75% (  3 /  4) in 'Data.IORef.Compat'
  Missing documentation for:
    Module header
  50% (  1 /  2) in 'Data.Functor.Const.Compat'
  Missing documentation for:
    Module header
Warning: Data.Functor.Compat: Could not find documentation for exported module: Base
  75% (  3 /  4) in 'Data.Functor.Compat'
  Missing documentation for:
    Module header
Warning: Data.Function.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'Data.Function.Compat'
  Missing documentation for:
    Module header
Warning: Data.Foldable.Compat: Could not find documentation for exported module: Base
   0% (  0 /  1) in 'Data.Foldable.Compat'
  Missing documentation for:
    Module header
Warning: Data.Either.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'Data.Either.Compat'
  Missing documentation for:
    Module header
Warning: Data.Complex.Compat: Could not find documentation for exported module: Base
   0% (  0 /  1) in 'Data.Complex.Compat'
  Missing documentation for:
    Module header
Warning: Data.Bool.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'Data.Bool.Compat'
  Missing documentation for:
    Module header
Warning: Data.Bits.Compat: Could not find documentation for exported module: Base
  80% (  4 /  5) in 'Data.Bits.Compat'
  Missing documentation for:
    Module header
  20% (  1 /  5) in 'Control.Monad.ST.Unsafe.Compat'
  Missing documentation for:
    Module header
    unsafeInterleaveST
    unsafeIOToST
    unsafeSTToIO
  25% (  1 /  4) in 'Control.Monad.ST.Lazy.Unsafe.Compat'
  Missing documentation for:
    Module header
    unsafeInterleaveST
    unsafeIOToST
Warning: Control.Monad.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'Control.Monad.Compat'
  Missing documentation for:
    Module header
Warning: Control.Concurrent.MVar.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'Control.Concurrent.MVar.Compat'
  Missing documentation for:
    Module header
Warning: Control.Concurrent.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'Control.Concurrent.Compat'
  Missing documentation for:
    Module header
Warning: Text.Read.Compat: could not find link destinations for:
    ~
Warning: Data.Functor.Const.Compat: could not find link destinations for:
    unsafeIndex unsafeRangeSize
Warning: Data.Functor.Compat: could not find link destinations for:
    P
Warning: Control.Monad.Compat: could not find link destinations for:
    P
Documentation created: dist/doc/html/base-compat/index.html,
dist/doc/html/base-compat/base-compat.txt
Creating package registration file:
/tmp/pkgConf-base-compat-0.92145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/base-compat-0.9.1-tmPpmtbHbvIDjFWbkjGrR
Registering base-compat-0.9.1...
cabal: Leaving directory '/tmp/cabal-tmp-25560/base-compat-0.9.1'
Installed base-compat-0.9.1
cabal: Entering directory '/tmp/cabal-tmp-25560/mtl-2.2.1'
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
  75% (  3 /  4) in 'Control.Monad.Writer.Class'
  Missing documentation for:
    MonadWriter (Control/Monad/Writer/Class.hs:62)
 100% (  5 /  5) in 'Control.Monad.State.Class'
 100% (  3 /  3) in 'Control.Monad.Reader.Class'
  80% (  4 /  5) in 'Control.Monad.RWS.Class'
  Missing documentation for:
    MonadRWS (Control/Monad/RWS/Class.hs:44)
 100% (  4 /  4) in 'Control.Monad.Identity'
 100% (  3 /  3) in 'Control.Monad.Error.Class'
  50% (  1 /  2) in 'Control.Monad.Cont.Class'
  Missing documentation for:
    MonadCont (Control/Monad/Cont/Class.hs:73)
 100% (  3 /  3) in 'Control.Monad.Trans'
  93% ( 14 / 15) in 'Control.Monad.Error'
  Missing documentation for:
    runErrorT
 100% ( 19 / 19) in 'Control.Monad.Except'
 100% (  5 /  5) in 'Control.Monad.List'
  95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
  Missing documentation for:
    runRWST
 100% (  2 /  2) in 'Control.Monad.RWS'
  96% ( 22 / 23) in 'Control.Monad.Reader'
  Missing documentation for:
    runReaderT
  95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
  Missing documentation for:
    runRWST
  96% ( 24 / 25) in 'Control.Monad.State.Lazy'
  Missing documentation for:
    runStateT
 100% (  2 /  2) in 'Control.Monad.State'
  96% ( 24 / 25) in 'Control.Monad.State.Strict'
  Missing documentation for:
    runStateT
  89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
  Missing documentation for:
    MonadWriter (Control/Monad/Writer/Class.hs:62)
    runWriterT
 100% (  2 /  2) in 'Control.Monad.Writer'
  94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
  Missing documentation for:
    MonadWriter (Control/Monad/Writer/Class.hs:62)
  91% ( 20 / 22) in 'Control.Monad.Cont'
  Missing documentation for:
    MonadCont (Control/Monad/Cont/Class.hs:73)
    runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.212818308571386418627.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-25560/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-25560/primitive-0.6.1.0'
Configuring primitive-0.6.1.0...
Building primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )

Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Trans.Error’ is deprecated:
      Use Control.Monad.Trans.Except instead

Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive   ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
Running Haddock for primitive-0.6.1.0...
Running hscolour for primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...

Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Trans.Error’ is deprecated:
      Use Control.Monad.Trans.Except instead

Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"
Haddock coverage:
 100% (  3 /  3) in 'Data.Primitive.Internal.Compat'
   3% (  1 / 35) in 'Data.Primitive.MachDeps'
  Missing documentation for:
    sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19)
    sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19)
    sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19)
    sIZEOF_PTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19)
    Word64_# (Data/Primitive/MachDeps.hs:120)
    Int64_# (Data/Primitive/MachDeps.hs:121)
   3% (  1 / 29) in 'Data.Primitive.Internal.Operations'
  Missing documentation for:
    setWord8Array# (Data/Primitive/Internal/Operations.hs:33)
    setWord16Array# (Data/Primitive/Internal/Operations.hs:35)
    setWord32Array# (Data/Primitive/Internal/Operations.hs:37)
    setWord64Array# (Data/Primitive/Internal/Operations.hs:39)
    setWordArray# (Data/Primitive/Internal/Operations.hs:41)
    setInt8Array# (Data/Primitive/Internal/Operations.hs:43)
    setInt16Array# (Data/Primitive/Internal/Operations.hs:45)
    setInt32Array# (Data/Primitive/Internal/Operations.hs:47)
    setInt64Array# (Data/Primitive/Internal/Operations.hs:49)
    setIntArray# (Data/Primitive/Internal/Operations.hs:51)
    setAddrArray# (Data/Primitive/Internal/Operations.hs:53)
    setFloatArray# (Data/Primitive/Internal/Operations.hs:55)
    setDoubleArray# (Data/Primitive/Internal/Operations.hs:57)
    setWideCharArray# (Data/Primitive/Internal/Operations.hs:59)
    setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62)
    setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64)
    setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66)
    setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68)
    setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70)
    setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72)
    setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74)
    setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76)
    setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78)
    setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80)
    setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82)
    setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84)
    setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86)
    setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88)
  75% ( 12 / 16) in 'Control.Monad.Primitive'
  Missing documentation for:
    unsafeInlinePrim (Control/Monad/Primitive.hs:189)
    unsafeInlineIO (Control/Monad/Primitive.hs:193)
    unsafeInlineST (Control/Monad/Primitive.hs:197)
    touch (Control/Monad/Primitive.hs:201)
 100% (  3 /  3) in 'Data.Primitive.Types'
 100% ( 15 / 15) in 'Data.Primitive.Array'
  93% ( 27 / 29) in 'Data.Primitive.ByteArray'
  Missing documentation for:
    ByteArray#
    MutableByteArray#
 100% ( 16 / 16) in 'Data.Primitive.Addr'
 100% (  7 /  7) in 'Data.Primitive'
 100% (  9 /  9) in 'Data.Primitive.MutVar'
Warning: Control.Monad.Primitive: could not find link destinations for:
    ~
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file:
/tmp/pkgConf-primitive-0.6.18332153501280311131.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/primitive-0.6.1.0-Ip44DqhfCp21tTUYbecwa
Registering primitive-0.6.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-25560/primitive-0.6.1.0'
Installed primitive-0.6.1.0
cabal: Entering directory '/tmp/cabal-tmp-25560/random-1.1'
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random    ( System/Random.hs, dist/build/System/Random.o )

System/Random.hs:43:1: warning: [-Wtabs]
    Tab character found here, and in 74 further locations.
    Please use spaces instead.
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...

System/Random.hs:43:1: warning: [-Wtabs]
    Tab character found here, and in 74 further locations.
    Please use spaces instead.
Haddock coverage:
Cannot find documentation for: $intro
 100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-1470631541750167716.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-25560/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-25560/vector-0.11.0.0'
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
[ 1 of 21] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )

Data/Vector/Storable/Internal.hs:17:1: warning: [-Wunused-imports]
    The import of ‘Foreign.ForeignPtr’ is redundant
      except perhaps to import instances from ‘Foreign.ForeignPtr’
    To import instances alone, use: import Foreign.ForeignPtr()

Data/Vector/Storable/Internal.hs:18:1: warning: [-Wunused-imports]
    The import of ‘Foreign.Ptr’ is redundant
      except perhaps to import instances from ‘Foreign.Ptr’
    To import instances alone, use: import Foreign.Ptr()
[ 2 of 21] Compiling Data.Vector.Generic.Mutable.Base ( Data/Vector/Generic/Mutable/Base.hs, dist/build/Data/Vector/Generic/Mutable/Base.o )
[ 3 of 21] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 4 of 21] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
[ 5 of 21] Compiling Data.Vector.Fusion.Bundle.Size ( Data/Vector/Fusion/Bundle/Size.hs, dist/build/Data/Vector/Fusion/Bundle/Size.o )
[ 6 of 21] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 7 of 21] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )

Data/Vector/Fusion/Stream/Monadic.hs:431:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Monad m, Monad m')
    • In the type signature for:
           trans :: (Monad m, Monad m') =>
                    (forall z. m z -> m' z) -> Stream m a -> Stream m' a

Data/Vector/Fusion/Stream/Monadic.hs:1449:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
                                a -> a -> Stream m a
[ 8 of 21] Compiling Data.Vector.Fusion.Bundle.Monadic ( Data/Vector/Fusion/Bundle/Monadic.hs, dist/build/Data/Vector/Fusion/Bundle/Monadic.o )

Data/Vector/Fusion/Bundle/Monadic.hs:945:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
                                a -> a -> Bundle m v a
[ 9 of 21] Compiling Data.Vector.Fusion.Bundle ( Data/Vector/Fusion/Bundle.hs, dist/build/Data/Vector/Fusion/Bundle.o )

Data/Vector/Fusion/Bundle.hs:114:1: warning: [-Wtabs]
    Tab character found here.
    Please use spaces instead.
[10 of 21] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[11 of 21] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[12 of 21] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )

Data/Vector/Generic.hs:2080:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Vector v a
    • In the type signature for:
           dataCast :: (Vector v a, Data a, Typeable v, Typeable t) =>
                       (forall d. Data d => c (t d)) -> Maybe (c (v a))
[13 of 21] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[14 of 21] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
[15 of 21] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )

Data/Vector/Storable/Mutable.hs:72:1: warning: [-Wunused-imports]
    The import of ‘Foreign.Ptr’ is redundant
      except perhaps to import instances from ‘Foreign.Ptr’
    To import instances alone, use: import Foreign.Ptr()

Data/Vector/Storable/Mutable.hs:491:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeFromForeignPtr0 :: Storable a =>
                                    ForeignPtr a -> Int -> MVector s a

Data/Vector/Storable/Mutable.hs:501:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr :: Storable a =>
                                 MVector s a -> (ForeignPtr a, Int, Int)

Data/Vector/Storable/Mutable.hs:511:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr0 :: Storable a =>
                                  MVector s a -> (ForeignPtr a, Int)

Data/Vector/Storable/Mutable.hs:518:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b
[16 of 21] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )

Data/Vector/Storable.hs:1408:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeFromForeignPtr0 :: Storable a =>
                                    ForeignPtr a -> Int -> Vector a

Data/Vector/Storable.hs:1417:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr :: Storable a =>
                                 Vector a -> (ForeignPtr a, Int, Int)

Data/Vector/Storable.hs:1426:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr0 :: Storable a =>
                                  Vector a -> (ForeignPtr a, Int)

Data/Vector/Storable.hs:1432:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b
[17 of 21] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )

Data/Vector/Unboxed/Base.hs:362:10: warning: [-Wredundant-constraints]
    • Redundant constraint: RealFloat a
    • In the instance declaration for ‘M.MVector MVector (Complex a)’
[18 of 21] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )

internal/unbox-tuple-instances:133:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b)
    • In the type signature for:
           unzip :: (Unbox a, Unbox b) =>
                    Vector (a, b) -> (Vector a, Vector b)

internal/unbox-tuple-instances:307:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c)
    • In the type signature for:
           unzip3 :: (Unbox a, Unbox b, Unbox c) =>
                     Vector (a, b, c) -> (Vector a, Vector b, Vector c)

internal/unbox-tuple-instances:526:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
    • In the type signature for:
           unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
                     Vector (a, b, c, d) -> (Vector a, Vector b, Vector c, Vector d)

internal/unbox-tuple-instances:803:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e)
    • In the type signature for:
           unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
                     Vector (a, b, c, d, e)
                     -> (Vector a, Vector b, Vector c, Vector d, Vector e)

internal/unbox-tuple-instances:1121:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e,
                              Unbox f)
    • In the type signature for:
           unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
                     Vector (a, b, c, d, e, f)
                     -> (Vector a, Vector b, Vector c, Vector d, Vector e, Vector f)
[19 of 21] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )

internal/unbox-tuple-instances:117:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b)
    • In the type signature for:
           unzip :: (Unbox a, Unbox b) =>
                    MVector s (a, b) -> (MVector s a, MVector s b)

internal/unbox-tuple-instances:282:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c)
    • In the type signature for:
           unzip3 :: (Unbox a, Unbox b, Unbox c) =>
                     MVector s (a, b, c) -> (MVector s a, MVector s b, MVector s c)

internal/unbox-tuple-instances:493:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
    • In the type signature for:
           unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
                     MVector s (a, b, c, d)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d)

internal/unbox-tuple-instances:756:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e)
    • In the type signature for:
           unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
                     MVector s (a, b, c, d, e)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d,
                         MVector s e)

internal/unbox-tuple-instances:1066:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e,
                              Unbox f)
    • In the type signature for:
           unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
                     MVector s (a, b, c, d, e, f)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d,
                         MVector s e, MVector s f)
[20 of 21] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[21 of 21] Compiling Data.Vector      ( Data/Vector.hs, dist/build/Data/Vector.o )
Running Haddock for vector-0.11.0.0...
Running hscolour for vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...

Data/Vector/Storable/Internal.hs:17:1: warning: [-Wunused-imports]
    The import of ‘Foreign.ForeignPtr’ is redundant
      except perhaps to import instances from ‘Foreign.ForeignPtr’
    To import instances alone, use: import Foreign.ForeignPtr()

Data/Vector/Storable/Internal.hs:18:1: warning: [-Wunused-imports]
    The import of ‘Foreign.Ptr’ is redundant
      except perhaps to import instances from ‘Foreign.Ptr’
    To import instances alone, use: import Foreign.Ptr()

Data/Vector/Fusion/Stream/Monadic.hs:431:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Monad m, Monad m')
    • In the type signature for:
           trans :: (Monad m, Monad m') =>
                    (forall z. m z -> m' z) -> Stream m a -> Stream m' a

Data/Vector/Fusion/Stream/Monadic.hs:1449:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
                                a -> a -> Stream m a

Data/Vector/Fusion/Bundle/Monadic.hs:945:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord a
    • In the type signature for:
           enumFromTo_double :: (Monad m, Ord a, RealFrac a) =>
                                a -> a -> Bundle m v a

Data/Vector/Fusion/Bundle.hs:114:1: warning: [-Wtabs]
    Tab character found here.
    Please use spaces instead.

Data/Vector/Generic.hs:2080:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Vector v a
    • In the type signature for:
           dataCast :: (Vector v a, Data a, Typeable v, Typeable t) =>
                       (forall d. Data d => c (t d)) -> Maybe (c (v a))
Haddock coverage:
  25% (  1 /  4) in 'Data.Vector.Storable.Internal'
  Missing documentation for:
    getPtr (Data/Vector/Storable/Internal.hs:22)
    setPtr (Data/Vector/Storable/Internal.hs:26)
    updPtr (Data/Vector/Storable/Internal.hs:30)
 100% (  2 /  2) in 'Data.Vector.Generic.Mutable.Base'
 100% (  3 /  3) in 'Data.Vector.Generic.Base'
 100% (  5 /  5) in 'Data.Vector.Fusion.Util'
 100% (  8 /  8) in 'Data.Vector.Fusion.Bundle.Size'
  11% (  1 /  9) in 'Data.Vector.Internal.Check'
  Missing documentation for:
    Checks (Data/Vector/Internal/Check.hs:51)
    doChecks (Data/Vector/Internal/Check.hs:75)
    error (Data/Vector/Internal/Check.hs:84)
    internalError (Data/Vector/Internal/Check.hs:89)
    check (Data/Vector/Internal/Check.hs:105)
    checkIndex (Data/Vector/Internal/Check.hs:119)
    checkLength (Data/Vector/Internal/Check.hs:133)
    checkSlice (Data/Vector/Internal/Check.hs:147)
  82% (103 /125) in 'Data.Vector.Fusion.Stream.Monadic'
  Missing documentation for:
    generate (Data/Vector/Fusion/Stream/Monadic.hs:184)
    unbox (Data/Vector/Fusion/Stream/Monadic.hs:436)
    concatMap (Data/Vector/Fusion/Stream/Monadic.hs:996)
    zipWithM_ (Data/Vector/Fusion/Stream/Monadic.hs:512)
    zipWith3M (Data/Vector/Fusion/Stream/Monadic.hs:516)
    zipWith4M (Data/Vector/Fusion/Stream/Monadic.hs:544)
    zipWith5M (Data/Vector/Fusion/Stream/Monadic.hs:551)
    zipWith6M (Data/Vector/Fusion/Stream/Monadic.hs:558)
    zipWith (Data/Vector/Fusion/Stream/Monadic.hs:566)
    zipWith3 (Data/Vector/Fusion/Stream/Monadic.hs:570)
    zipWith4 (Data/Vector/Fusion/Stream/Monadic.hs:575)
    zipWith5 (Data/Vector/Fusion/Stream/Monadic.hs:581)
    zipWith6 (Data/Vector/Fusion/Stream/Monadic.hs:587)
    zip (Data/Vector/Fusion/Stream/Monadic.hs:593)
    zip3 (Data/Vector/Fusion/Stream/Monadic.hs:597)
    zip4 (Data/Vector/Fusion/Stream/Monadic.hs:601)
    zip5 (Data/Vector/Fusion/Stream/Monadic.hs:606)
    zip6 (Data/Vector/Fusion/Stream/Monadic.hs:611)
    and (Data/Vector/Fusion/Stream/Monadic.hs:970)
    or (Data/Vector/Fusion/Stream/Monadic.hs:983)
    concatMapM (Data/Vector/Fusion/Stream/Monadic.hs:1000)
    unfoldrN (Data/Vector/Fusion/Stream/Monadic.hs:1062)
  79% (106 /135) in 'Data.Vector.Fusion.Bundle.Monadic'
  Missing documentation for:
    Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110)
    generate (Data/Vector/Fusion/Bundle/Monadic.hs:190)
    unbox (Data/Vector/Fusion/Bundle/Monadic.hs:301)
    concatMap (Data/Vector/Fusion/Bundle/Monadic.hs:595)
    zipWithM_ (Data/Vector/Fusion/Bundle/Monadic.hs:332)
    zipWith3M (Data/Vector/Fusion/Bundle/Monadic.hs:336)
    zipWith4M (Data/Vector/Fusion/Bundle/Monadic.hs:343)
    zipWith5M (Data/Vector/Fusion/Bundle/Monadic.hs:350)
    zipWith6M (Data/Vector/Fusion/Bundle/Monadic.hs:357)
    zipWith (Data/Vector/Fusion/Bundle/Monadic.hs:365)
    zipWith3 (Data/Vector/Fusion/Bundle/Monadic.hs:369)
    zipWith4 (Data/Vector/Fusion/Bundle/Monadic.hs:374)
    zipWith5 (Data/Vector/Fusion/Bundle/Monadic.hs:380)
    zipWith6 (Data/Vector/Fusion/Bundle/Monadic.hs:386)
    zip (Data/Vector/Fusion/Bundle/Monadic.hs:392)
    zip3 (Data/Vector/Fusion/Bundle/Monadic.hs:396)
    zip4 (Data/Vector/Fusion/Bundle/Monadic.hs:400)
    zip5 (Data/Vector/Fusion/Bundle/Monadic.hs:405)
    zip6 (Data/Vector/Fusion/Bundle/Monadic.hs:410)
    and (Data/Vector/Fusion/Bundle/Monadic.hs:587)
    or (Data/Vector/Fusion/Bundle/Monadic.hs:591)
    concatMapM (Data/Vector/Fusion/Bundle/Monadic.hs:599)
    fromVector (Data/Vector/Fusion/Bundle/Monadic.hs:1009)
    reVector (Data/Vector/Fusion/Bundle/Monadic.hs:1085)
    fromVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1028)
    concatVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1054)
    fromStream (Data/Vector/Fusion/Bundle/Monadic.hs:119)
    chunks (Data/Vector/Fusion/Bundle/Monadic.hs:126)
    elements (Data/Vector/Fusion/Bundle/Monadic.hs:130)
  81% ( 88 /109) in 'Data.Vector.Fusion.Bundle'
  Missing documentation for:
    Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110)
    inplace (Data/Vector/Fusion/Bundle.hs:113)
    concatMap (Data/Vector/Fusion/Bundle.hs:265)
    unbox (Data/Vector/Fusion/Bundle.hs:261)
    zipWith4 (Data/Vector/Fusion/Bundle.hs:293)
    zipWith5 (Data/Vector/Fusion/Bundle.hs:299)
    zipWith6 (Data/Vector/Fusion/Bundle.hs:305)
    zip (Data/Vector/Fusion/Bundle.hs:311)
    zip3 (Data/Vector/Fusion/Bundle.hs:315)
    zip4 (Data/Vector/Fusion/Bundle.hs:319)
    zip5 (Data/Vector/Fusion/Bundle.hs:324)
    zip6 (Data/Vector/Fusion/Bundle.hs:329)
    and (Data/Vector/Fusion/Bundle.hs:415)
    or (Data/Vector/Fusion/Bundle.hs:419)
    unsafeFromList (Data/Vector/Fusion/Bundle.hs:609)
    fromVector (Data/Vector/Fusion/Bundle.hs:613)
    reVector (Data/Vector/Fusion/Bundle.hs:617)
    fromVectors (Data/Vector/Fusion/Bundle.hs:621)
    concatVectors (Data/Vector/Fusion/Bundle.hs:625)
    zipWithM (Data/Vector/Fusion/Bundle.hs:520)
    zipWithM_ (Data/Vector/Fusion/Bundle.hs:524)
  66% ( 48 / 73) in 'Data.Vector.Generic.Mutable'
  Missing documentation for:
    init (Data/Vector/Generic/Mutable.hs:536)
    tail (Data/Vector/Generic/Mutable.hs:540)
    take (Data/Vector/Generic/Mutable.hs:515)
    drop (Data/Vector/Generic/Mutable.hs:519)
    splitAt (Data/Vector/Generic/Mutable.hs:527)
    unsafeInit (Data/Vector/Generic/Mutable.hs:554)
    unsafeTail (Data/Vector/Generic/Mutable.hs:558)
    unsafeTake (Data/Vector/Generic/Mutable.hs:562)
    unsafeDrop (Data/Vector/Generic/Mutable.hs:566)
    growFront (Data/Vector/Generic/Mutable.hs:626)
    unsafeGrowFront (Data/Vector/Generic/Mutable.hs:665)
    mstream (Data/Vector/Generic/Mutable.hs:244)
    mstreamR (Data/Vector/Generic/Mutable.hs:274)
    transform (Data/Vector/Generic/Mutable.hs:268)
    transformR (Data/Vector/Generic/Mutable.hs:303)
    fill (Data/Vector/Generic/Mutable.hs:255)
    fillR (Data/Vector/Generic/Mutable.hs:287)
    unsafeAccum (Data/Vector/Generic/Mutable.hs:848)
    accum (Data/Vector/Generic/Mutable.hs:824)
    unsafeUpdate (Data/Vector/Generic/Mutable.hs:861)
    update (Data/Vector/Generic/Mutable.hs:837)
    reverse (Data/Vector/Generic/Mutable.hs:872)
    unstablePartition (Data/Vector/Generic/Mutable.hs:881)
    unstablePartitionBundle (Data/Vector/Generic/Mutable.hs:910)
    partitionBundle (Data/Vector/Generic/Mutable.hs:938)
   5% (  1 / 20) in 'Data.Vector.Generic.New'
  Missing documentation for:
    New (Data/Vector/Generic/New.hs:40)
    create (Data/Vector/Generic/New.hs:42)
    run (Data/Vector/Generic/New.hs:46)
    runPrim (Data/Vector/Generic/New.hs:50)
    apply (Data/Vector/Generic/New.hs:54)
    modify (Data/Vector/Generic/New.hs:58)
    modifyWithBundle (Data/Vector/Generic/New.hs:62)
    unstream (Data/Vector/Generic/New.hs:67)
    transform (Data/Vector/Generic/New.hs:71)
    unstreamR (Data/Vector/Generic/New.hs:93)
    transformR (Data/Vector/Generic/New.hs:97)
    slice (Data/Vector/Generic/New.hs:119)
    init (Data/Vector/Generic/New.hs:123)
    tail (Data/Vector/Generic/New.hs:127)
    take (Data/Vector/Generic/New.hs:131)
    drop (Data/Vector/Generic/New.hs:135)
    unsafeSlice (Data/Vector/Generic/New.hs:139)
    unsafeInit (Data/Vector/Generic/New.hs:143)
    unsafeTail (Data/Vector/Generic/New.hs:147)
  93% (223 /240) in 'Data.Vector.Generic'
  Missing documentation for:
    zipWith4 (Data/Vector/Generic.hs:1069)
    zipWith5 (Data/Vector/Generic.hs:1078)
    zipWith6 (Data/Vector/Generic.hs:1090)
    izipWith3 (Data/Vector/Generic.hs:1112)
    izipWith4 (Data/Vector/Generic.hs:1120)
    izipWith5 (Data/Vector/Generic.hs:1129)
    izipWith6 (Data/Vector/Generic.hs:1141)
    zip3 (Data/Vector/Generic.hs:1159)
    zip4 (Data/Vector/Generic.hs:1164)
    zip5 (Data/Vector/Generic.hs:1169)
    zip6 (Data/Vector/Generic.hs:1175)
    unzip3 (Data/Vector/Generic.hs:1225)
    unzip4 (Data/Vector/Generic.hs:1232)
    unzip5 (Data/Vector/Generic.hs:1241)
    unzip6 (Data/Vector/Generic.hs:1251)
    dataCast (Data/Vector/Generic.hs:2080)
    mkType (Data/Vector/Generic.hs:2075)
  79% ( 41 / 52) in 'Data.Vector.Primitive.Mutable'
  Missing documen
Data/Vector/Storable/Mutable.hs:72:1: warning: [-Wunused-imports]
    The import of ‘Foreign.Ptr’ is redundant
      except perhaps to import instances from ‘Foreign.Ptr’
    To import instances alone, use: import Foreign.Ptr()

Data/Vector/Storable/Mutable.hs:491:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeFromForeignPtr0 :: Storable a =>
                                    ForeignPtr a -> Int -> MVector s a

Data/Vector/Storable/Mutable.hs:501:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr :: Storable a =>
                                 MVector s a -> (ForeignPtr a, Int, Int)

Data/Vector/Storable/Mutable.hs:511:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr0 :: Storable a =>
                                  MVector s a -> (ForeignPtr a, Int)

Data/Vector/Storable/Mutable.hs:518:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeWith :: Storable a => IOVector a -> (Ptr a -> IO b) -> IO b

Data/Vector/Storable.hs:1408:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeFromForeignPtr0 :: Storable a =>
                                    ForeignPtr a -> Int -> Vector a

Data/Vector/Storable.hs:1417:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr :: Storable a =>
                                 Vector a -> (ForeignPtr a, Int, Int)

Data/Vector/Storable.hs:1426:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeToForeignPtr0 :: Storable a =>
                                  Vector a -> (ForeignPtr a, Int)

Data/Vector/Storable.hs:1432:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Storable a
    • In the type signature for:
           unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b

Data/Vector/Unboxed/Base.hs:362:10: warning: [-Wredundant-constraints]
    • Redundant constraint: RealFloat a
    • In the instance declaration for ‘M.MVector MVector (Complex a)’

internal/unbox-tuple-instances:133:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b)
    • In the type signature for:
           unzip :: (Unbox a, Unbox b) =>
                    Vector (a, b) -> (Vector a, Vector b)

internal/unbox-tuple-instances:307:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c)
    • In the type signature for:
           unzip3 :: (Unbox a, Unbox b, Unbox c) =>
                     Vector (a, b, c) -> (Vector a, Vector b, Vector c)

internal/unbox-tuple-instances:526:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
    • In the type signature for:
           unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
                     Vector (a, b, c, d) -> (Vector a, Vector b, Vector c, Vector d)

internal/unbox-tuple-instances:803:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e)
    • In the type signature for:
           unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
                     Vector (a, b, c, d, e)
                     -> (Vector a, Vector b, Vector c, Vector d, Vector e)

internal/unbox-tuple-instances:1121:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e,
                              Unbox f)
    • In the type signature for:
           unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
                     Vector (a, b, c, d, e, f)
                     -> (Vector a, Vector b, Vector c, Vector d, Vector e, Vector f)

internal/unbox-tuple-instances:117:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b)
    • In the type signature for:
           unzip :: (Unbox a, Unbox b) =>
                    MVector s (a, b) -> (MVector s a, MVector s b)

internal/unbox-tuple-instances:282:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c)
    • In the type signature for:
           unzip3 :: (Unbox a, Unbox b, Unbox c) =>
                     MVector s (a, b, c) -> (MVector s a, MVector s b, MVector s c)

internal/unbox-tuple-instances:493:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a, Unbox b, Unbox c, Unbox d)
    • In the type signature for:
           unzip4 :: (Unbox a, Unbox b, Unbox c, Unbox d) =>
                     MVector s (a, b, c, d)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d)

internal/unbox-tuple-instances:756:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e)
    • In the type signature for:
           unzip5 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) =>
                     MVector s (a, b, c, d, e)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d,
                         MVector s e)

internal/unbox-tuple-instances:1066:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Unbox a,
                              Unbox b,
                              Unbox c,
                              Unbox d,
                              Unbox e,
                              Unbox f)
    • In the type signature for:
           unzip6 :: (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) =>
                     MVector s (a, b, c, d, e, f)
                     -> (MVector s a, MVector s b, MVector s c, MVector s d,
                         MVector s e, MVector s f)
tation for:
    IOVector (Data/Vector/Primitive/Mutable.hs:76)
    STVector (Data/Vector/Primitive/Mutable.hs:77)
    init (Data/Vector/Primitive/Mutable.hs:164)
    tail (Data/Vector/Primitive/Mutable.hs:168)
    take (Data/Vector/Primitive/Mutable.hs:152)
    drop (Data/Vector/Primitive/Mutable.hs:156)
    splitAt (Data/Vector/Primitive/Mutable.hs:160)
    unsafeInit (Data/Vector/Primitive/Mutable.hs:190)
    unsafeTail (Data/Vector/Primitive/Mutable.hs:194)
    unsafeTake (Data/Vector/Primitive/Mutable.hs:182)
    unsafeDrop (Data/Vector/Primitive/Mutable.hs:186)
  97% (185 /191) in 'Data.Vector.Primitive'
  Missing documentation for:
    zipWith4 (Data/Vector/Primitive.hs:802)
    zipWith5 (Data/Vector/Primitive.hs:808)
    zipWith6 (Data/Vector/Primitive.hs:816)
    izipWith4 (Data/Vector/Primitive.hs:838)
    izipWith5 (Data/Vector/Primitive.hs:844)
    izipWith6 (Data/Vector/Primitive.hs:852)
  82% ( 49 / 60) in 'Data.Vector.Storable.Mutable'
  Missing documentation for:
    IOVector (Data/Vector/Storable/Mutable.hs:96)
    STVector (Data/Vector/Storable/Mutable.hs:97)
    init (Data/Vector/Storable/Mutable.hs:246)
    tail (Data/Vector/Storable/Mutable.hs:250)
    take (Data/Vector/Storable/Mutable.hs:234)
    drop (Data/Vector/Storable/Mutable.hs:238)
    splitAt (Data/Vector/Storable/Mutable.hs:242)
    unsafeInit (Data/Vector/Storable/Mutable.hs:272)
    unsafeTail (Data/Vector/Storable/Mutable.hs:276)
    unsafeTake (Data/Vector/Storable/Mutable.hs:264)
    unsafeDrop (Data/Vector/Storable/Mutable.hs:268)
  97% (194 /200) in 'Data.Vector.Storable'
  Missing documentation for:
    zipWith4 (Data/Vector/Storable.hs:812)
    zipWith5 (Data/Vector/Storable.hs:818)
    zipWith6 (Data/Vector/Storable.hs:826)
    izipWith4 (Data/Vector/Storable.hs:848)
    izipWith5 (Data/Vector/Storable.hs:854)
    izipWith6 (Data/Vector/Storable.hs:862)
  17% (  1 /  6) in 'Data.Vector.Unboxed.Base'
  Missing documentation for:
    MVector (Data/Vector/Unboxed/Base.hs:55)
    IOVector (Data/Vector/Unboxed/Base.hs:58)
    STVector (Data/Vector/Unboxed/Base.hs:59)
    Vector (Data/Vector/Unboxed/Base.hs:56)
    Unbox (Data/Vector/Unboxed/Base.hs:63)
  96% (209 /218) in 'Data.Vector.Unboxed'
  Missing documentation for:
    Vector (Data/Vector/Unboxed/Base.hs:56)
    MVector (Data/Vector/Unboxed/Base.hs:55)
    Unbox (Data/Vector/Unboxed/Base.hs:63)
    zipWith4 (Data/Vector/Unboxed.hs:849)
    zipWith5 (Data/Vector/Unboxed.hs:855)
    zipWith6 (Data/Vector/Unboxed.hs:862)
    izipWith4 (Data/Vector/Unboxed.hs:883)
    izipWith5 (Data/Vector/Unboxed.hs:889)
    izipWith6 (Data/Vector/Unboxed.hs:896)
  79% ( 50 / 63) in 'Data.Vector.Unboxed.Mutable'
  Missing documentation for:
    MVector (Data/Vector/Unboxed/Base.hs:55)
    IOVector (Data/Vector/Unboxed/Base.hs:58)
    STVector (Data/Vector/Unboxed/Base.hs:59)
    Unbox (Data/Vector/Unboxed/Base.hs:63)
    init (Data/Vector/Unboxed/Mutable.hs:102)
    tail (Data/Vector/Unboxed/Mutable.hs:106)
    take (Data/Vector/Unboxed/Mutable.hs:90)
    drop (Data/Vector/Unboxed/Mutable.hs:94)
    splitAt (Data/Vector/Unboxed/Mutable.hs:98)
    unsafeInit (Data/Vector/Unboxed/Mutable.hs:128)
    unsafeTail (Data/Vector/Unboxed/Mutable.hs:132)
    unsafeTake (Data/Vector/Unboxed/Mutable.hs:120)
    unsafeDrop (Data/Vector/Unboxed/Mutable.hs:124)
  78% ( 40 / 51) in 'Data.Vector.Mutable'
  Missing documentation for:
    IOVector (Data/Vector/Mutable.hs:70)
    STVector (Data/Vector/Mutable.hs:71)
    init (Data/Vector/Mutable.hs:222)
    tail (Data/Vector/Mutable.hs:226)
    take (Data/Vector/Mutable.hs:210)
    drop (Data/Vector/Mutable.hs:214)
    splitAt (Data/Vector/Mutable.hs:219)
    unsafeInit (Data/Vector/Mutable.hs:247)
    unsafeTail (Data/Vector/Mutable.hs:251)
    unsafeTake (Data/Vector/Mutable.hs:239)
    unsafeDrop (Data/Vector/Mutable.hs:243)
  94% (207 /220) in 'Data.Vector'
  Missing documentation for:
    zipWith4 (Data/Vector.hs:944)
    zipWith5 (Data/Vector.hs:949)
    zipWith6 (Data/Vector.hs:955)
    izipWith4 (Data/Vector.hs:973)
    izipWith5 (Data/Vector.hs:978)
    izipWith6 (Data/Vector.hs:984)
    zip4 (Data/Vector.hs:1000)
    zip5 (Data/Vector.hs:1005)
    zip6 (Data/Vector.hs:1010)
    unzip3 (Data/Vector.hs:1023)
    unzip4 (Data/Vector.hs:1027)
    unzip5 (Data/Vector.hs:1031)
    unzip6 (Data/Vector.hs:1036)
Warning: Data.Vector.Unboxed: could not find link destinations for:
    D:R:VectorBool0 V_Bool D:R:VectorChar0 V_Char D:R:VectorDouble0 V_Double D:R:VectorFloat0 V_Float D:R:VectorInt0 V_Int D:R:VectorInt80 V_Int8 D:R:VectorInt160 V_Int16 D:R:VectorInt320 V_Int32 D:R:VectorInt640 V_Int64 D:R:VectorWord0 V_Word D:R:VectorWord80 V_Word8 D:R:VectorWord160 V_Word16 D:R:VectorWord320 V_Word32 D:R:VectorWord640 V_Word64 D:R:Vector()0 V_Unit D:R:VectorComplex0 V_Complex D:R:Vector(,)0 V_2 D:R:Vector(,,)0 V_3 D:R:Vector(,,,)0 V_4 D:R:Vector(,,,,)0 V_5 D:R:Vector(,,,,,)0 V_6 D:R:MVectorsBool0 MV_Bool D:R:MVectorsChar0 MV_Char D:R:MVectorsDouble0 MV_Double D:R:MVectorsFloat0 MV_Float D:R:MVectorsWord640 MV_Word64 D:R:MVectorsWord320 MV_Word32 D:R:MVectorsWord160 MV_Word16 D:R:MVectorsWord80 MV_Word8 D:R:MVectorsWord0 MV_Word D:R:MVectorsInt640 MV_Int64 D:R:MVectorsInt320 MV_Int32 D:R:MVectorsInt160 MV_Int16 D:R:MVectorsInt80 MV_Int8 D:R:MVectorsInt0 MV_Int D:R:MVectors()0 MV_Unit D:R:MVectorsComplex0 MV_Complex D:R:MVectors(,)0 MV_2 D:R:MVectors(,,)0 MV_3 D:R:MVectors(,,,)0 MV_4 D:R:MVectors(,,,,)0 MV_5 D:R:MVectors(,,,,,)0 MV_6
Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for:
    D:R:MVectorsBool0 MV_Bool D:R:MVectorsChar0 MV_Char D:R:MVectorsDouble0 MV_Double D:R:MVectorsFloat0 MV_Float D:R:MVectorsWord640 MV_Word64 D:R:MVectorsWord320 MV_Word32 D:R:MVectorsWord160 MV_Word16 D:R:MVectorsWord80 MV_Word8 D:R:MVectorsWord0 MV_Word D:R:MVectorsInt640 MV_Int64 D:R:MVectorsInt320 MV_Int32 D:R:MVectorsInt160 MV_Int16 D:R:MVectorsInt80 MV_Int8 D:R:MVectorsInt0 MV_Int D:R:MVectors()0 MV_Unit D:R:MVectorsComplex0 MV_Complex D:R:MVectors(,)0 MV_2 D:R:MVectors(,,)0 MV_3 D:R:MVectors(,,,)0 MV_4 D:R:MVectors(,,,,)0 MV_5 D:R:MVectors(,,,,,)0 MV_6
Documentation created: dist/doc/html/vector/index.html,
dist/doc/html/vector/vector.txt
Creating package registration file:
/tmp/pkgConf-vector-0.11.04118269691978701535.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/vector-0.11.0.0-6uB77qGCxR6GPLxI2sqsX3
Registering vector-0.11.0.0...
cabal: Leaving directory '/tmp/cabal-tmp-25560/vector-0.11.0.0'
Installed vector-0.11.0.0
cabal: Entering directory '/tmp/cabal-tmp-25560/tf-random-0.5'
Configuring tf-random-0.5...
Building tf-random-0.5...
Preprocessing library tf-random-0.5...
[1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o )
[2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o )

src/System/Random/TF/Init.hs:94:5: warning: [-Wdeprecations]
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o )
[4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o )
Running Haddock for tf-random-0.5...
Running hscolour for tf-random-0.5...
Preprocessing library tf-random-0.5...
Preprocessing library tf-random-0.5...

src/System/Random/TF/Init.hs:94:5: warning: [-Wdeprecations]
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Haddock coverage:
 100% (  4 /  4) in 'System.Random.TF.Gen'
  83% (  5 /  6) in 'System.Random.TF.Init'
  Missing documentation for:
    Module header
  33% (  1 /  3) in 'System.Random.TF.Instances'
  Missing documentation for:
    Random (src/System/Random/TF/Instances.hs:37)
    randomEnum (src/System/Random/TF/Instances.hs:205)
 100% (  3 /  3) in 'System.Random.TF'
Documentation created: dist/doc/html/tf-random/index.html,
dist/doc/html/tf-random/tf-random.txt
Creating package registration file:
/tmp/pkgConf-tf-random-09561341581390865725.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/tf-random-0.5-4z8OJUaXC1FRNfrLPFWAD
Registering tf-random-0.5...
cabal: Leaving directory '/tmp/cabal-tmp-25560/tf-random-0.5'
Installed tf-random-0.5
cabal: Entering directory '/tmp/cabal-tmp-25560/QuickCheck-2.9.2'
Configuring QuickCheck-2.9.2...
Building QuickCheck-2.9.2...
Preprocessing library QuickCheck-2.9.2...
[ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o )
[ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o )
[ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[15 of 15] Compiling Test.QuickCheck  ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
Running Haddock for QuickCheck-2.9.2...
Running hscolour for QuickCheck-2.9.2...
Preprocessing library QuickCheck-2.9.2...
Preprocessing library QuickCheck-2.9.2...
Haddock coverage:
  10% (  2 / 20) in 'Test.QuickCheck.Random'
  Missing documentation for:
    newTheGen (Test/QuickCheck/Random.hs:17)
    bits (Test/QuickCheck/Random.hs:20)
    mask (Test/QuickCheck/Random.hs:20)
    doneBit (Test/QuickCheck/Random.hs:20)
    chip (Test/QuickCheck/Random.hs:25)
    chop (Test/QuickCheck/Random.hs:30)
    stop (Test/QuickCheck/Random.hs:33)
    mkTheGen (Test/QuickCheck/Random.hs:36)
     (Test/QuickCheck/Random.hs:65)
     (Test/QuickCheck/Random.hs:67)
     (Test/QuickCheck/Random.hs:70)
    newQCGen (Test/QuickCheck/Random.hs:79)
    mkQCGen (Test/QuickCheck/Random.hs:82)
    bigNatVariant (Test/QuickCheck/Random.hs:85)
    natVariant (Test/QuickCheck/Random.hs:91)
    variantTheGen (Test/QuickCheck/Random.hs:97)
    boolVariant (Test/QuickCheck/Random.hs:103)
    variantQCGen (Test/QuickCheck/Random.hs:107)
  33% (  3 /  9) in 'Test.QuickCheck.Exception'
  Missing documentation for:
    AnException (Test/QuickCheck/Exception.hs:23)
    tryEvaluate (Test/QuickCheck/Exception.hs:55)
    tryEvaluateIO (Test/QuickCheck/Exception.hs:58)
    evaluate (Test/QuickCheck/Exception.hs:62)
    isDiscard (Test/QuickCheck/Exception.hs:81)
    finally (Test/QuickCheck/Exception.hs:96)
   6% (  1 / 18) in 'Test.QuickCheck.Text'
  Missing documentation for:
    Str (Test/QuickCheck/Text.hs:47)
    ranges (Test/QuickCheck/Text.hs:52)
    number (Test/QuickCheck/Text.hs:60)
    short (Test/QuickCheck/Text.hs:63)
    showErr (Test/QuickCheck/Text.hs:71)
    oneLine (Test/QuickCheck/Text.hs:74)
    isOneLine (Test/QuickCheck/Text.hs:77)
    bold (Test/QuickCheck/Text.hs:80)
    newTerminal (Test/QuickCheck/Text.hs:91)
    withStdioTerminal (Test/QuickCheck/Text.hs:105)
    withNullTerminal (Test/QuickCheck/Text.hs:111)
    terminalOutput (Test/QuickCheck/Text.hs:115)
    handle (Test/QuickCheck/Text.hs:118)
    Terminal (Test/QuickCheck/Text.hs:88)
    putTemp (Test/QuickCheck/Text.hs:129)
    putPart (Test/QuickCheck/Text.hs:129)
    putLine (Test/QuickCheck/Text.hs:129)
 100% (  2 /  2) in 'Test.QuickCheck.State'
  90% ( 26 / 29) in 'Test.QuickCheck.Gen'
  Missing documentation for:
     (Test/QuickCheck/Gen.hs:49)
     (Test/QuickCheck/Gen.hs:53)
     (Test/QuickCheck/Gen.hs:57)
  80% (  4 /  5) in 'Test.QuickCheck.Gen.Unsafe'
  Missing documentation for:
    Capture (Test/QuickCheck/Gen/Unsafe.hs:50)
 100% ( 31 / 31) in 'Test.QuickCheck.Arbitrary'
  93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
  Missing documentation for:
    ShrinkState (Test/QuickCheck/Modifiers.hs:323)
  14% (  1 /  7) in 'Test.QuickCheck.Poly'
  Missing documentation for:
    A (Test/QuickCheck/Poly.hs:29)
    B (Test/QuickCheck/Poly.hs:44)
    C (Test/QuickCheck/Poly.hs:59)
    OrdA (Test/QuickCheck/Poly.hs:77)
    OrdB (Test/QuickCheck/Poly.hs:96)
    OrdC (Test/QuickCheck/Poly.hs:115)
  73% (  8 / 11) in 'Test.QuickCheck.Function'
  Missing documentation for:
    Fun (Test/QuickCheck/Function.hs:452)
    apply (Test/QuickCheck/Function.hs:466)
    Function (Test/QuickCheck/Function.hs:138)
  62% ( 45 / 72) in 'Test.QuickCheck.Property'
  Missing documentation for:
     (Test/QuickCheck/Property.hs:81)
     (Test/QuickCheck/Property.hs:84)
     (Test/QuickCheck/Property.hs:87)
     (Test/QuickCheck/Property.hs:90)
     (Test/QuickCheck/Property.hs:93)
     (Test/QuickCheck/Property.hs:96)
     (Test/QuickCheck/Property.hs:118)
    protect (Test/QuickCheck/Property.hs:122)
    Prop (Test/QuickCheck/Property.hs:128)
    Rose (Test/QuickCheck/Property.hs:132)
    ioRose (Test/QuickCheck/Property.hs:135)
    joinRose (Test/QuickCheck/Property.hs:138)
     (Test/QuickCheck/Property.hs:147)
     (Test/QuickCheck/Property.hs:152)
     (Test/QuickCheck/Property.hs:157)
    CallbackKind (Test/QuickCheck/Property.hs:191)
    exception (Test/QuickCheck/Property.hs:207)
    formatException (Test/QuickCheck/Property.hs:213)
    protectResult (Test/QuickCheck/Property.hs:218)
    succeeded (Test/QuickCheck/Property.hs:221)
    failed (Test/QuickCheck/Property.hs:221)
    rejected (Test/QuickCheck/Property.hs:221)
    liftBool (Test/QuickCheck/Property.hs:242)
    mapResult (Test/QuickCheck/Property.hs:246)
    mapTotalResult (Test/QuickCheck/Property.hs:249)
    mapRoseResult (Test/QuickCheck/Property.hs:253)
    mapProp (Test/QuickCheck/Property.hs:256)
  50% ( 14 / 28) in 'Test.QuickCheck.Test'
  Missing documentation for:
    test (Test/QuickCheck/Test.hs:193)
    doneTesting (Test/QuickCheck/Test.hs:199)
    giveUp (Test/QuickCheck/Test.hs:229)
    runATest (Test/QuickCheck/Test.hs:245)
    summary (Test/QuickCheck/Test.hs:311)
    success (Test/QuickCheck/Test.hs:322)
    labelPercentage (Test/QuickCheck/Test.hs:352)
    insufficientCoverage (Test/QuickCheck/Test.hs:360)
    foundFailure (Test/QuickCheck/Test.hs:367)
    localMin (Test/QuickCheck/Test.hs:371)
    localMin' (Test/QuickCheck/Test.hs:401)
    localMinFound (Test/QuickCheck/Test.hs:413)
    callbackPostTest (Test/QuickCheck/Test.hs:438)
    callbackPostFinalFailure (Test/QuickCheck/Test.hs:443)
 100% (  9 /  9) in 'Test.QuickCheck.All'
  78% ( 14 / 18) in 'Test.QuickCheck.Monadic'
  Missing documentation for:
    stop (Test/QuickCheck/Monadic.hs:118)
    monadic (Test/QuickCheck/Monadic.hs:204)
    monadic' (Test/QuickCheck/Monadic.hs:207)
    runSTGen (Test/QuickCheck/Monadic.hs:246)
  99% (127 /128) in 'Test.QuickCheck'
  Missing documentation for:
    ShrinkState (Test/QuickCheck/Modifiers.hs:323)
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
    GCoArbitrary RecursivelyShrink GSubterms gSubterms gSubtermsIncl
Warning: Test.QuickCheck.Function: could not find link destinations for:
    GFunction
Warning: Test.QuickCheck: could not find link destinations for:
    GCoArbitrary RecursivelyShrink GSubterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Creating package registration file:
/tmp/pkgConf-QuickCheck-2.91109930182131058752.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/QuickCheck-2.9.2-AzbjWrJo3WFD60ZxKurQ3s
Registering QuickCheck-2.9.2...
cabal: Leaving directory '/tmp/cabal-tmp-25560/QuickCheck-2.9.2'
Installed QuickCheck-2.9.2
Downloading aig-0.2.4...
cabal: Entering directory '/tmp/cabal-tmp-25560/aig-0.2.4'
Configuring aig-0.2.4...
Building aig-0.2.4...
Preprocessing library aig-0.2.4...
[1 of 4] Compiling Data.AIG.Interface ( src/Data/AIG/Interface.hs, dist/build/Data/AIG/Interface.o )
[2 of 4] Compiling Data.AIG.Operations ( src/Data/AIG/Operations.hs, dist/build/Data/AIG/Operations.o )

src/Data/AIG/Operations.hs:815:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           muxInteger :: (Integral i, Monad m) =>
                         (l -> m a -> m a -> m a) -> i -> BV l -> (i -> m a) -> m a
[3 of 4] Compiling Data.AIG.Trace   ( src/Data/AIG/Trace.hs, dist/build/Data/AIG/Trace.o )
[4 of 4] Compiling Data.AIG         ( src/Data/AIG.hs, dist/build/Data/AIG.o )
Running Haddock for aig-0.2.4...
Running hscolour for aig-0.2.4...
Preprocessing library aig-0.2.4...
Preprocessing library aig-0.2.4...

src/Data/AIG/Operations.hs:782:1: warning: [-Wredundant-constraints]
    • Redundant constraint: IsAIG l g
    • In the type signature for:
           sext :: IsAIG l g => g s -> BV (l s) -> Int -> BV (l s)

src/Data/AIG/Operations.hs:815:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           muxInteger :: (Integral i, Monad m) =>
                         (l -> m a -> m a -> m a) -> i -> BV l -> (i -> m a) -> m a
Haddock coverage:
  94% ( 31 / 33) in 'Data.AIG.Interface'
  Missing documentation for:
    IsLit (src/Data/AIG/Interface.hs:75)
    LitTree (src/Data/AIG/Interface.hs:72)
  95% ( 91 / 96) in 'Data.AIG.Operations'
  Missing documentation for:
    lAnd' (src/Data/AIG/Operations.hs:441)
    lOr' (src/Data/AIG/Operations.hs:404)
    lXor' (src/Data/AIG/Operations.hs:449)
    lEq' (src/Data/AIG/Operations.hs:414)
    lNot' (src/Data/AIG/Operations.hs:391)
   4% (  1 / 27) in 'Data.AIG.Trace'
  Missing documentation for:
    Traceable (src/Data/AIG/Trace.hs:33)
    TraceLit (src/Data/AIG/Trace.hs:37)
    TraceGraph (src/Data/AIG/Trace.hs:39)
    proxy (src/Data/AIG/Trace.hs:45)
    activateTracing (src/Data/AIG/Trace.hs:48)
    deactiveTracing (src/Data/AIG/Trace.hs:54)
    withTracing (src/Data/AIG/Trace.hs:59)
     (src/Data/AIG/Trace.hs:68)
     (src/Data/AIG/Trace.hs:72)
     (src/Data/AIG/Trace.hs:75)
    TraceOp (src/Data/AIG/Trace.hs:79)
    TraceOutput (src/Data/AIG/Trace.hs:82)
     (src/Data/AIG/Trace.hs:85)
     (src/Data/AIG/Trace.hs:88)
     (src/Data/AIG/Trace.hs:91)
     (src/Data/AIG/Trace.hs:94)
     (src/Data/AIG/Trace.hs:97)
     (src/Data/AIG/Trace.hs:110)
     (src/Data/AIG/Trace.hs:114)
     (src/Data/AIG/Trace.hs:117)
     (src/Data/AIG/Trace.hs:120)
     (src/Data/AIG/Trace.hs:123)
     (src/Data/AIG/Trace.hs:126)
     (src/Data/AIG/Trace.hs:129)
    withNewGraphTracing (src/Data/AIG/Trace.hs:137)
     (src/Data/AIG/Trace.hs:144)
 100% (  3 /  3) in 'Data.AIG'
Documentation created: dist/doc/html/aig/index.html, dist/doc/html/aig/aig.txt
Creating package registration file: /tmp/pkgConf-aig-0.27133555112067247035.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/aig-0.2.4-6WrOEfgoJpvLv7XnMXjFNZ
Registering aig-0.2.4...
cabal: Leaving directory '/tmp/cabal-tmp-25560/aig-0.2.4'
Installed aig-0.2.4
Downloading abcBridge-0.15...
cabal: Entering directory '/tmp/cabal-tmp-25560/abcBridge-0.15'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-25560/abcBridge-0.15/dist/setup/setup.hs, /tmp/cabal-tmp-25560/abcBridge-0.15/dist/setup/Main.o )
Linking /tmp/cabal-tmp-25560/abcBridge-0.15/dist/setup/setup ...
Cabal library version: 1.24.0.0
Setting up ABC tree for abcBridge version 0.15...
ABC sources found
Using CC=gcc
Using CXX=g++
Using LD=g++
Found GCC_VERSION 4.8
Found GCC_MAJOR>=4
Found GCC_MINOR>=6
Using CFLAGS=-Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -g -O  -DABC_LIB -m64 -fPIC -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -Isrc -Wno-unused-but-set-variable -DABC_USE_PTHREADS
`` Compiling: /src/base/abc/abcAig.c
`` Compiling: /src/base/abc/abcBlifMv.c
`` Compiling: /src/base/abc/abcBarBuf.c
`` Compiling: /src/base/abc/abcCheck.c
`` Compiling: /src/base/abc/abcDfs.c
`` Compiling: /src/base/abc/abcFanio.c
`` Compiling: /src/base/abc/abcFanOrder.c
`` Compiling: /src/base/abc/abcFunc.c
`` Compiling: /src/base/abc/abcHie.c
`` Compiling: /src/base/abc/abcHieCec.c
`` Compiling: /src/base/abc/abcHieGia.c
`` Compiling: /src/base/abc/abcHieNew.c
`` Compiling: /src/base/abc/abcLatch.c
`` Compiling: /src/base/abc/abcLib.c
`` Compiling: /src/base/abc/abcMinBase.c
`` Compiling: /src/base/abc/abcNames.c
`` Compiling: /src/base/abc/abcNetlist.c
`` Compiling: /src/base/abc/abcNtk.c
`` Compiling: /src/base/abc/abcObj.c
`` Compiling: /src/base/abc/abcRefs.c
`` Compiling: /src/base/abc/abcShow.c
`` Compiling: /src/base/abc/abcSop.c
`` Compiling: /src/base/abc/abcUtil.c
`` Compiling: /src/base/abci/abc.c
`` Compiling: /src/base/abci/abcAttach.c
`` Compiling: /src/base/abci/abcAuto.c
`` Compiling: /src/base/abci/abcBalance.c
`` Compiling: /src/base/abci/abcBidec.c
`` Compiling: /src/base/abci/abcBm.c
`` Compiling: /src/base/abci/abcBmc.c
`` Compiling: /src/base/abci/abcCas.c
`` Compiling: /src/base/abci/abcCascade.c
`` Compiling: /src/base/abci/abcCollapse.c
`` Compiling: /src/base/abci/abcCut.c
`` Compiling: /src/base/abci/abcDar.c
`` Compiling: /src/base/abci/abcDebug.c
`` Compiling: /src/base/abci/abcDec.c
`` Compiling: /src/base/abci/abcDress.c
`` Compiling: /src/base/abci/abcDress2.c
`` Compiling: /src/base/abci/abcDsd.c
`` Compiling: /src/base/abci/abcExtract.c
`` Compiling: /src/base/abci/abcFraig.c
`` Compiling: /src/base/abci/abcFx.c
`` Compiling: /src/base/abci/abcFxu.c
`` Compiling: /src/base/abci/abcGen.c
`` Compiling: /src/base/abci/abcHaig.c
`` Compiling: /src/base/abci/abcIf.c
`` Compiling: /src/base/abci/abcIfif.c
`` Compiling: /src/base/abci/abcIfMux.c
`` Compiling: /src/base/abci/abcIvy.c
`` Compiling: /src/base/abci/abcLog.c
`` Compiling: /src/base/abci/abcLut.c
`` Compiling: /src/base/abci/abcLutmin.c
`` Compiling: /src/base/abci/abcMap.c
`` Compiling: /src/base/abci/abcMerge.c
`` Compiling: /src/base/abci/abcMfs.c
`` Compiling: /src/base/abci/abcMini.c
`` Compiling: /src/base/abci/abcMiter.c
`` Compiling: /src/base/abci/abcMulti.c
`` Compiling: /src/base/abci/abcNtbdd.c
`` Compiling: /src/base/abci/abcNpn.c
`` Compiling: /src/base/abci/abcNpnSave.c
`` Compiling: /src/base/abci/abcOdc.c
`` Compiling: /src/base/abci/abcOrder.c
`` Compiling: /src/base/abci/abcPart.c
`` Compiling: /src/base/abci/abcPrint.c
`` Compiling: /src/base/abci/abcProve.c
`` Compiling: /src/base/abci/abcQbf.c
`` Compiling: /src/base/abci/abcQuant.c
`` Compiling: /src/base/abci/abcRec3.c
`` Compiling: /src/base/abci/abcReconv.c
`` Compiling: /src/base/abci/abcReach.c
`` Compiling: /src/base/abci/abcRefactor.c
`` Compiling: /src/base/abci/abcRenode.c
`` Compiling: /src/base/abci/abcReorder.c
`` Compiling: /src/base/abci/abcRestruct.c
`` Compiling: /src/base/abci/abcResub.c
`` Compiling: /src/base/abci/abcRewrite.c
`` Compiling: /src/base/abci/abcRpo.c
`` Compiling: /src/base/abci/abcRr.c
`` Compiling: /src/base/abci/abcSat.c
`` Compiling: /src/base/abci/abcSaucy.c
`` Compiling: /src/base/abci/abcScorr.c
`` Compiling: /src/base/abci/abcSense.c
`` Compiling: /src/base/abci/abcSpeedup.c
`` Compiling: /src/base/abci/abcStrash.c
`` Compiling: /src/base/abci/abcSweep.c
`` Compiling: /src/base/abci/abcSymm.c
`` Compiling: /src/base/abci/abcTim.c
`` Compiling: /src/base/abci/abcTiming.c
`` Compiling: /src/base/abci/abcUnate.c
`` Compiling: /src/base/abci/abcUnreach.c
`` Compiling: /src/base/abci/abcVerify.c
`` Compiling: /src/base/abci/abcXsim.c
`` Compiling: /src/base/cmd/cmd.c
`` Compiling: /src/base/cmd/cmdAlias.c
`` Compiling: /src/base/cmd/cmdApi.c
`` Compiling: /src/base/cmd/cmdFlag.c
`` Compiling: /src/base/cmd/cmdHist.c
`` Compiling: /src/base/cmd/cmdLoad.c
`` Compiling: /src/base/cmd/cmdPlugin.c
`` Compiling: /src/base/cmd/cmdStarter.c
`` Compiling: /src/base/cmd/cmdUtils.c
`` Compiling: /src/base/io/io.c
`` Compiling: /src/base/io/ioReadAiger.c
`` Compiling: /src/base/io/ioReadBaf.c
`` Compiling: /src/base/io/ioReadBblif.c
`` Compiling: /src/base/io/ioReadBench.c
`` Compiling: /src/base/io/ioReadBlif.c
`` Compiling: /src/base/io/ioReadBlifAig.c
`` Compiling: /src/base/io/ioReadBlifMv.c
`` Compiling: /src/base/io/ioReadDsd.c
`` Compiling: /src/base/io/ioReadEdif.c
`` Compiling: /src/base/io/ioReadEqn.c
`` Compiling: /src/base/io/ioReadPla.c
`` Compiling: /src/base/io/ioReadVerilog.c
`` Compiling: /src/base/io/ioUtil.c
`` Compiling: /src/base/io/ioWriteAiger.c
`` Compiling: /src/base/io/ioWriteBaf.c
`` Compiling: /src/base/io/ioWriteBblif.c
`` Compiling: /src/base/io/ioWriteBench.c
`` Compiling: /src/base/io/ioWriteBlif.c
`` Compiling: /src/base/io/ioWriteBlifMv.c
`` Compiling: /src/base/io/ioWriteBook.c
`` Compiling: /src/base/io/ioWriteCnf.c
`` Compiling: /src/base/io/ioWriteDot.c
`` Compiling: /src/base/io/ioWriteEqn.c
`` Compiling: /src/base/io/ioWriteGml.c
`` Compiling: /src/base/io/ioWriteList.c
`` Compiling: /src/base/io/ioWritePla.c
`` Compiling: /src/base/io/ioWriteVerilog.c
`` Compiling: /src/base/io/ioWriteSmv.c
`` Compiling: /src/base/main/mainFrame.c
`` Compiling: /src/base/main/mainInit.c
`` Compiling: /src/base/main/mainLib.c
`` Compiling: /src/base/main/mainReal.c
`` Compiling: /src/base/main/libSupport.c
`` Compiling: /src/base/main/mainUtils.c
`` Compiling: /src/base/ver/verCore.c
`` Compiling: /src/base/ver/verFormula.c
`` Compiling: /src/base/ver/verParse.c
`` Compiling: /src/base/ver/verStream.c
`` Compiling: /src/base/wlc/wlcAbs.c
`` Compiling: /src/base/wlc/wlcBlast.c
`` Compiling: /src/base/wlc/wlcCom.c
`` Compiling: /src/base/wlc/wlcNtk.c
`` Compiling: /src/base/wlc/wlcReadSmt.c
`` Compiling: /src/base/wlc/wlcReadVer.c
`` Compiling: /src/base/wlc/wlcWriteVer.c
src/base/wlc/wlcReadSmt.c: In function ‘Prs_SmtBuild’:
src/base/wlc/wlcReadSmt.c:639:32: warning: ‘Range’ may be used uninitialized in this function [-Wmaybe-uninitialized]
             iObj = Wlc_ObjAlloc( pNtk, Type, 0, Range-1, 0 );
                                ^
`` Compiling: /src/base/cba/cbaBlast.c
`` Compiling: /src/base/cba/cbaCba.c
`` Compiling: /src/base/cba/cbaCom.c
`` Compiling: /src/base/cba/cbaLib.c
`` Compiling: /src/base/cba/cbaNtk.c
`` Compiling: /src/base/cba/cbaPrsBuild.c
`` Compiling: /src/base/cba/cbaPrsTrans.c
`` Compiling: /src/base/cba/cbaPtr.c
`` Compiling: /src/base/cba/cbaPtrAbc.c
`` Compiling: /src/base/cba/cbaReadBlif.c
`` Compiling: /src/base/cba/cbaReadSmt.c
`` Compiling: /src/base/cba/cbaReadVer.c
`` Compiling: /src/base/cba/cbaWriteBlif.c
`` Compiling: /src/base/cba/cbaWriteSmt.c
`` Compiling: /src/base/cba/cbaWriteVer.c
`` Compiling: /src/base/test/test.c
`` Compiling: /src/bdd/cudd/cuddAPI.c
`` Compiling: /src/bdd/cudd/cuddAddAbs.c
`` Compiling: /src/bdd/cudd/cuddAddApply.c
`` Compiling: /src/bdd/cudd/cuddAddFind.c
`` Compiling: /src/bdd/cudd/cuddAddInv.c
`` Compiling: /src/bdd/cudd/cuddAddIte.c
`` Compiling: /src/bdd/cudd/cuddAddNeg.c
`` Compiling: /src/bdd/cudd/cuddAddWalsh.c
`` Compiling: /src/bdd/cudd/cuddAndAbs.c
`` Compiling: /src/bdd/cudd/cuddAnneal.c
`` Compiling: /src/bdd/cudd/cuddApa.c
`` Compiling: /src/bdd/cudd/cuddApprox.c
`` Compiling: /src/bdd/cudd/cuddBddAbs.c
`` Compiling: /src/bdd/cudd/cuddBddCorr.c
`` Compiling: /src/bdd/cudd/cuddBddIte.c
`` Compiling: /src/bdd/cudd/cuddBridge.c
`` Compiling: /src/bdd/cudd/cuddCache.c
`` Compiling: /src/bdd/cudd/cuddCheck.c
`` Compiling: /src/bdd/cudd/cuddClip.c
`` Compiling: /src/bdd/cudd/cuddCof.c
`` Compiling: /src/bdd/cudd/cuddCompose.c
`` Compiling: /src/bdd/cudd/cuddDecomp.c
`` Compiling: /src/bdd/cudd/cuddEssent.c
`` Compiling: /src/bdd/cudd/cuddExact.c
`` Compiling: /src/bdd/cudd/cuddExport.c
`` Compiling: /src/bdd/cudd/cuddGenCof.c
`` Compiling: /src/bdd/cudd/cuddGenetic.c
`` Compiling: /src/bdd/cudd/cuddGroup.c
`` Compiling: /src/bdd/cudd/cuddHarwell.c
`` Compiling: /src/bdd/cudd/cuddInit.c
`` Compiling: /src/bdd/cudd/cuddInteract.c
`` Compiling: /src/bdd/cudd/cuddLCache.c
`` Compiling: /src/bdd/cudd/cuddLevelQ.c
`` Compiling: /src/bdd/cudd/cuddLinear.c
`` Compiling: /src/bdd/cudd/cuddLiteral.c
`` Compiling: /src/bdd/cudd/cuddMatMult.c
`` Compiling: /src/bdd/cudd/cuddPriority.c
`` Compiling: /src/bdd/cudd/cuddRead.c
`` Compiling: /src/bdd/cudd/cuddRef.c
`` Compiling: /src/bdd/cudd/cuddReorder.c
`` Compiling: /src/bdd/cudd/cuddSat.c
`` Compiling: /src/bdd/cudd/cuddSign.c
`` Compiling: /src/bdd/cudd/cuddSolve.c
`` Compiling: /src/bdd/cudd/cuddSplit.c
`` Compiling: /src/bdd/cudd/cuddSubsetHB.c
`` Compiling: /src/bdd/cudd/cuddSubsetSP.c
`` Compiling: /src/bdd/cudd/cuddSymmetry.c
`` Compiling: /src/bdd/cudd/cuddTable.c
`` Compiling: /src/bdd/cudd/cuddUtil.c
`` Compiling: /src/bdd/cudd/cuddWindow.c
`` Compiling: /src/bdd/cudd/cuddZddCount.c
`` Compiling: /src/bdd/cudd/cuddZddFuncs.c
`` Compiling: /src/bdd/cudd/cuddZddGroup.c
`` Compiling: /src/bdd/cudd/cuddZddIsop.c
`` Compiling: /src/bdd/cudd/cuddZddLin.c
`` Compiling: /src/bdd/cudd/cuddZddMisc.c
`` Compiling: /src/bdd/cudd/cuddZddPort.c
`` Compiling: /src/bdd/cudd/cuddZddReord.c
`` Compiling: /src/bdd/cudd/cuddZddSetop.c
`` Compiling: /src/bdd/cudd/cuddZddSymm.c
`` Compiling: /src/bdd/cudd/cuddZddUtil.c
`` Compiling: /src/bdd/dsd/dsdApi.c
`` Compiling: /src/bdd/dsd/dsdCheck.c
`` Compiling: /src/bdd/dsd/dsdLocal.c
`` Compiling: /src/bdd/dsd/dsdMan.c
`` Compiling: /src/bdd/dsd/dsdProc.c
`` Compiling: /src/bdd/dsd/dsdTree.c
`` Compiling: /src/bdd/epd/epd.c
`` Compiling: /src/bdd/mtr/mtrBasic.c
`` Compiling: /src/bdd/mtr/mtrGroup.c
`` Compiling: /src/bdd/parse/parseCore.c
`` Compiling: /src/bdd/parse/parseEqn.c
`` Compiling: /src/bdd/parse/parseStack.c
`` Compiling: /src/bdd/reo/reoApi.c
`` Compiling: /src/bdd/reo/reoCore.c
`` Compiling: /src/bdd/reo/reoProfile.c
`` Compiling: /src/bdd/reo/reoShuffle.c
`` Compiling: /src/bdd/reo/reoSift.c
`` Compiling: /src/bdd/reo/reoSwap.c
`` Compiling: /src/bdd/reo/reoTransfer.c
`` Compiling: /src/bdd/reo/reoUnits.c
`` Compiling: /src/bdd/cas/casCore.c
`` Compiling: /src/bdd/cas/casDec.c
`` Compiling: /src/map/mapper/mapper.c
`` Compiling: /src/map/mapper/mapperCanon.c
`` Compiling: /src/map/mapper/mapperCore.c
`` Compiling: /src/map/mapper/mapperCreate.c
`` Compiling: /src/map/mapper/mapperCut.c
`` Compiling: /src/map/mapper/mapperCutUtils.c
`` Compiling: /src/map/mapper/mapperLib.c
`` Compiling: /src/map/mapper/mapperMatch.c
`` Compiling: /src/map/mapper/mapperRefs.c
`` Compiling: /src/map/mapper/mapperSuper.c
`` Compiling: /src/map/mapper/mapperSwitch.c
`` Compiling: /src/map/mapper/mapperTable.c
`` Compiling: /src/map/mapper/mapperTime.c
`` Compiling: /src/map/mapper/mapperTree.c
`` Compiling: /src/map/mapper/mapperTruth.c
`` Compiling: /src/map/mapper/mapperUtils.c
`` Compiling: /src/map/mapper/mapperVec.c
`` Compiling: /src/map/mio/mio.c
`` Compiling: /src/map/mio/mioApi.c
`` Compiling: /src/map/mio/mioFunc.c
`` Compiling: /src/map/mio/mioParse.c
`` Compiling: /src/map/mio/mioRead.c
`` Compiling: /src/map/mio/mioSop.c
`` Compiling: /src/map/mio/mioUtils.c
`` Compiling: /src/map/super/super.c
`` Compiling: /src/map/super/superAnd.c
`` Compiling: /src/map/super/superGate.c
`` Compiling: /src/map/if/ifCom.c
`` Compiling: /src/map/if/ifCache.c
`` Compiling: /src/map/if/ifCore.c
`` Compiling: /src/map/if/ifCut.c
`` Compiling: /src/map/if/ifData2.c
`` Compiling: /src/map/if/ifDec07.c
`` Compiling: /src/map/if/ifDec08.c
`` Compiling: /src/map/if/ifDec10.c
`` Compiling: /src/map/if/ifDec16.c
`` Compiling: /src/map/if/ifDec75.c
`` Compiling: /src/map/if/ifDelay.c
`` Compiling: /src/map/if/ifDsd.c
`` Compiling: /src/map/if/ifLibBox.c
`` Compiling: /src/map/if/ifLibLut.c
`` Compiling: /src/map/if/ifMan.c
`` Compiling: /src/map/if/ifMap.c
`` Compiling: /src/map/if/ifMatch2.c
`` Compiling: /src/map/if/ifReduce.c
`` Compiling: /src/map/if/ifSat.c
`` Compiling: /src/map/if/ifSelect.c
`` Compiling: /src/map/if/ifSeq.c
`` Compiling: /src/map/if/ifTest.c
`` Compiling: /src/map/if/ifTime.c
`` Compiling: /src/map/if/ifTruth.c
`` Compiling: /src/map/if/ifTune.c
`` Compiling: /src/map/if/ifUtil.c
`` Compiling: /src/map/amap/amapCore.c
`` Compiling: /src/map/amap/amapGraph.c
`` Compiling: /src/map/amap/amapLib.c
`` Compiling: /src/map/amap/amapLiberty.c
`` Compiling: /src/map/amap/amapMan.c
`` Compiling: /src/map/amap/amapMatch.c
`` Compiling: /src/map/amap/amapMerge.c
`` Compiling: /src/map/amap/amapOutput.c
`` Compiling: /src/map/amap/amapParse.c
`` Compiling: /src/map/amap/amapPerm.c
`` Compiling: /src/map/amap/amapRead.c
`` Compiling: /src/map/amap/amapRule.c
`` Compiling: /src/map/amap/amapUniq.c
`` Compiling: /src/map/cov/covBuild.c
`` Compiling: /src/map/cov/covCore.c
`` Compiling: /src/map/cov/covMan.c
`` Compiling: /src/map/cov/covMinEsop.c
`` Compiling: /src/map/cov/covMinMan.c
`` Compiling: /src/map/cov/covMinSop.c
`` Compiling: /src/map/cov/covMinUtil.c
`` Compiling: /src/map/scl/scl.c
`` Compiling: /src/map/scl/sclBuffer.c
`` Compiling: /src/map/scl/sclBufSize.c
`` Compiling: /src/map/scl/sclDnsize.c
`` Compiling: /src/map/scl/sclLiberty.c
`` Compiling: /src/map/scl/sclLibScl.c
`` Compiling: /src/map/scl/sclLibUtil.c
`` Compiling: /src/map/scl/sclLoad.c
`` Compiling: /src/map/scl/sclSize.c
`` Compiling: /src/map/scl/sclUpsize.c
`` Compiling: /src/map/scl/sclUtil.c
`` Compiling: /src/map/mpm/mpmAbc.c
`` Compiling: /src/map/mpm/mpmCore.c
`` Compiling: /src/map/mpm/mpmDsd.c
`` Compiling: /src/map/mpm/mpmGates.c
`` Compiling: /src/map/mpm/mpmLib.c
`` Compiling: /src/map/mpm/mpmMan.c
`` Compiling: /src/map/mpm/mpmMap.c
`` Compiling: /src/map/mpm/mpmMig.c
`` Compiling: /src/map/mpm/mpmPre.c
`` Compiling: /src/map/mpm/mpmTruth.c
`` Compiling: /src/map/mpm/mpmUtil.c
`` Compiling: /src/misc/extra/extraBddAuto.c
`` Compiling: /src/misc/extra/extraBddCas.c
`` Compiling: /src/misc/extra/extraBddImage.c
`` Compiling: /src/misc/extra/extraBddKmap.c
`` Compiling: /src/misc/extra/extraBddMisc.c
`` Compiling: /src/misc/extra/extraBddSymm.c
`` Compiling: /src/misc/extra/extraBddTime.c
`` Compiling: /src/misc/extra/extraBddUnate.c
`` Compiling: /src/misc/extra/extraUtilBitMatrix.c
`` Compiling: /src/misc/extra/extraUtilCanon.c
`` Compiling: /src/misc/extra/extraUtilCube.c
`` Compiling: /src/misc/extra/extraUtilDsd.c
`` Compiling: /src/misc/extra/extraUtilEnum.c
`` Compiling: /src/misc/extra/extraUtilFile.c
`` Compiling: /src/misc/extra/extraUtilMemory.c
`` Compiling: /src/misc/extra/extraUtilMisc.c
`` Compiling: /src/misc/extra/extraUtilPerm.c
`` Compiling: /src/misc/extra/extraUtilProgress.c
`` Compiling: /src/misc/extra/extraUtilReader.c
`` Compiling: /src/misc/extra/extraUtilSupp.c
`` Compiling: /src/misc/extra/extraUtilThresh.c
`` Compiling: /src/misc/extra/extraUtilTruth.c
`` Compiling: /src/misc/extra/extraUtilUtil.c
`` Compiling: /src/misc/mvc/mvcApi.c
`` Compiling: /src/misc/mvc/mvcCompare.c
`` Compiling: /src/misc/mvc/mvcContain.c
`` Compiling: /src/misc/mvc/mvcCover.c
`` Compiling: /src/misc/mvc/mvcCube.c
`` Compiling: /src/misc/mvc/mvcDivide.c
`` Compiling: /src/misc/mvc/mvcDivisor.c
`` Compiling: /src/misc/mvc/mvcList.c
`` Compiling: /src/misc/mvc/mvcLits.c
`` Compiling: /src/misc/mvc/mvcMan.c
`` Compiling: /src/misc/mvc/mvcOpAlg.c
`` Compiling: /src/misc/mvc/mvcOpBool.c
`` Compiling: /src/misc/mvc/mvcPrint.c
`` Compiling: /src/misc/mvc/mvcSort.c
`` Compiling: /src/misc/mvc/mvcUtils.c
`` Compiling: /src/misc/st/st.c
`` Compiling: /src/misc/st/stmm.c
`` Compiling: /src/misc/util/utilBridge.c
`` Compiling: /src/misc/util/utilCex.c
`` Compiling: /src/misc/util/utilColor.c
`` Compiling: /src/misc/util/utilFile.c
`` Compiling: /src/misc/util/utilIsop.c
`` Compiling: /src/misc/util/utilNam.c
`` Compiling: /src/misc/util/utilSignal.c
`` Compiling: /src/misc/util/utilSort.c
`` Compiling: /src/misc/nm/nmApi.c
`` Compiling: /src/misc/nm/nmTable.c
`` Compiling: /src/misc/tim/timBox.c
`` Compiling: /src/misc/tim/timDump.c
`` Compiling: /src/misc/tim/timMan.c
`` Compiling: /src/misc/tim/timTime.c
`` Compiling: /src/misc/tim/timTrav.c
`` Compiling: /src/misc/bzlib/blocksort.c
`` Compiling: /src/misc/bzlib/bzlib.c
`` Compiling: /src/misc/bzlib/compress.c
`` Compiling: /src/misc/bzlib/crctable.c
`` Compiling: /src/misc/bzlib/decompress.c
`` Compiling: /src/misc/bzlib/huffman.c
`` Compiling: /src/misc/bzlib/randtable.c
`` Compiling: /src/misc/zlib/adler32.c
`` Compiling: /src/misc/zlib/compress_.c
`` Compiling: /src/misc/zlib/crc32.c
`` Compiling: /src/misc/zlib/deflate.c
`` Compiling: /src/misc/zlib/gzclose.c
`` Compiling: /src/misc/zlib/gzlib.c
`` Compiling: /src/misc/zlib/gzread.c
`` Compiling: /src/misc/zlib/gzwrite.c
`` Compiling: /src/misc/zlib/infback.c
`` Compiling: /src/misc/zlib/inffast.c
`` Compiling: /src/misc/zlib/inflate.c
`` Compiling: /src/misc/zlib/inftrees.c
`` Compiling: /src/misc/zlib/trees.c
`` Compiling: /src/misc/zlib/uncompr.c
`` Compiling: /src/misc/zlib/zutil.c
`` Compiling: /src/misc/mem/mem.c
`` Compiling: /src/misc/bar/bar.c
`` Compiling: /src/misc/bbl/bblif.c
`` Compiling: /src/opt/cut/cutApi.c
`` Compiling: /src/opt/cut/cutCut.c
`` Compiling: /src/opt/cut/cutMan.c
`` Compiling: /src/opt/cut/cutMerge.c
`` Compiling: /src/opt/cut/cutNode.c
`` Compiling: /src/opt/cut/cutOracle.c
`` Compiling: /src/opt/cut/cutPre22.c
`` Compiling: /src/opt/cut/cutSeq.c
`` Compiling: /src/opt/cut/cutTruth.c
`` Compiling: /src/opt/fxu/fxu.c
`` Compiling: /src/opt/fxu/fxuCreate.c
`` Compiling: /src/opt/fxu/fxuHeapD.c
`` Compiling: /src/opt/fxu/fxuHeapS.c
`` Compiling: /src/opt/fxu/fxuList.c
`` Compiling: /src/opt/fxu/fxuMatrix.c
`` Compiling: /src/opt/fxu/fxuPair.c
`` Compiling: /src/opt/fxu/fxuPrint.c
`` Compiling: /src/opt/fxu/fxuReduce.c
`` Compiling: /src/opt/fxu/fxuSelect.c
`` Compiling: /src/opt/fxu/fxuSingle.c
`` Compiling: /src/opt/fxu/fxuUpdate.c
`` Compiling: /src/opt/rwr/rwrDec.c
`` Compiling: /src/opt/rwr/rwrEva.c
`` Compiling: /src/opt/rwr/rwrExp.c
`` Compiling: /src/opt/rwr/rwrLib.c
`` Compiling: /src/opt/rwr/rwrMan.c
`` Compiling: /src/opt/rwr/rwrPrint.c
`` Compiling: /src/opt/rwr/rwrUtil.c
`` Compiling: /src/opt/mfs/mfsCore.c
`` Compiling: /src/opt/mfs/mfsDiv.c
`` Compiling: /src/opt/mfs/mfsInter.c
`` Compiling: /src/opt/mfs/mfsMan.c
`` Compiling: /src/opt/mfs/mfsResub.c
`` Compiling: /src/opt/mfs/mfsSat.c
`` Compiling: /src/opt/mfs/mfsStrash.c
`` Compiling: /src/opt/mfs/mfsWin.c
`` Compiling: /src/opt/sim/simMan.c
`` Compiling: /src/opt/sim/simSeq.c
`` Compiling: /src/opt/sim/simSupp.c
`` Compiling: /src/opt/sim/simSwitch.c
`` Compiling: /src/opt/sim/simSym.c
`` Compiling: /src/opt/sim/simSymSat.c
`` Compiling: /src/opt/sim/simSymSim.c
`` Compiling: /src/opt/sim/simSymStr.c
`` Compiling: /src/opt/sim/simUtils.c
`` Compiling: /src/opt/ret/retArea.c
`` Compiling: /src/opt/ret/retCore.c
`` Compiling: /src/opt/ret/retDelay.c
`` Compiling: /src/opt/ret/retFlow.c
`` Compiling: /src/opt/ret/retIncrem.c
`` Compiling: /src/opt/ret/retInit.c
`` Compiling: /src/opt/ret/retLvalue.c
`` Compiling: /src/opt/res/resCore.c
`` Compiling: /src/opt/res/resDivs.c
`` Compiling: /src/opt/res/resFilter.c
`` Compiling: /src/opt/res/resSat.c
`` Compiling: /src/opt/res/resSim.c
`` Compiling: /src/opt/res/resStrash.c
`` Compiling: /src/opt/res/resWin.c
`` Compiling: /src/opt/lpk/lpkCore.c
`` Compiling: /src/opt/lpk/lpkAbcDec.c
`` Compiling: /src/opt/lpk/lpkAbcMux.c
`` Compiling: /src/opt/lpk/lpkAbcDsd.c
`` Compiling: /src/opt/lpk/lpkAbcUtil.c
`` Compiling: /src/opt/lpk/lpkCut.c
`` Compiling: /src/opt/lpk/lpkMan.c
`` Compiling: /src/opt/lpk/lpkMap.c
`` Compiling: /src/opt/lpk/lpkMulti.c
`` Compiling: /src/opt/lpk/lpkMux.c
`` Compiling: /src/opt/lpk/lpkSets.c
`` Compiling: /src/opt/nwk/nwkAig.c
`` Compiling: /src/opt/nwk/nwkCheck.c
`` Compiling: /src/opt/nwk/nwkBidec.c
`` Compiling: /src/opt/nwk/nwkDfs.c
`` Compiling: /src/opt/nwk/nwkFanio.c
`` Compiling: /src/opt/nwk/nwkFlow.c
`` Compiling: /src/opt/nwk/nwkMan.c
`` Compiling: /src/opt/nwk/nwkMap.c
`` Compiling: /src/opt/nwk/nwkMerge.c
`` Compiling: /src/opt/nwk/nwkObj.c
`` Compiling: /src/opt/nwk/nwkSpeedup.c
`` Compiling: /src/opt/nwk/nwkStrash.c
`` Compiling: /src/opt/nwk/nwkTiming.c
`` Compiling: /src/opt/nwk/nwkUtil.c
`` Compiling: /src/opt/rwt/rwtDec.c
`` Compiling: /src/opt/rwt/rwtMan.c
`` Compiling: /src/opt/rwt/rwtUtil.c
`` Compiling: /src/opt/cgt/cgtAig.c
`` Compiling: /src/opt/cgt/cgtCore.c
`` Compiling: /src/opt/cgt/cgtDecide.c
`` Compiling: /src/opt/cgt/cgtMan.c
`` Compiling: /src/opt/cgt/cgtSat.c
`` Compiling: /src/opt/csw/cswCore.c
`` Compiling: /src/opt/csw/cswCut.c
`` Compiling: /src/opt/csw/cswMan.c
`` Compiling: /src/opt/csw/cswTable.c
`` Compiling: /src/opt/dar/darBalance.c
`` Compiling: /src/opt/dar/darCore.c
`` Compiling: /src/opt/dar/darCut.c
`` Compiling: /src/opt/dar/darData.c
`` Compiling: /src/opt/dar/darLib.c
`` Compiling: /src/opt/dar/darMan.c
`` Compiling: /src/opt/dar/darPrec.c
`` Compiling: /src/opt/dar/darRefact.c
`` Compiling: /src/opt/dar/darScript.c
`` Compiling: /src/opt/dau/dauCanon.c
`` Compiling: /src/opt/dau/dauCore.c
`` Compiling: /src/opt/dau/dauDivs.c
`` Compiling: /src/opt/dau/dauDsd.c
`` Compiling: /src/opt/dau/dauEnum.c
`` Compiling: /src/opt/dau/dauGia.c
`` Compiling: /src/opt/dau/dauMerge.c
`` Compiling: /src/opt/dau/dauNonDsd.c
`` Compiling: /src/opt/dau/dauTree.c
`` Compiling: /src/opt/sfm/sfmCnf.c
`` Compiling: /src/opt/sfm/sfmCore.c
`` Compiling: /src/opt/sfm/sfmNtk.c
`` Compiling: /src/opt/sfm/sfmSat.c
`` Compiling: /src/opt/sfm/sfmWin.c
`` Compiling: /src/sat/bsat/satMem.c
`` Compiling: /src/sat/bsat/satInter.c
`` Compiling: /src/sat/bsat/satInterA.c
`` Compiling: /src/sat/bsat/satInterB.c
`` Compiling: /src/sat/bsat/satInterP.c
`` Compiling: /src/sat/bsat/satProof.c
`` Compiling: /src/sat/bsat/satSolver.c
`` Compiling: /src/sat/bsat/satSolver2.c
`` Compiling: /src/sat/bsat/satSolver2i.c
`` Compiling: /src/sat/bsat/satStore.c
`` Compiling: /src/sat/bsat/satTrace.c
`` Compiling: /src/sat/bsat/satTruth.c
`` Compiling: /src/sat/bsat/satUtil.c
`` Compiling: /src/sat/csat/csat_apis.c
`` Compiling: /src/sat/msat/msatActivity.c
`` Compiling: /src/sat/msat/msatClause.c
`` Compiling: /src/sat/msat/msatClauseVec.c
`` Compiling: /src/sat/msat/msatMem.c
`` Compiling: /src/sat/msat/msatOrderH.c
`` Compiling: /src/sat/msat/msatQueue.c
`` Compiling: /src/sat/msat/msatRead.c
`` Compiling: /src/sat/msat/msatSolverApi.c
`` Compiling: /src/sat/msat/msatSolverCore.c
`` Compiling: /src/sat/msat/msatSolverIo.c
`` Compiling: /src/sat/msat/msatSolverSearch.c
`` Compiling: /src/sat/msat/msatSort.c
`` Compiling: /src/sat/msat/msatVec.c
`` Compiling: /src/sat/cnf/cnfCore.c
`` Compiling: /src/sat/cnf/cnfCut.c
`` Compiling: /src/sat/cnf/cnfData.c
`` Compiling: /src/sat/cnf/cnfFast.c
`` Compiling: /src/sat/cnf/cnfMan.c
`` Compiling: /src/sat/cnf/cnfMap.c
`` Compiling: /src/sat/cnf/cnfPost.c
`` Compiling: /src/sat/cnf/cnfUtil.c
`` Compiling: /src/sat/cnf/cnfWrite.c
`` Compiling: /src/sat/bmc/bmcBCore.c
`` Compiling: /src/sat/bmc/bmcBmc.c
`` Compiling: /src/sat/bmc/bmcBmc2.c
`` Compiling: /src/sat/bmc/bmcBmc3.c
`` Compiling: /src/sat/bmc/bmcBmcAnd.c
`` Compiling: /src/sat/bmc/bmcBmci.c
`` Compiling: /src/sat/bmc/bmcCexCare.c
`` Compiling: /src/sat/bmc/bmcCexCut.c
`` Compiling: /src/sat/bmc/bmcCexDepth.c
`` Compiling: /src/sat/bmc/bmcCexMin1.c
`` Compiling: /src/sat/bmc/bmcCexMin2.c
`` Compiling: /src/sat/bmc/bmcCexTools.c
`` Compiling: /src/sat/bmc/bmcChain.c
`` Compiling: /src/sat/bmc/bmcEco.c
`` Compiling: /src/sat/bmc/bmcFault.c
`` Compiling: /src/sat/bmc/bmcICheck.c
`` Compiling: /src/sat/bmc/bmcInse.c
`` Compiling: /src/sat/bmc/bmcLoad.c
`` Compiling: /src/sat/bmc/bmcMaxi.c
`` Compiling: /src/sat/bmc/bmcMulti.c
`` Compiling: /src/sat/bmc/bmcUnroll.c
`` Compiling: /src/bool/bdc/bdcCore.c
`` Compiling: /src/bool/bdc/bdcDec.c
`` Compiling: /src/bool/bdc/bdcSpfd.c
`` Compiling: /src/bool/bdc/bdcTable.c
`` Compiling: /src/bool/dec/decAbc.c
`` Compiling: /src/bool/dec/decFactor.c
`` Compiling: /src/bool/dec/decMan.c
`` Compiling: /src/bool/dec/decPrint.c
`` Compiling: /src/bool/dec/decUtil.c
`` Compiling: /src/bool/kit/kitAig.c
`` Compiling: /src/bool/kit/kitBdd.c
`` Compiling: /src/bool/kit/kitCloud.c
`` Compiling: /src/bool/kit/cloud.c
`` Compiling: /src/bool/kit/kitDsd.c
`` Compiling: /src/bool/kit/kitFactor.c
`` Compiling: /src/bool/kit/kitGraph.c
`` Compiling: /src/bool/kit/kitHop.c
`` Compiling: /src/bool/kit/kitIsop.c
`` Compiling: /src/bool/kit/kitPla.c
`` Compiling: /src/bool/kit/kitSop.c
`` Compiling: /src/bool/kit/kitTruth.c
`` Compiling: /src/bool/lucky/lucky.c
`` Compiling: /src/bool/lucky/luckyFast16.c
`` Compiling: /src/bool/lucky/luckyFast6.c
`` Compiling: /src/bool/lucky/luckyRead.c
`` Compiling: /src/bool/lucky/luckySimple.c
`` Compiling: /src/bool/lucky/luckySwapIJ.c
`` Compiling: /src/bool/lucky/luckySwap.c
`` Compiling: /src/bool/rsb/rsbDec6.c
`` Compiling: /src/bool/rsb/rsbMan.c
`` Compiling: /src/bool/rpo/rpo.c
`` Compiling: /src/proof/pdr/pdrCnf.c
`` Compiling: /src/proof/pdr/pdrCore.c
`` Compiling: /src/proof/pdr/pdrInv.c
`` Compiling: /src/proof/pdr/pdrMan.c
`` Compiling: /src/proof/pdr/pdrSat.c
`` Compiling: /src/proof/pdr/pdrTsim.c
`` Compiling: /src/proof/pdr/pdrUtil.c
`` Compiling: /src/proof/abs/absDup.c
`` Compiling: /src/proof/abs/absGla.c
`` Compiling: /src/proof/abs/absGlaOld.c
`` Compiling: /src/proof/abs/absIter.c
`` Compiling: /src/proof/abs/absOldCex.c
`` Compiling: /src/proof/abs/absOldRef.c
`` Compiling: /src/proof/abs/absOldSat.c
`` Compiling: /src/proof/abs/absOldSim.c
`` Compiling: /src/proof/abs/absOut.c
`` Compiling: /src/proof/abs/absPth.c
`` Compiling: /src/proof/abs/absRef.c
`` Compiling: /src/proof/abs/absRefSelect.c
`` Compiling: /src/proof/abs/absRpm.c
`` Compiling: /src/proof/abs/absRpmOld.c
`` Compiling: /src/proof/abs/absVta.c
`` Compiling: /src/proof/abs/absUtil.c
`` Compiling: /src/proof/bbr/bbrCex.c
`` Compiling: /src/proof/bbr/bbrImage.c
`` Compiling: /src/proof/bbr/bbrNtbdd.c
`` Compiling: /src/proof/bbr/bbrReach.c
`` Compiling: /src/proof/llb/llb1Cluster.c
`` Compiling: /src/proof/llb/llb1Constr.c
`` Compiling: /src/proof/llb/llb1Core.c
`` Compiling: /src/proof/llb/llb1Group.c
`` Compiling: /src/proof/llb/llb1Hint.c
`` Compiling: /src/proof/llb/llb1Man.c
`` Compiling: /src/proof/llb/llb1Matrix.c
`` Compiling: /src/proof/llb/llb1Pivot.c
`` Compiling: /src/proof/llb/llb1Reach.c
`` Compiling: /src/proof/llb/llb1Sched.c
`` Compiling: /src/proof/llb/llb2Bad.c
`` Compiling: /src/proof/llb/llb2Core.c
`` Compiling: /src/proof/llb/llb2Driver.c
`` Compiling: /src/proof/llb/llb2Dump.c
`` Compiling: /src/proof/llb/llb2Flow.c
`` Compiling: /src/proof/llb/llb2Image.c
`` Compiling: /src/proof/llb/llb3Image.c
`` Compiling: /src/proof/llb/llb3Nonlin.c
`` Compiling: /src/proof/llb/llb4Cex.c
`` Compiling: /src/proof/llb/llb4Image.c
`` Compiling: /src/proof/llb/llb4Nonlin.c
`` Compiling: /src/proof/llb/llb4Sweep.c
`` Compiling: /src/proof/live/liveness.c
`` Compiling: /src/proof/live/liveness_sim.c
`` Compiling: /src/proof/live/ltl_parser.c
`` Compiling: /src/proof/live/kliveness.c
`` Compiling: /src/proof/live/monotone.c
`` Compiling: /src/proof/live/disjunctiveMonotone.c
`` Compiling: /src/proof/live/arenaViolation.c
`` Compiling: /src/proof/live/kLiveConstraints.c
`` Compiling: /src/proof/live/combination.c
`` Compiling: /src/proof/cec/cecCec.c
`` Compiling: /src/proof/cec/cecChoice.c
`` Compiling: /src/proof/cec/cecClass.c
`` Compiling: /src/proof/cec/cecCore.c
`` Compiling: /src/proof/cec/cecCorr.c
`` Compiling: /src/proof/cec/cecIso.c
`` Compiling: /src/proof/cec/cecMan.c
`` Compiling: /src/proof/cec/cecPat.c
`` Compiling: /src/proof/cec/cecSeq.c
`` Compiling: /src/proof/cec/cecSolve.c
`` Compiling: /src/proof/cec/cecSplit.c
`` Compiling: /src/proof/cec/cecSynth.c
`` Compiling: /src/proof/cec/cecSweep.c
`` Compiling: /src/proof/dch/dchAig.c
`` Compiling: /src/proof/dch/dchChoice.c
`` Compiling: /src/proof/dch/dchClass.c
`` Compiling: /src/proof/dch/dchCnf.c
`` Compiling: /src/proof/dch/dchCore.c
`` Compiling: /src/proof/dch/dchMan.c
`` Compiling: /src/proof/dch/dchSat.c
`` Compiling: /src/proof/dch/dchSim.c
`` Compiling: /src/proof/dch/dchSimSat.c
`` Compiling: /src/proof/dch/dchSweep.c
`` Compiling: /src/proof/fraig/fraigApi.c
`` Compiling: /src/proof/fraig/fraigCanon.c
`` Compiling: /src/proof/fraig/fraigFanout.c
`` Compiling: /src/proof/fraig/fraigFeed.c
`` Compiling: /src/proof/fraig/fraigMan.c
`` Compiling: /src/proof/fraig/fraigMem.c
`` Compiling: /src/proof/fraig/fraigNode.c
`` Compiling: /src/proof/fraig/fraigPrime.c
`` Compiling: /src/proof/fraig/fraigSat.c
`` Compiling: /src/proof/fraig/fraigTable.c
`` Compiling: /src/proof/fraig/fraigUtil.c
`` Compiling: /src/proof/fraig/fraigVec.c
`` Compiling: /src/proof/fra/fraBmc.c
`` Compiling: /src/proof/fra/fraCec.c
`` Compiling: /src/proof/fra/fraClass.c
`` Compiling: /src/proof/fra/fraClau.c
`` Compiling: /src/proof/fra/fraClaus.c
`` Compiling: /src/proof/fra/fraCnf.c
`` Compiling: /src/proof/fra/fraCore.c
`` Compiling: /src/proof/fra/fraHot.c
`` Compiling: /src/proof/fra/fraImp.c
`` Compiling: /src/proof/fra/fraInd.c
`` Compiling: /src/proof/fra/fraIndVer.c
`` Compiling: /src/proof/fra/fraLcr.c
`` Compiling: /src/proof/fra/fraMan.c
`` Compiling: /src/proof/fra/fraPart.c
`` Compiling: /src/proof/fra/fraSat.c
`` Compiling: /src/proof/fra/fraSec.c
`` Compiling: /src/proof/fra/fraSim.c
`` Compiling: /src/proof/ssw/sswAig.c
`` Compiling: /src/proof/ssw/sswBmc.c
`` Compiling: /src/proof/ssw/sswClass.c
`` Compiling: /src/proof/ssw/sswCnf.c
`` Compiling: /src/proof/ssw/sswConstr.c
`` Compiling: /src/proof/ssw/sswCore.c
`` Compiling: /src/proof/ssw/sswDyn.c
`` Compiling: /src/proof/ssw/sswFilter.c
`` Compiling: /src/proof/ssw/sswIslands.c
`` Compiling: /src/proof/ssw/sswLcorr.c
`` Compiling: /src/proof/ssw/sswMan.c
`` Compiling: /src/proof/ssw/sswPart.c
`` Compiling: /src/proof/ssw/sswPairs.c
`` Compiling: /src/proof/ssw/sswRarity.c
`` Compiling: /src/proof/ssw/sswSat.c
`` Compiling: /src/proof/ssw/sswSemi.c
`` Compiling: /src/proof/ssw/sswSim.c
`` Compiling: /src/proof/ssw/sswSimSat.c
`` Compiling: /src/proof/ssw/sswSweep.c
`` Compiling: /src/proof/ssw/sswUnique.c
`` Compiling: /src/proof/ssc/sscClass.c
`` Compiling: /src/proof/ssc/sscCore.c
`` Compiling: /src/proof/ssc/sscSat.c
`` Compiling: /src/proof/ssc/sscSim.c
`` Compiling: /src/proof/ssc/sscUtil.c
`` Compiling: /src/proof/int/intCheck.c
`` Compiling: /src/proof/int/intContain.c
`` Compiling: /src/proof/int/intCore.c
`` Compiling: /src/proof/int/intCtrex.c
`` Compiling: /src/proof/int/intDup.c
`` Compiling: /src/proof/int/intFrames.c
`` Compiling: /src/proof/int/intInter.c
`` Compiling: /src/proof/int/intM114.c
`` Compiling: /src/proof/int/intMan.c
`` Compiling: /src/proof/int/intUtil.c
`` Compiling: /src/aig/aig/aigCheck.c
`` Compiling: /src/aig/aig/aigCanon.c
`` Compiling: /src/aig/aig/aigCuts.c
`` Compiling: /src/aig/aig/aigDfs.c
`` Compiling: /src/aig/aig/aigDup.c
`` Compiling: /src/aig/aig/aigFanout.c
`` Compiling: /src/aig/aig/aigFrames.c
`` Compiling: /src/aig/aig/aigInter.c
`` Compiling: /src/aig/aig/aigJust.c
`` Compiling: /src/aig/aig/aigMan.c
`` Compiling: /src/aig/aig/aigMem.c
`` Compiling: /src/aig/aig/aigMffc.c
`` Compiling: /src/aig/aig/aigObj.c
`` Compiling: /src/aig/aig/aigOper.c
`` Compiling: /src/aig/aig/aigOrder.c
`` Compiling: /src/aig/aig/aigPack.c
`` Compiling: /src/aig/aig/aigPart.c
`` Compiling: /src/aig/aig/aigPartReg.c
`` Compiling: /src/aig/aig/aigPartSat.c
`` Compiling: /src/aig/aig/aigRepr.c
`` Compiling: /src/aig/aig/aigRet.c
`` Compiling: /src/aig/aig/aigRetF.c
`` Compiling: /src/aig/aig/aigScl.c
`` Compiling: /src/aig/aig/aigShow.c
`` Compiling: /src/aig/aig/aigSplit.c
`` Compiling: /src/aig/aig/aigTable.c
`` Compiling: /src/aig/aig/aigTiming.c
`` Compiling: /src/aig/aig/aigTruth.c
`` Compiling: /src/aig/aig/aigTsim.c
`` Compiling: /src/aig/aig/aigUtil.c
`` Compiling: /src/aig/aig/aigWin.c
`` Compiling: /src/aig/saig/saigCone.c
`` Compiling: /src/aig/saig/saigConstr.c
`` Compiling: /src/aig/saig/saigConstr2.c
`` Compiling: /src/aig/saig/saigDual.c
`` Compiling: /src/aig/saig/saigDup.c
`` Compiling: /src/aig/saig/saigInd.c
`` Compiling: /src/aig/saig/saigIoa.c
`` Compiling: /src/aig/saig/saigIso.c
`` Compiling: /src/aig/saig/saigIsoFast.c
`` Compiling: /src/aig/saig/saigIsoSlow.c
`` Compiling: /src/aig/saig/saigMiter.c
`` Compiling: /src/aig/saig/saigOutDec.c
`` Compiling: /src/aig/saig/saigPhase.c
`` Compiling: /src/aig/saig/saigRetFwd.c
`` Compiling: /src/aig/saig/saigRetMin.c
`` Compiling: /src/aig/saig/saigRetStep.c
`` Compiling: /src/aig/saig/saigScl.c
`` Compiling: /src/aig/saig/saigSimFast.c
`` Compiling: /src/aig/saig/saigSimMv.c
`` Compiling: /src/aig/saig/saigSimSeq.c
`` Compiling: /src/aig/saig/saigStrSim.c
`` Compiling: /src/aig/saig/saigSwitch.c
`` Compiling: /src/aig/saig/saigSynch.c
`` Compiling: /src/aig/saig/saigTempor.c
`` Compiling: /src/aig/saig/saigTrans.c
`` Compiling: /src/aig/saig/saigWnd.c
`` Compiling: /src/aig/gia/giaAig.c
`` Compiling: /src/aig/gia/giaAgi.c
`` Compiling: /src/aig/gia/giaAiger.c
`` Compiling: /src/aig/gia/giaAigerExt.c
`` Compiling: /src/aig/gia/giaBalAig.c
`` Compiling: /src/aig/gia/giaBalLut.c
`` Compiling: /src/aig/gia/giaBalMap.c
`` Compiling: /src/aig/gia/giaBidec.c
`` Compiling: /src/aig/gia/giaCCof.c
`` Compiling: /src/aig/gia/giaCex.c
`` Compiling: /src/aig/gia/giaClp.c
`` Compiling: /src/aig/gia/giaCof.c
`` Compiling: /src/aig/gia/giaCone.c
`` Compiling: /src/aig/gia/giaCSatOld.c
`` Compiling: /src/aig/gia/giaCSat.c
`` Compiling: /src/aig/gia/giaCTas.c
`` Compiling: /src/aig/gia/giaDfs.c
`` Compiling: /src/aig/gia/giaDup.c
`` Compiling: /src/aig/gia/giaEmbed.c
`` Compiling: /src/aig/gia/giaEnable.c
`` Compiling: /src/aig/gia/giaEquiv.c
`` Compiling: /src/aig/gia/giaEra.c
`` Compiling: /src/aig/gia/giaEra2.c
`` Compiling: /src/aig/gia/giaFadds.c
`` Compiling: /src/aig/gia/giaFalse.c
`` Compiling: /src/aig/gia/giaFanout.c
`` Compiling: /src/aig/gia/giaForce.c
`` Compiling: /src/aig/gia/giaFrames.c
`` Compiling: /src/aig/gia/giaFront.c
`` Compiling: /src/aig/gia/giaFx.c
`` Compiling: /src/aig/gia/giaGig.c
`` Compiling: /src/aig/gia/giaGlitch.c
`` Compiling: /src/aig/gia/giaHash.c
`` Compiling: /src/aig/gia/giaIf.c
src/aig/gia/giaIf.c: In function ‘Gia_ManFromIfLogicFindCell’:
src/aig/gia/giaIf.c:1480:16: warning: unused variable ‘pCutPerm’ [-Wunused-variable]
         char * pCutPerm = If_CutDsdPerm( pIfMan, pCutBest ); // DSD input -> cut input
                ^
`` Compiling: /src/aig/gia/giaIff.c
`` Compiling: /src/aig/gia/giaIso.c
`` Compiling: /src/aig/gia/giaIso2.c
`` Compiling: /src/aig/gia/giaIso3.c
`` Compiling: /src/aig/gia/giaJf.c
`` Compiling: /src/aig/gia/giaKf.c
`` Compiling: /src/aig/gia/giaLf.c
`` Compiling: /src/aig/gia/giaMf.c
`` Compiling: /src/aig/gia/giaMan.c
`` Compiling: /src/aig/gia/giaMem.c
`` Compiling: /src/aig/gia/giaMfs.c
`` Compiling: /src/aig/gia/giaMini.c
`` Compiling: /src/aig/gia/giaMuxes.c
`` Compiling: /src/aig/gia/giaNf.c
`` Compiling: /src/aig/gia/giaPat.c
`` Compiling: /src/aig/gia/giaPf.c
`` Compiling: /src/aig/gia/giaQbf.c
`` Compiling: /src/aig/gia/giaResub.c
`` Compiling: /src/aig/gia/giaRetime.c
`` Compiling: /src/aig/gia/giaScl.c
`` Compiling: /src/aig/gia/giaScript.c
`` Compiling: /src/aig/gia/giaShrink.c
`` Compiling: /src/aig/gia/giaShrink6.c
`` Compiling: /src/aig/gia/giaShrink7.c
`` Compiling: /src/aig/gia/giaSim.c
`` Compiling: /src/aig/gia/giaSim2.c
`` Compiling: /src/aig/gia/giaSort.c
`` Compiling: /src/aig/gia/giaSpeedup.c
`` Compiling: /src/aig/gia/giaStg.c
`` Compiling: /src/aig/gia/giaStr.c
`` Compiling: /src/aig/gia/giaSupMin.c
`` Compiling: /src/aig/gia/giaSweep.c
`` Compiling: /src/aig/gia/giaSweeper.c
`` Compiling: /src/aig/gia/giaSwitch.c
`` Compiling: /src/aig/gia/giaTim.c
`` Compiling: /src/aig/gia/giaTis.c
`` Compiling: /src/aig/gia/giaTruth.c
`` Compiling: /src/aig/gia/giaTsim.c
`` Compiling: /src/aig/gia/giaUtil.c
`` Compiling: /src/aig/ioa/ioaReadAig.c
`` Compiling: /src/aig/ioa/ioaWriteAig.c
`` Compiling: /src/aig/ioa/ioaUtil.c
`` Compiling: /src/aig/ivy/ivyBalance.c
`` Compiling: /src/aig/ivy/ivyCanon.c
`` Compiling: /src/aig/ivy/ivyCheck.c
`` Compiling: /src/aig/ivy/ivyCut.c
`` Compiling: /src/aig/ivy/ivyCutTrav.c
`` Compiling: /src/aig/ivy/ivyDfs.c
`` Compiling: /src/aig/ivy/ivyDsd.c
`` Compiling: /src/aig/ivy/ivyFanout.c
`` Compiling: /src/aig/ivy/ivyFastMap.c
`` Compiling: /src/aig/ivy/ivyFraig.c
`` Compiling: /src/aig/ivy/ivyHaig.c
`` Compiling: /src/aig/ivy/ivyMan.c
`` Compiling: /src/aig/ivy/ivyMem.c
`` Compiling: /src/aig/ivy/ivyMulti.c
`` Compiling: /src/aig/ivy/ivyObj.c
`` Compiling: /src/aig/ivy/ivyOper.c
`` Compiling: /src/aig/ivy/ivyResyn.c
`` Compiling: /src/aig/ivy/ivyRwr.c
`` Compiling: /src/aig/ivy/ivySeq.c
`` Compiling: /src/aig/ivy/ivyShow.c
`` Compiling: /src/aig/ivy/ivyTable.c
`` Compiling: /src/aig/ivy/ivyUtil.c
`` Compiling: /src/aig/hop/hopBalance.c
`` Compiling: /src/aig/hop/hopCheck.c
`` Compiling: /src/aig/hop/hopDfs.c
`` Compiling: /src/aig/hop/hopMan.c
`` Compiling: /src/aig/hop/hopMem.c
`` Compiling: /src/aig/hop/hopObj.c
`` Compiling: /src/aig/hop/hopOper.c
`` Compiling: /src/aig/hop/hopTable.c
`` Compiling: /src/aig/hop/hopTruth.c
`` Compiling: /src/aig/hop/hopUtil.c
`` Linking: libabc.a
ar: creating libabc.a
a - src/base/abc/abcAig.o
a - src/base/abc/abcBarBuf.o
a - src/base/abc/abcBlifMv.o
a - src/base/abc/abcCheck.o
a - src/base/abc/abcDfs.o
a - src/base/abc/abcFanio.o
a - src/base/abc/abcFanOrder.o
a - src/base/abc/abcFunc.o
a - src/base/abc/abcHie.o
a - src/base/abc/abcHieCec.o
a - src/base/abc/abcHieGia.o
a - src/base/abc/abcHieNew.o
a - src/base/abc/abcLatch.o
a - src/base/abc/abcLib.o
a - src/base/abc/abcMinBase.o
a - src/base/abc/abcNames.o
a - src/base/abc/abcNetlist.o
a - src/base/abc/abcNtk.o
a - src/base/abc/abcObj.o
a - src/base/abc/abcRefs.o
a - src/base/abc/abcShow.o
a - src/base/abc/abcSop.o
a - src/base/abc/abcUtil.o
a - src/base/abci/abc.o
a - src/base/abci/abcAttach.o
a - src/base/abci/abcAuto.o
a - src/base/abci/abcBalance.o
a - src/base/abci/abcBidec.o
a - src/base/abci/abcBm.o
a - src/base/abci/abcBmc.o
a - src/base/abci/abcCas.o
a - src/base/abci/abcCascade.o
a - src/base/abci/abcCollapse.o
a - src/base/abci/abcCut.o
a - src/base/abci/abcDar.o
a - src/base/abci/abcDebug.o
a - src/base/abci/abcDec.o
a - src/base/abci/abcDress.o
a - src/base/abci/abcDress2.o
a - src/base/abci/abcDsd.o
a - src/base/abci/abcExtract.o
a - src/base/abci/abcFraig.o
a - src/base/abci/abcFx.o
a - src/base/abci/abcFxu.o
a - src/base/abci/abcGen.o
a - src/base/abci/abcHaig.o
a - src/base/abci/abcIf.o
a - src/base/abci/abcIfif.o
a - src/base/abci/abcIfMux.o
a - src/base/abci/abcIvy.o
a - src/base/abci/abcLog.o
a - src/base/abci/abcLut.o
a - src/base/abci/abcLutmin.o
a - src/base/abci/abcMap.o
a - src/base/abci/abcMerge.o
a - src/base/abci/abcMfs.o
a - src/base/abci/abcMini.o
a - src/base/abci/abcMiter.o
a - src/base/abci/abcMulti.o
a - src/base/abci/abcNtbdd.o
a - src/base/abci/abcNpn.o
a - src/base/abci/abcNpnSave.o
a - src/base/abci/abcOdc.o
a - src/base/abci/abcOrder.o
a - src/base/abci/abcPart.o
a - src/base/abci/abcPrint.o
a - src/base/abci/abcProve.o
a - src/base/abci/abcQbf.o
a - src/base/abci/abcQuant.o
a - src/base/abci/abcRec3.o
a - src/base/abci/abcReconv.o
a - src/base/abci/abcReach.o
a - src/base/abci/abcRefactor.o
a - src/base/abci/abcRenode.o
a - src/base/abci/abcReorder.o
a - src/base/abci/abcRestruct.o
a - src/base/abci/abcResub.o
a - src/base/abci/abcRewrite.o
a - src/base/abci/abcRpo.o
a - src/base/abci/abcRr.o
a - src/base/abci/abcSat.o
a - src/base/abci/abcSaucy.o
a - src/base/abci/abcScorr.o
a - src/base/abci/abcSense.o
a - src/base/abci/abcSpeedup.o
a - src/base/abci/abcStrash.o
a - src/base/abci/abcSweep.o
a - src/base/abci/abcSymm.o
a - src/base/abci/abcTim.o
a - src/base/abci/abcTiming.o
a - src/base/abci/abcUnate.o
a - src/base/abci/abcUnreach.o
a - src/base/abci/abcVerify.o
a - src/base/abci/abcXsim.o
a - src/base/cmd/cmd.o
a - src/base/cmd/cmdAlias.o
a - src/base/cmd/cmdApi.o
a - src/base/cmd/cmdFlag.o
a - src/base/cmd/cmdHist.o
a - src/base/cmd/cmdLoad.o
a - src/base/cmd/cmdPlugin.o
a - src/base/cmd/cmdStarter.o
a - src/base/cmd/cmdUtils.o
a - src/base/io/io.o
a - src/base/io/ioReadAiger.o
a - src/base/io/ioReadBaf.o
a - src/base/io/ioReadBblif.o
a - src/base/io/ioReadBench.o
a - src/base/io/ioReadBlif.o
a - src/base/io/ioReadBlifAig.o
a - src/base/io/ioReadBlifMv.o
a - src/base/io/ioReadDsd.o
a - src/base/io/ioReadEdif.o
a - src/base/io/ioReadEqn.o
a - src/base/io/ioReadPla.o
a - src/base/io/ioReadVerilog.o
a - src/base/io/ioUtil.o
a - src/base/io/ioWriteAiger.o
a - src/base/io/ioWriteBaf.o
a - src/base/io/ioWriteBblif.o
a - src/base/io/ioWriteBench.o
a - src/base/io/ioWriteBlif.o
a - src/base/io/ioWriteBlifMv.o
a - src/base/io/ioWriteBook.o
a - src/base/io/ioWriteCnf.o
a - src/base/io/ioWriteDot.o
a - src/base/io/ioWriteEqn.o
a - src/base/io/ioWriteGml.o
a - src/base/io/ioWriteList.o
a - src/base/io/ioWritePla.o
a - src/base/io/ioWriteVerilog.o
a - src/base/io/ioWriteSmv.o
a - src/base/main/mainFrame.o
a - src/base/main/mainInit.o
a - src/base/main/mainLib.o
a - src/base/main/mainReal.o
a - src/base/main/libSupport.o
a - src/base/main/mainUtils.o
a - src/base/ver/verCore.o
a - src/base/ver/verFormula.o
a - src/base/ver/verParse.o
a - src/base/ver/verStream.o
a - src/base/wlc/wlcAbs.o
a - src/base/wlc/wlcBlast.o
a - src/base/wlc/wlcCom.o
a - src/base/wlc/wlcNtk.o
a - src/base/wlc/wlcReadSmt.o
a - src/base/wlc/wlcReadVer.o
a - src/base/wlc/wlcWriteVer.o
a - src/base/cba/cbaBlast.o
a - src/base/cba/cbaCba.o
a - src/base/cba/cbaCom.o
a - src/base/cba/cbaLib.o
a - src/base/cba/cbaNtk.o
a - src/base/cba/cbaPrsBuild.o
a - src/base/cba/cbaPrsTrans.o
a - src/base/cba/cbaPtr.o
a - src/base/cba/cbaPtrAbc.o
a - src/base/cba/cbaReadBlif.o
a - src/base/cba/cbaReadSmt.o
a - src/base/cba/cbaReadVer.o
a - src/base/cba/cbaWriteBlif.o
a - src/base/cba/cbaWriteSmt.o
a - src/base/cba/cbaWriteVer.o
a - src/base/test/test.o
a - src/bdd/cudd/cuddAPI.o
a - src/bdd/cudd/cuddAddAbs.o
a - src/bdd/cudd/cuddAddApply.o
a - src/bdd/cudd/cuddAddFind.o
a - src/bdd/cudd/cuddAddInv.o
a - src/bdd/cudd/cuddAddIte.o
a - src/bdd/cudd/cuddAddNeg.o
a - src/bdd/cudd/cuddAddWalsh.o
a - src/bdd/cudd/cuddAndAbs.o
a - src/bdd/cudd/cuddAnneal.o
a - src/bdd/cudd/cuddApa.o
a - src/bdd/cudd/cuddApprox.o
a - src/bdd/cudd/cuddBddAbs.o
a - src/bdd/cudd/cuddBddCorr.o
a - src/bdd/cudd/cuddBddIte.o
a - src/bdd/cudd/cuddBridge.o
a - src/bdd/cudd/cuddCache.o
a - src/bdd/cudd/cuddCheck.o
a - src/bdd/cudd/cuddClip.o
a - src/bdd/cudd/cuddCof.o
a - src/bdd/cudd/cuddCompose.o
a - src/bdd/cudd/cuddDecomp.o
a - src/bdd/cudd/cuddEssent.o
a - src/bdd/cudd/cuddExact.o
a - src/bdd/cudd/cuddExport.o
a - src/bdd/cudd/cuddGenCof.o
a - src/bdd/cudd/cuddGenetic.o
a - src/bdd/cudd/cuddGroup.o
a - src/bdd/cudd/cuddHarwell.o
a - src/bdd/cudd/cuddInit.o
a - src/bdd/cudd/cuddInteract.o
a - src/bdd/cudd/cuddLCache.o
a - src/bdd/cudd/cuddLevelQ.o
a - src/bdd/cudd/cuddLinear.o
a - src/bdd/cudd/cuddLiteral.o
a - src/bdd/cudd/cuddMatMult.o
a - src/bdd/cudd/cuddPriority.o
a - src/bdd/cudd/cuddRead.o
a - src/bdd/cudd/cuddRef.o
a - src/bdd/cudd/cuddReorder.o
a - src/bdd/cudd/cuddSat.o
a - src/bdd/cudd/cuddSign.o
a - src/bdd/cudd/cuddSolve.o
a - src/bdd/cudd/cuddSplit.o
a - src/bdd/cudd/cuddSubsetHB.o
a - src/bdd/cudd/cuddSubsetSP.o
a - src/bdd/cudd/cuddSymmetry.o
a - src/bdd/cudd/cuddTable.o
a - src/bdd/cudd/cuddUtil.o
a - src/bdd/cudd/cuddWindow.o
a - src/bdd/cudd/cuddZddCount.o
a - src/bdd/cudd/cuddZddFuncs.o
a - src/bdd/cudd/cuddZddGroup.o
a - src/bdd/cudd/cuddZddIsop.o
a - src/bdd/cudd/cuddZddLin.o
a - src/bdd/cudd/cuddZddMisc.o
a - src/bdd/cudd/cuddZddPort.o
a - src/bdd/cudd/cuddZddReord.o
a - src/bdd/cudd/cuddZddSetop.o
a - src/bdd/cudd/cuddZddSymm.o
a - src/bdd/cudd/cuddZddUtil.o
a - src/bdd/dsd/dsdApi.o
a - src/bdd/dsd/dsdCheck.o
a - src/bdd/dsd/dsdLocal.o
a - src/bdd/dsd/dsdMan.o
a - src/bdd/dsd/dsdProc.o
a - src/bdd/dsd/dsdTree.o
a - src/bdd/epd/epd.o
a - src/bdd/mtr/mtrBasic.o
a - src/bdd/mtr/mtrGroup.o
a - src/bdd/parse/parseCore.o
a - src/bdd/parse/parseEqn.o
a - src/bdd/parse/parseStack.o
a - src/bdd/reo/reoApi.o
a - src/bdd/reo/reoCore.o
a - src/bdd/reo/reoProfile.o
a - src/bdd/reo/reoShuffle.o
a - src/bdd/reo/reoSift.o
a - src/bdd/reo/reoSwap.o
a - src/bdd/reo/reoTransfer.o
a - src/bdd/reo/reoUnits.o
a - src/bdd/cas/casCore.o
a - src/bdd/cas/casDec.o
a - src/map/mapper/mapper.o
a - src/map/mapper/mapperCanon.o
a - src/map/mapper/mapperCore.o
a - src/map/mapper/mapperCreate.o
a - src/map/mapper/mapperCut.o
a - src/map/mapper/mapperCutUtils.o
a - src/map/mapper/mapperLib.o
a - src/map/mapper/mapperMatch.o
a - src/map/mapper/mapperRefs.o
a - src/map/mapper/mapperSuper.o
a - src/map/mapper/mapperSwitch.o
a - src/map/mapper/mapperTable.o
a - src/map/mapper/mapperTime.o
a - src/map/mapper/mapperTree.o
a - src/map/mapper/mapperTruth.o
a - src/map/mapper/mapperUtils.o
a - src/map/mapper/mapperVec.o
a - src/map/mio/mio.o
a - src/map/mio/mioApi.o
a - src/map/mio/mioFunc.o
a - src/map/mio/mioParse.o
a - src/map/mio/mioRead.o
a - src/map/mio/mioSop.o
a - src/map/mio/mioUtils.o
a - src/map/super/super.o
a - src/map/super/superAnd.o
a - src/map/super/superGate.o
a - src/map/if/ifCom.o
a - src/map/if/ifCache.o
a - src/map/if/ifCore.o
a - src/map/if/ifCut.o
a - src/map/if/ifData2.o
a - src/map/if/ifDec07.o
a - src/map/if/ifDec08.o
a - src/map/if/ifDec10.o
a - src/map/if/ifDec16.o
a - src/map/if/ifDec75.o
a - src/map/if/ifDelay.o
a - src/map/if/ifDsd.o
a - src/map/if/ifLibBox.o
a - src/map/if/ifLibLut.o
a - src/map/if/ifMan.o
a - src/map/if/ifMap.o
a - src/map/if/ifMatch2.o
a - src/map/if/ifReduce.o
a - src/map/if/ifSat.o
a - src/map/if/ifSelect.o
a - src/map/if/ifSeq.o
a - src/map/if/ifTest.o
a - src/map/if/ifTime.o
a - src/map/if/ifTruth.o
a - src/map/if/ifTune.o
a - src/map/if/ifUtil.o
a - src/map/amap/amapCore.o
a - src/map/amap/amapGraph.o
a - src/map/amap/amapLib.o
a - src/map/amap/amapLiberty.o
a - src/map/amap/amapMan.o
a - src/map/amap/amapMatch.o
a - src/map/amap/amapMerge.o
a - src/map/amap/amapOutput.o
a - src/map/amap/amapParse.o
a - src/map/amap/amapPerm.o
a - src/map/amap/amapRead.o
a - src/map/amap/amapRule.o
a - src/map/amap/amapUniq.o
a - src/map/cov/covBuild.o
a - src/map/cov/covCore.o
a - src/map/cov/covMan.o
a - src/map/cov/covMinEsop.o
a - src/map/cov/covMinMan.o
a - src/map/cov/covMinSop.o
a - src/map/cov/covMinUtil.o
a - src/map/scl/scl.o
a - src/map/scl/sclBuffer.o
a - src/map/scl/sclBufSize.o
a - src/map/scl/sclDnsize.o
a - src/map/scl/sclLiberty.o
a - src/map/scl/sclLibScl.o
a - src/map/scl/sclLibUtil.o
a - src/map/scl/sclLoad.o
a - src/map/scl/sclSize.o
a - src/map/scl/sclUpsize.o
a - src/map/scl/sclUtil.o
a - src/map/mpm/mpmAbc.o
a - src/map/mpm/mpmCore.o
a - src/map/mpm/mpmDsd.o
a - src/map/mpm/mpmGates.o
a - src/map/mpm/mpmLib.o
a - src/map/mpm/mpmMan.o
a - src/map/mpm/mpmMap.o
a - src/map/mpm/mpmMig.o
a - src/map/mpm/mpmPre.o
a - src/map/mpm/mpmTruth.o
a - src/map/mpm/mpmUtil.o
a - src/misc/extra/extraBddAuto.o
a - src/misc/extra/extraBddCas.o
a - src/misc/extra/extraBddImage.o
a - src/misc/extra/extraBddKmap.o
a - src/misc/extra/extraBddMisc.o
a - src/misc/extra/extraBddSymm.o
a - src/misc/extra/extraBddTime.o
a - src/misc/extra/extraBddUnate.o
a - src/misc/extra/extraUtilBitMatrix.o
a - src/misc/extra/extraUtilCanon.o
a - src/misc/extra/extraUtilCube.o
a - src/misc/extra/extraUtilDsd.o
a - src/misc/extra/extraUtilEnum.o
a - src/misc/extra/extraUtilFile.o
a - src/misc/extra/extraUtilMemory.o
a - src/misc/extra/extraUtilMisc.o
a - src/misc/extra/extraUtilPerm.o
a - src/misc/extra/extraUtilProgress.o
a - src/misc/extra/extraUtilReader.o
a - src/misc/extra/extraUtilSupp.o
a - src/misc/extra/extraUtilThresh.o
a - src/misc/extra/extraUtilTruth.o
a - src/misc/extra/extraUtilUtil.o
a - src/misc/mvc/mvcApi.o
a - src/misc/mvc/mvcCompare.o
a - src/misc/mvc/mvcContain.o
a - src/misc/mvc/mvcCover.o
a - src/misc/mvc/mvcCube.o
a - src/misc/mvc/mvcDivide.o
a - src/misc/mvc/mvcDivisor.o
a - src/misc/mvc/mvcList.o
a - src/misc/mvc/mvcLits.o
a - src/misc/mvc/mvcMan.o
a - src/misc/mvc/mvcOpAlg.o
a - src/misc/mvc/mvcOpBool.o
a - src/misc/mvc/mvcPrint.o
a - src/misc/mvc/mvcSort.o
a - src/misc/mvc/mvcUtils.o
a - src/misc/st/st.o
a - src/misc/st/stmm.o
a - src/misc/util/utilBridge.o
a - src/misc/util/utilCex.o
a - src/misc/util/utilColor.o
a - src/misc/util/utilFile.o
a - src/misc/util/utilIsop.o
a - src/misc/util/utilNam.o
a - src/misc/util/utilSignal.o
a - src/misc/util/utilSort.o
a - src/misc/nm/nmApi.o
a - src/misc/nm/nmTable.o
a - src/misc/tim/timBox.o
a - src/misc/tim/timDump.o
a - src/misc/tim/timMan.o
a - src/misc/tim/timTime.o
a - src/misc/tim/timTrav.o
a - src/misc/bzlib/blocksort.o
a - src/misc/bzlib/bzlib.o
a - src/misc/bzlib/compress.o
a - src/misc/bzlib/crctable.o
a - src/misc/bzlib/decompress.o
a - src/misc/bzlib/huffman.o
a - src/misc/bzlib/randtable.o
a - src/misc/zlib/adler32.o
a - src/misc/zlib/compress_.o
a - src/misc/zlib/crc32.o
a - src/misc/zlib/deflate.o
a - src/misc/zlib/gzclose.o
a - src/misc/zlib/gzlib.o
a - src/misc/zlib/gzread.o
a - src/misc/zlib/gzwrite.o
a - src/misc/zlib/infback.o
a - src/misc/zlib/inffast.o
a - src/misc/zlib/inflate.o
a - src/misc/zlib/inftrees.o
a - src/misc/zlib/trees.o
a - src/misc/zlib/uncompr.o
a - src/misc/zlib/zutil.o
a - src/misc/mem/mem.o
a - src/misc/bar/bar.o
a - src/misc/bbl/bblif.o
a - src/opt/cut/cutApi.o
a - src/opt/cut/cutCut.o
a - src/opt/cut/cutMan.o
a - src/opt/cut/cutMerge.o
a - src/opt/cut/cutNode.o
a - src/opt/cut/cutOracle.o
a - src/opt/cut/cutPre22.o
a - src/opt/cut/cutSeq.o
a - src/opt/cut/cutTruth.o
a - src/opt/fxu/fxu.o
a - src/opt/fxu/fxuCreate.o
a - src/opt/fxu/fxuHeapD.o
a - src/opt/fxu/fxuHeapS.o
a - src/opt/fxu/fxuList.o
a - src/opt/fxu/fxuMatrix.o
a - src/opt/fxu/fxuPair.o
a - src/opt/fxu/fxuPrint.o
a - src/opt/fxu/fxuReduce.o
a - src/opt/fxu/fxuSelect.o
a - src/opt/fxu/fxuSingle.o
a - src/opt/fxu/fxuUpdate.o
a - src/opt/rwr/rwrDec.o
a - src/opt/rwr/rwrEva.o
a - src/opt/rwr/rwrExp.o
a - src/opt/rwr/rwrLib.o
a - src/opt/rwr/rwrMan.o
a - src/opt/rwr/rwrPrint.o
a - src/opt/rwr/rwrUtil.o
a - src/opt/mfs/mfsCore.o
a - src/opt/mfs/mfsDiv.o
a - src/opt/mfs/mfsInter.o
a - src/opt/mfs/mfsMan.o
a - src/opt/mfs/mfsResub.o
a - src/opt/mfs/mfsSat.o
a - src/opt/mfs/mfsStrash.o
a - src/opt/mfs/mfsWin.o
a - src/opt/sim/simMan.o
a - src/opt/sim/simSeq.o
a - src/opt/sim/simSupp.o
a - src/opt/sim/simSwitch.o
a - src/opt/sim/simSym.o
a - src/opt/sim/simSymSat.o
a - src/opt/sim/simSymSim.o
a - src/opt/sim/simSymStr.o
a - src/opt/sim/simUtils.o
a - src/opt/ret/retArea.o
a - src/opt/ret/retCore.o
a - src/opt/ret/retDelay.o
a - src/opt/ret/retFlow.o
a - src/opt/ret/retIncrem.o
a - src/opt/ret/retInit.o
a - src/opt/ret/retLvalue.o
a - src/opt/res/resCore.o
a - src/opt/res/resDivs.o
a - src/opt/res/resFilter.o
a - src/opt/res/resSat.o
a - src/opt/res/resSim.o
a - src/opt/res/resStrash.o
a - src/opt/res/resWin.o
a - src/opt/lpk/lpkCore.o
a - src/opt/lpk/lpkAbcDec.o
a - src/opt/lpk/lpkAbcMux.o
a - src/opt/lpk/lpkAbcDsd.o
a - src/opt/lpk/lpkAbcUtil.o
a - src/opt/lpk/lpkCut.o
a - src/opt/lpk/lpkMan.o
a - src/opt/lpk/lpkMap.o
a - src/opt/lpk/lpkMulti.o
a - src/opt/lpk/lpkMux.o
a - src/opt/lpk/lpkSets.o
a - src/opt/nwk/nwkAig.o
a - src/opt/nwk/nwkCheck.o
a - src/opt/nwk/nwkBidec.o
a - src/opt/nwk/nwkDfs.o
a - src/opt/nwk/nwkFanio.o
a - src/opt/nwk/nwkFlow.o
a - src/opt/nwk/nwkMan.o
a - src/opt/nwk/nwkMap.o
a - src/opt/nwk/nwkMerge.o
a - src/opt/nwk/nwkObj.o
a - src/opt/nwk/nwkSpeedup.o
a - src/opt/nwk/nwkStrash.o
a - src/opt/nwk/nwkTiming.o
a - src/opt/nwk/nwkUtil.o
a - src/opt/rwt/rwtDec.o
a - src/opt/rwt/rwtMan.o
a - src/opt/rwt/rwtUtil.o
a - src/opt/cgt/cgtAig.o
a - src/opt/cgt/cgtCore.o
a - src/opt/cgt/cgtDecide.o
a - src/opt/cgt/cgtMan.o
a - src/opt/cgt/cgtSat.o
a - src/opt/csw/cswCore.o
a - src/opt/csw/cswCut.o
a - src/opt/csw/cswMan.o
a - src/opt/csw/cswTable.o
a - src/opt/dar/darBalance.o
a - src/opt/dar/darCore.o
a - src/opt/dar/darCut.o
a - src/opt/dar/darData.o
a - src/opt/dar/darLib.o
a - src/opt/dar/darMan.o
a - src/opt/dar/darPrec.o
a - src/opt/dar/darRefact.o
a - src/opt/dar/darScript.o
a - src/opt/dau/dauCanon.o
a - src/opt/dau/dauCore.o
a - src/opt/dau/dauDivs.o
a - src/opt/dau/dauDsd.o
a - src/opt/dau/dauEnum.o
a - src/opt/dau/dauGia.o
a - src/opt/dau/dauMerge.o
a - src/opt/dau/dauNonDsd.o
a - src/opt/dau/dauTree.o
a - src/opt/sfm/sfmCnf.o
a - src/opt/sfm/sfmCore.o
a - src/opt/sfm/sfmNtk.o
a - src/opt/sfm/sfmSat.o
a - src/opt/sfm/sfmWin.o
a - src/sat/bsat/satMem.o
a - src/sat/bsat/satInter.o
a - src/sat/bsat/satInterA.o
a - src/sat/bsat/satInterB.o
a - src/sat/bsat/satInterP.o
a - src/sat/bsat/satProof.o
a - src/sat/bsat/satSolver.o
a - src/sat/bsat/satSolver2.o
a - src/sat/bsat/satSolver2i.o
a - src/sat/bsat/satStore.o
a - src/sat/bsat/satTrace.o
a - src/sat/bsat/satTruth.o
a - src/sat/bsat/satUtil.o
a - src/sat/csat/csat_apis.o
a - src/sat/msat/msatActivity.o
a - src/sat/msat/msatClause.o
a - src/sat/msat/msatClauseVec.o
a - src/sat/msat/msatMem.o
a - src/sat/msat/msatOrderH.o
a - src/sat/msat/msatQueue.o
a - src/sat/msat/msatRead.o
a - src/sat/msat/msatSolverApi.o
a - src/sat/msat/msatSolverCore.o
a - src/sat/msat/msatSolverIo.o
a - src/sat/msat/msatSolverSearch.o
a - src/sat/msat/msatSort.o
a - src/sat/msat/msatVec.o
a - src/sat/cnf/cnfCore.o
a - src/sat/cnf/cnfCut.o
a - src/sat/cnf/cnfData.o
a - src/sat/cnf/cnfFast.o
a - src/sat/cnf/cnfMan.o
a - src/sat/cnf/cnfMap.o
a - src/sat/cnf/cnfPost.o
a - src/sat/cnf/cnfUtil.o
a - src/sat/cnf/cnfWrite.o
a - src/sat/bmc/bmcBCore.o
a - src/sat/bmc/bmcBmc.o
a - src/sat/bmc/bmcBmc2.o
a - src/sat/bmc/bmcBmc3.o
a - src/sat/bmc/bmcBmcAnd.o
a - src/sat/bmc/bmcBmci.o
a - src/sat/bmc/bmcCexCare.o
a - src/sat/bmc/bmcCexCut.o
a - src/sat/bmc/bmcCexDepth.o
a - src/sat/bmc/bmcCexMin1.o
a - src/sat/bmc/bmcCexMin2.o
a - src/sat/bmc/bmcCexTools.o
a - src/sat/bmc/bmcChain.o
a - src/sat/bmc/bmcEco.o
a - src/sat/bmc/bmcFault.o
a - src/sat/bmc/bmcICheck.o
a - src/sat/bmc/bmcInse.o
a - src/sat/bmc/bmcLoad.o
a - src/sat/bmc/bmcMaxi.o
a - src/sat/bmc/bmcMulti.o
a - src/sat/bmc/bmcUnroll.o
a - src/bool/bdc/bdcCore.o
a - src/bool/bdc/bdcDec.o
a - src/bool/bdc/bdcSpfd.o
a - src/bool/bdc/bdcTable.o
a - src/bool/dec/decAbc.o
a - src/bool/dec/decFactor.o
a - src/bool/dec/decMan.o
a - src/bool/dec/decPrint.o
a - src/bool/dec/decUtil.o
a - src/bool/kit/kitAig.o
a - src/bool/kit/kitBdd.o
a - src/bool/kit/kitCloud.o
a - src/bool/kit/cloud.o
a - src/bool/kit/kitDsd.o
a - src/bool/kit/kitFactor.o
a - src/bool/kit/kitGraph.o
a - src/bool/kit/kitHop.o
a - src/bool/kit/kitIsop.o
a - src/bool/kit/kitPla.o
a - src/bool/kit/kitSop.o
a - src/bool/kit/kitTruth.o
a - src/bool/lucky/lucky.o
a - src/bool/lucky/luckyFast16.o
a - src/bool/lucky/luckyFast6.o
a - src/bool/lucky/luckyRead.o
a - src/bool/lucky/luckySimple.o
a - src/bool/lucky/luckySwapIJ.o
a - src/bool/lucky/luckySwap.o
a - src/bool/rsb/rsbDec6.o
a - src/bool/rsb/rsbMan.o
a - src/bool/rpo/rpo.o
a - src/proof/pdr/pdrCnf.o
a - src/proof/pdr/pdrCore.o
a - src/proof/pdr/pdrInv.o
a - src/proof/pdr/pdrMan.o
a - src/proof/pdr/pdrSat.o
a - src/proof/pdr/pdrTsim.o
a - src/proof/pdr/pdrUtil.o
a - src/proof/abs/absDup.o
a - src/proof/abs/absGla.o
a - src/proof/abs/absGlaOld.o
a - src/proof/abs/absIter.o
a - src/proof/abs/absOldCex.o
a - src/proof/abs/absOldRef.o
a - src/proof/abs/absOldSat.o
a - src/proof/abs/absOldSim.o
a - src/proof/abs/absOut.o
a - src/proof/abs/absPth.o
a - src/proof/abs/absRef.o
a - src/proof/abs/absRefSelect.o
a - src/proof/abs/absRpm.o
a - src/proof/abs/absRpmOld.o
a - src/proof/abs/absVta.o
a - src/proof/abs/absUtil.o
a - src/proof/bbr/bbrCex.o
a - src/proof/bbr/bbrImage.o
a - src/proof/bbr/bbrNtbdd.o
a - src/proof/bbr/bbrReach.o
a - src/proof/llb/llb1Cluster.o
a - src/proof/llb/llb1Constr.o
a - src/proof/llb/llb1Core.o
a - src/proof/llb/llb1Group.o
a - src/proof/llb/llb1Hint.o
a - src/proof/llb/llb1Man.o
a - src/proof/llb/llb1Matrix.o
a - src/proof/llb/llb1Pivot.o
a - src/proof/llb/llb1Reach.o
a - src/proof/llb/llb1Sched.o
a - src/proof/llb/llb2Bad.o
a - src/proof/llb/llb2Core.o
a - src/proof/llb/llb2Driver.o
a - src/proof/llb/llb2Dump.o
a - src/proof/llb/llb2Flow.o
a - src/proof/llb/llb2Image.o
a - src/proof/llb/llb3Image.o
a - src/proof/llb/llb3Nonlin.o
a - src/proof/llb/llb4Cex.o
a - src/proof/llb/llb4Image.o
a - src/proof/llb/llb4Nonlin.o
a - src/proof/llb/llb4Sweep.o
a - src/proof/live/liveness.o
a - src/proof/live/liveness_sim.o
a - src/proof/live/ltl_parser.o
a - src/proof/live/kliveness.o
a - src/proof/live/monotone.o
a - src/proof/live/disjunctiveMonotone.o
a - src/proof/live/arenaViolation.o
a - src/proof/live/kLiveConstraints.o
a - src/proof/live/combination.o
a - src/proof/cec/cecCec.o
a - src/proof/cec/cecChoice.o
a - src/proof/cec/cecClass.o
a - src/proof/cec/cecCore.o
a - src/proof/cec/cecCorr.o
a - src/proof/cec/cecIso.o
a - src/proof/cec/cecMan.o
a - src/proof/cec/cecPat.o
a - src/proof/cec/cecSeq.o
a - src/proof/cec/cecSolve.o
a - src/proof/cec/cecSplit.o
a - src/proof/cec/cecSynth.o
a - src/proof/cec/cecSweep.o
a - src/proof/dch/dchAig.o
a - src/proof/dch/dchChoice.o
a - src/proof/dch/dchClass.o
a - src/proof/dch/dchCnf.o
a - src/proof/dch/dchCore.o
a - src/proof/dch/dchMan.o
a - src/proof/dch/dchSat.o
a - src/proof/dch/dchSim.o
a - src/proof/dch/dchSimSat.o
a - src/proof/dch/dchSweep.o
a - src/proof/fraig/fraigApi.o
a - src/proof/fraig/fraigCanon.o
a - src/proof/fraig/fraigFanout.o
a - src/proof/fraig/fraigFeed.o
a - src/proof/fraig/fraigMan.o
a - src/proof/fraig/fraigMem.o
a - src/proof/fraig/fraigNode.o
a - src/proof/fraig/fraigPrime.o
a - src/proof/fraig/fraigSat.o
a - src/proof/fraig/fraigTable.o
a - src/proof/fraig/fraigUtil.o
a - src/proof/fraig/fraigVec.o
a - src/proof/fra/fraBmc.o
a - src/proof/fra/fraCec.o
a - src/proof/fra/fraClass.o
a - src/proof/fra/fraClau.o
a - src/proof/fra/fraClaus.o
a - src/proof/fra/fraCnf.o
a - src/proof/fra/fraCore.o
a - src/proof/fra/fraHot.o
a - src/proof/fra/fraImp.o
a - src/proof/fra/fraInd.o
a - src/proof/fra/fraIndVer.o
a - src/proof/fra/fraLcr.o
a - src/proof/fra/fraMan.o
a - src/proof/fra/fraPart.o
a - src/proof/fra/fraSat.o
a - src/proof/fra/fraSec.o
a - src/proof/fra/fraSim.o
a - src/proof/ssw/sswAig.o
a - src/proof/ssw/sswBmc.o
a - src/proof/ssw/sswClass.o
a - src/proof/ssw/sswCnf.o
a - src/proof/ssw/sswConstr.o
a - src/proof/ssw/sswCore.o
a - src/proof/ssw/sswDyn.o
a - src/proof/ssw/sswFilter.o
a - src/proof/ssw/sswIslands.o
a - src/proof/ssw/sswLcorr.o
a - src/proof/ssw/sswMan.o
a - src/proof/ssw/sswPart.o
a - src/proof/ssw/sswPairs.o
a - src/proof/ssw/sswRarity.o
a - src/proof/ssw/sswSat.o
a - src/proof/ssw/sswSemi.o
a - src/proof/ssw/sswSim.o
a - src/proof/ssw/sswSimSat.o
a - src/proof/ssw/sswSweep.o
a - src/proof/ssw/sswUnique.o
a - src/proof/ssc/sscClass.o
a - src/proof/ssc/sscCore.o
a - src/proof/ssc/sscSat.o
a - src/proof/ssc/sscSim.o
a - src/proof/ssc/sscUtil.o
a - src/proof/int/intCheck.o
a - src/proof/int/intContain.o
a - src/proof/int/intCore.o
a - src/proof/int/intCtrex.o
a - src/proof/int/intDup.o
a - src/proof/int/intFrames.o
a - src/proof/int/intInter.o
a - src/proof/int/intM114.o
a - src/proof/int/intMan.o
a - src/proof/int/intUtil.o
a - src/aig/aig/aigCheck.o
a - src/aig/aig/aigCanon.o
a - src/aig/aig/aigCuts.o
a - src/aig/aig/aigDfs.o
a - src/aig/aig/aigDup.o
a - src/aig/aig/aigFanout.o
a - src/aig/aig/aigFrames.o
a - src/aig/aig/aigInter.o
a - src/aig/aig/aigJust.o
a - src/aig/aig/aigMan.o
a - src/aig/aig/aigMem.o
a - src/aig/aig/aigMffc.o
a - src/aig/aig/aigObj.o
a - src/aig/aig/aigOper.o
a - src/aig/aig/aigOrder.o
a - src/aig/aig/aigPack.o
a - src/aig/aig/aigPart.o
a - src/aig/aig/aigPartReg.o
a - src/aig/aig/aigPartSat.o
a - src/aig/aig/aigRepr.o
a - src/aig/aig/aigRet.o
a - src/aig/aig/aigRetF.o
a - src/aig/aig/aigScl.o
a - src/aig/aig/aigShow.o
a - src/aig/aig/aigSplit.o
a - src/aig/aig/aigTable.o
a - src/aig/aig/aigTiming.o
a - src/aig/aig/aigTruth.o
a - src/aig/aig/aigTsim.o
a - src/aig/aig/aigUtil.o
a - src/aig/aig/aigWin.o
a - src/aig/saig/saigCone.o
a - src/aig/saig/saigConstr.o
a - src/aig/saig/saigConstr2.o
a - src/aig/saig/saigDual.o
a - src/aig/saig/saigDup.o
a - src/aig/saig/saigInd.o
a - src/aig/saig/saigIoa.o
a - src/aig/saig/saigIso.o
a - src/aig/saig/saigIsoFast.o
a - src/aig/saig/saigIsoSlow.o
a - src/aig/saig/saigMiter.o
a - src/aig/saig/saigOutDec.o
a - src/aig/saig/saigPhase.o
a - src/aig/saig/saigRetFwd.o
a - src/aig/saig/saigRetMin.o
a - src/aig/saig/saigRetStep.o
a - src/aig/saig/saigScl.o
a - src/aig/saig/saigSimFast.o
a - src/aig/saig/saigSimMv.o
a - src/aig/saig/saigSimSeq.o
a - src/aig/saig/saigStrSim.o
a - src/aig/saig/saigSwitch.o
a - src/aig/saig/saigSynch.o
a - src/aig/saig/saigTempor.o
a - src/aig/saig/saigTrans.o
a - src/aig/saig/saigWnd.o
a - src/aig/gia/giaAig.o
a - src/aig/gia/giaAgi.o
a - src/aig/gia/giaAiger.o
a - src/aig/gia/giaAigerExt.o
a - src/aig/gia/giaBalAig.o
a - src/aig/gia/giaBalLut.o
a - src/aig/gia/giaBalMap.o
a - src/aig/gia/giaBidec.o
a - src/aig/gia/giaCCof.o
a - src/aig/gia/giaCex.o
a - src/aig/gia/giaClp.o
a - src/aig/gia/giaCof.o
a - src/aig/gia/giaCone.o
a - src/aig/gia/giaCSatOld.o
a - src/aig/gia/giaCSat.o
a - src/aig/gia/giaCTas.o
a - src/aig/gia/giaDfs.o
a - src/aig/gia/giaDup.o
a - src/aig/gia/giaEmbed.o
a - src/aig/gia/giaEnable.o
a - src/aig/gia/giaEquiv.o
a - src/aig/gia/giaEra.o
a - src/aig/gia/giaEra2.o
a - src/aig/gia/giaFadds.o
a - src/aig/gia/giaFalse.o
a - src/aig/gia/giaFanout.o
a - src/aig/gia/giaForce.o
a - src/aig/gia/giaFrames.o
a - src/aig/gia/giaFront.o
a - src/aig/gia/giaFx.o
a - src/aig/gia/giaGig.o
a - src/aig/gia/giaGlitch.o
a - src/aig/gia/giaHash.o
a - src/aig/gia/giaIf.o
a - src/aig/gia/giaIff.o
a - src/aig/gia/giaIso.o
a - src/aig/gia/giaIso2.o
a - src/aig/gia/giaIso3.o
a - src/aig/gia/giaJf.o
a - src/aig/gia/giaKf.o
a - src/aig/gia/giaLf.o
a - src/aig/gia/giaMf.o
a - src/aig/gia/giaMan.o
a - src/aig/gia/giaMem.o
a - src/aig/gia/giaMfs.o
a - src/aig/gia/giaMini.o
a - src/aig/gia/giaMuxes.o
a - src/aig/gia/giaNf.o
a - src/aig/gia/giaPat.o
a - src/aig/gia/giaPf.o
a - src/aig/gia/giaQbf.o
a - src/aig/gia/giaResub.o
a - src/aig/gia/giaRetime.o
a - src/aig/gia/giaScl.o
a - src/aig/gia/giaScript.o
a - src/aig/gia/giaShrink.o
a - src/aig/gia/giaShrink6.o
a - src/aig/gia/giaShrink7.o
a - src/aig/gia/giaSim.o
a - src/aig/gia/giaSim2.o
a - src/aig/gia/giaSort.o
a - src/aig/gia/giaSpeedup.o
a - src/aig/gia/giaStg.o
a - src/aig/gia/giaStr.o
a - src/aig/gia/giaSupMin.o
a - src/aig/gia/giaSweep.o
a - src/aig/gia/giaSweeper.o
a - src/aig/gia/giaSwitch.o
a - src/aig/gia/giaTim.o
a - src/aig/gia/giaTis.o
a - src/aig/gia/giaTruth.o
a - src/aig/gia/giaTsim.o
a - src/aig/gia/giaUtil.o
a - src/aig/ioa/ioaReadAig.o
a - src/aig/ioa/ioaWriteAig.o
a - src/aig/ioa/ioaUtil.o
a - src/aig/ivy/ivyBalance.o
a - src/aig/ivy/ivyCanon.o
a - src/aig/ivy/ivyCheck.o
a - src/aig/ivy/ivyCut.o
a - src/aig/ivy/ivyCutTrav.o
a - src/aig/ivy/ivyDfs.o
a - src/aig/ivy/ivyDsd.o
a - src/aig/ivy/ivyFanout.o
a - src/aig/ivy/ivyFastMap.o
a - src/aig/ivy/ivyFraig.o
a - src/aig/ivy/ivyHaig.o
a - src/aig/ivy/ivyMan.o
a - src/aig/ivy/ivyMem.o
a - src/aig/ivy/ivyMulti.o
a - src/aig/ivy/ivyObj.o
a - src/aig/ivy/ivyOper.o
a - src/aig/ivy/ivyResyn.o
a - src/aig/ivy/ivyRwr.o
a - src/aig/ivy/ivySeq.o
a - src/aig/ivy/ivyShow.o
a - src/aig/ivy/ivyTable.o
a - src/aig/ivy/ivyUtil.o
a - src/aig/hop/hopBalance.o
a - src/aig/hop/hopCheck.o
a - src/aig/hop/hopDfs.o
a - src/aig/hop/hopMan.o
a - src/aig/hop/hopMem.o
a - src/aig/hop/hopObj.o
a - src/aig/hop/hopOper.o
a - src/aig/hop/hopTable.o
a - src/aig/hop/hopTruth.o
a - src/aig/hop/hopUtil.o
Configuring abcBridge-0.15...
Building abcBridge-0.15...
Preprocessing library abcBridge-0.15...
[ 1 of 18] Compiling Data.ABC.Internal.ABCGlobal ( dist/build/Data/ABC/Internal/ABCGlobal.hs, dist/build/Data/ABC/Internal/ABCGlobal.o )
[ 2 of 18] Compiling Data.ABC.Util    ( src/Data/ABC/Util.hs, dist/build/Data/ABC/Util.o )
[ 3 of 18] Compiling Data.ABC.Internal.FRAIG ( dist/build/Data/ABC/Internal/FRAIG.hs, dist/build/Data/ABC/Internal/FRAIG.o )
[ 4 of 18] Compiling Data.ABC.Internal.Field ( src/Data/ABC/Internal/Field.hs, dist/build/Data/ABC/Internal/Field.o )
[ 5 of 18] Compiling Data.ABC.Internal.VecInt ( dist/build/Data/ABC/Internal/VecInt.hs, dist/build/Data/ABC/Internal/VecInt.o )
[ 6 of 18] Compiling Data.ABC.Internal.VecPtr ( dist/build/Data/ABC/Internal/VecPtr.hs, dist/build/Data/ABC/Internal/VecPtr.o )
[ 7 of 18] Compiling Data.ABC.Internal.GIA ( dist/build/Data/ABC/Internal/GIA.hs, dist/build/Data/ABC/Internal/GIA.o )
[ 8 of 18] Compiling Data.ABC.Internal.CEC ( dist/build/Data/ABC/Internal/CEC.hs, dist/build/Data/ABC/Internal/CEC.o )
[ 9 of 18] Compiling Data.ABC.Internal.AIG ( dist/build/Data/ABC/Internal/AIG.hs, dist/build/Data/ABC/Internal/AIG.o )
[10 of 18] Compiling Data.ABC.Internal.CNF ( dist/build/Data/ABC/Internal/CNF.hs, dist/build/Data/ABC/Internal/CNF.o )

src/Data/ABC/Internal/CNF.chs:33:1: warning: [-Wunused-imports]
    The import of ‘Foreign.C’ is redundant
      except perhaps to import instances from ‘Foreign.C’
    To import instances alone, use: import Foreign.C()
[11 of 18] Compiling Data.ABC.Internal.GiaAig ( dist/build/Data/ABC/Internal/GiaAig.hs, dist/build/Data/ABC/Internal/GiaAig.o )
[12 of 18] Compiling Data.ABC.Internal.ABC ( dist/build/Data/ABC/Internal/ABC.hs, dist/build/Data/ABC/Internal/ABC.o )
[13 of 18] Compiling Data.ABC.Internal.IO ( dist/build/Data/ABC/Internal/IO.hs, dist/build/Data/ABC/Internal/IO.o )

src/Data/ABC/Internal/IO.chs:31:1: warning: [-Wunused-imports]
    The import of ‘Foreign’ is redundant
      except perhaps to import instances from ‘Foreign’
    To import instances alone, use: import Foreign()

src/Data/ABC/Internal/IO.chs:32:1: warning: [-Wunused-imports]
    The import of ‘Foreign.C’ is redundant
      except perhaps to import instances from ‘Foreign.C’
    To import instances alone, use: import Foreign.C()
[14 of 18] Compiling Data.ABC.Internal.Orphan ( dist/build/Data/ABC/Internal/Orphan.hs, dist/build/Data/ABC/Internal/Orphan.o )
[15 of 18] Compiling Data.ABC.Internal.Main ( dist/build/Data/ABC/Internal/Main.hs, dist/build/Data/ABC/Internal/Main.o )
[16 of 18] Compiling Data.ABC.AIG     ( src/Data/ABC/AIG.hs, dist/build/Data/ABC/AIG.o )
[17 of 18] Compiling Data.ABC.GIA     ( src/Data/ABC/GIA.hs, dist/build/Data/ABC/GIA.o )

src/Data/ABC/GIA.hs:79:1: warning: [-Wdeprecations]
    Module ‘Data.ABC.AIG’:
      The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead.

src/Data/ABC/GIA.hs:205:15: warning: [-Wdeprecations]
    In the use of ‘writeAIGManToCNFWithMapping’
    (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC/GIA.hs:218:10: warning: [-Wdeprecations]
    In the use of ‘checkSat'’ (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."
[18 of 18] Compiling Data.ABC         ( src/Data/ABC.hs, dist/build/Data/ABC.o )

src/Data/ABC.hs:47:1: warning: [-Wdeprecations]
    Module ‘Data.ABC.AIG’:
      The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead.

src/Data/ABC.hs:48:1: warning: [-Wdeprecations]
    Module ‘Data.ABC.AIG’:
      The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead.

src/Data/ABC.hs:55:15: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Lit’
    (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:62:28: warning: [-Wdeprecations]
    In the use of type constructor or class ‘AIG’
    (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:63:14: warning: [-Wdeprecations]
    In the use of ‘proxy’ (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:85:50: warning: [-Wdeprecations]
    In the use of type constructor or class ‘AIG’
    (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:86:18: warning: [-Wdeprecations]
    In the use of ‘readAiger’ (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."
Running Haddock for abcBridge-0.15...
Running hscolour for abcBridge-0.15...
Preprocessing library abcBridge-0.15...
Preprocessing library abcBridge-0.15...

src/Data/ABC/Internal/CNF.chs:33:1: warning: [-Wunused-imports]
    The import of ‘Foreign.C’ is redundant
      except perhaps to import instances from ‘Foreign.C’
    To import instances alone, use: import Foreign.C()
Haddock coverage:
  60% (  3 /  5) in 'Data.ABC.Internal.ABCGlobal'
  Missing documentation for:
    Abc_Cex_t_ (src/Data/ABC/Internal/ABCGlobal.chs:53)
    Abc_Cex_t (src/Data/ABC/Internal/ABCGlobal.chs:72)
  33% (  1 /  3) in 'Data.ABC.Util'
  Missing documentation for:
    forN_ (src/Data/ABC/Util.hs:15)
    forN (src/Data/ABC/Util.hs:19)
  33% (  1 /  3) in 'Data.ABC.Internal.FRAIG'
  Missing documentation for:
    Prove_Params_t_ (src/Data/ABC/Internal/FRAIG.chs:34)
    proveParamsDefault (src/Data/ABC/Internal/FRAIG.chs:123)
  50% (  3 /  6) in 'Data.ABC.Internal.Field'
  Missing documentation for:
    Field (src/Data/ABC/Internal/Field.hs:19)
    fieldFromOffset (src/Data/ABC/Internal/Field.hs:23)
    isoFieldTarget (src/Data/ABC/Internal/Field.hs:26)
  23% (  3 / 13) in 'Data.ABC.Internal.VecInt'
  Missing documentation for:
    Vec_Int_t_ (src/Data/ABC/Internal/VecInt.chs:44)
    Vec_Int_t (src/Data/ABC/Internal/VecInt.chs:46)
    clearVecInt (src/Data/ABC/Internal/VecInt.chs:58)
    vecIntSize (src/Data/ABC/Internal/VecInt.chs:46)
    setVecIntSize (src/Data/ABC/Internal/VecInt.chs:49)
    vecIntCap (src/Data/ABC/Internal/VecInt.chs:52)
    setVecIntCap (src/Data/ABC/Internal/VecInt.chs:55)
    vecIntArray (src/Data/ABC/Internal/VecInt.chs:61)
    setVecIntArray (src/Data/ABC/Internal/VecInt.chs:64)
    withVecInt (src/Data/ABC/Internal/VecInt.chs:79)
  12% (  1 /  8) in 'Data.ABC.Internal.VecPtr'
  Missing documentation for:
    Vec_Ptr_t_ (src/Data/ABC/Internal/VecPtr.chs:42)
    Vec_Ptr_t (src/Data/ABC/Internal/VecPtr.chs:44)
    clearVec (src/Data/ABC/Internal/VecPtr.chs:45)
    vecPtrSize (src/Data/ABC/Internal/VecPtr.chs:48)
    vecPtrArray (src/Data/ABC/Internal/VecPtr.chs:51)
    vecPtrEntry (src/Data/ABC/Internal/VecPtr.chs:57)
    clearVecPtr (src/Data/ABC/Internal/VecPtr.chs:54)
  37% ( 32 / 87) in 'Data.ABC.Internal.GIA'
  Missing documentation for:
    Gia_Man_t (src/Data/ABC/Internal/GIA.chs:293)
    Gia_Man_t_ (src/Data/ABC/Internal/GIA.chs:292)
    giaManNObjs (src/Data/ABC/Internal/GIA.chs:301)
    giaManFanData (src/Data/ABC/Internal/GIA.chs:316)
    getGiaObjValue (src/Data/ABC/Internal/GIA.chs:196)
    setGiaObjValue (src/Data/ABC/Internal/GIA.chs:199)
    giaManConst0Lit (src/Data/ABC/Internal/GIA.chs:267)
    giaManConst1Lit (src/Data/ABC/Internal/GIA.chs:270)
    giaLitIsCompl (src/Data/ABC/Internal/GIA.chs:273)
    giaLitVar (src/Data/ABC/Internal/GIA.chs:276)
    giaLitNotCond (src/Data/ABC/Internal/GIA.chs:286)
    giaManCexComb (src/Data/ABC/Internal/GIA.chs:298)
    giaManConst0 (src/Data/ABC/Internal/GIA.chs:307)
    giaManCis (src/Data/ABC/Internal/GIA.chs:310)
    giaManCos (src/Data/ABC/Internal/GIA.chs:313)
    giaManCiNum (src/Data/ABC/Internal/GIA.chs:322)
    giaManCoNum (src/Data/ABC/Internal/GIA.chs:325)
    giaManPiNum (src/Data/ABC/Internal/GIA.chs:334)
    giaManPoNum (src/Data/ABC/Internal/GIA.chs:337)
    giaManAndNum (src/Data/ABC/Internal/GIA.chs:340)
    getGiaManRegNum (src/Data/ABC/Internal/GIA.chs:328)
    setGiaManRegNum (src/Data/ABC/Internal/GIA.chs:331)
    gia_none (src/Data/ABC/Internal/GIA.chs:203)
    giaObjFaninC1 (src/Data/ABC/Internal/GIA.chs:189)
    giaObjChild0 (src/Data/ABC/Internal/GIA.chs:243)
    giaObjChild1 (src/Data/ABC/Internal/GIA.chs:247)
    giaObjFaninId0 (src/Data/ABC/Internal/GIA.chs:251)
    giaObjFaninId1 (src/Data/ABC/Internal/GIA.chs:255)
    giaObjIsTerm (src/Data/ABC/Internal/GIA.chs:180)
    giaObjIsAndOrConst0 (src/Data/ABC/Internal/GIA.chs:206)
    giaManObjNum (src/Data/ABC/Internal/GIA.chs:319)
    giaLitNot (src/Data/ABC/Internal/GIA.chs:283)
    giaIsComplement (src/Data/ABC/Internal/GIA.chs:212)
    giaObjToLit (src/Data/ABC/Internal/GIA.chs:416)
    giaObjFromLit (src/Data/ABC/Internal/GIA.chs:420)
    giaManForEachObj1_ (src/Data/ABC/Internal/GIA.chs:345)
    giaManForEachCo (src/Data/ABC/Internal/GIA.chs:353)
    giaManAppendCi (src/Data/ABC/Internal/GIA.chs:363)
    giaManAppendCo (src/Data/ABC/Internal/GIA.chs:378)
    giaAigerRead (src/Data/ABC/Internal/GIA.chs:426)
    giaAigerWrite (src/Data/ABC/Internal/GIA.chs:434)
    giaManMiter (src/Data/ABC/Internal/GIA.chs:441)
    giaManDupNormalize (src/Data/ABC/Internal/GIA.chs:451)
    giaManHashAlloc (src/Data/ABC/Internal/GIA.chs:463)
    giaManHashStart (src/Data/ABC/Internal/GIA.chs:466)
    giaManHashStop (src/Data/ABC/Internal/GIA.chs:469)
    giaManHashAnd (src/Data/ABC/Internal/GIA.chs:472)
    giaManHashXor (src/Data/ABC/Internal/GIA.chs:477)
    giaManHashMux (src/Data/ABC/Internal/GIA.chs:482)
    giaManStart (src/Data/ABC/Internal/GIA.chs:499)
    giaManStop (src/Data/ABC/Internal/GIA.chs:490)
    p_giaManStop (src/Data/ABC/Internal/GIA.chs:493)
    giaManCleanup (src/Data/ABC/Internal/GIA.chs:501)
    giaManFillValue (src/Data/ABC/Internal/GIA.chs:505)
    clearGiaObj (src/Data/ABC/Internal/GIA.chs:496)
  32% (  6 / 19) in 'Data.ABC.Internal.CEC'
  Missing documentation for:
    Cec_ParCec_t_ (src/Data/ABC/Internal/CEC.chs:96)
    Cec_ParSat_t_ (src/Data/ABC/Internal/CEC.chs:55)
    cecManVerify (src/Data/ABC/Internal/CEC.chs:175)
    cecManSatDefaultParams (src/Data/ABC/Internal/CEC.chs:133)
    cecManCecDefaultParams (src/Data/ABC/Internal/CEC.chs:143)
    cecManSatSolving (src/Data/ABC/Internal/CEC.chs:168)
    Cec_ManPat_t_ (src/Data/ABC/Internal/CEC.chs:52)
    Cec_ManPat_t (src/Data/ABC/Internal/CEC.chs:53)
    cecManPatStart (src/Data/ABC/Internal/CEC.chs:152)
    cecManPatStop (src/Data/ABC/Internal/CEC.chs:154)
    cecManPatPatCount (src/Data/ABC/Internal/CEC.chs:158)
    cecManPatPrintStats (src/Data/ABC/Internal/CEC.chs:156)
    cecManSatSolve (src/Data/ABC/Internal/CEC.chs:161)
  31% ( 10 / 32) in 'Data.ABC.Internal.AIG'
  Missing documentation for:
    Aig_Type_t (src/Data/ABC/Internal/AIG.chs:60)
    Aig_Man_t_ (src/Data/ABC/Internal/AIG.chs:62)
    Aig_Obj_t_ (src/Data/ABC/Internal/AIG.chs:63)
    Aig_Man_t (src/Data/ABC/Internal/AIG.chs:65)
    Aig_Obj_t (src/Data/ABC/Internal/AIG.chs:66)
    aigRegular (src/Data/ABC/Internal/AIG.chs:71)
    aigNot (src/Data/ABC/Internal/AIG.chs:74)
    aigNotCond (src/Data/ABC/Internal/AIG.chs:77)
    aigIsComplement (src/Data/ABC/Internal/AIG.chs:80)
    aigManCiNum (src/Data/ABC/Internal/AIG.chs:91)
    aigManCoNum (src/Data/ABC/Internal/AIG.chs:94)
    aigManObjNumMax (src/Data/ABC/Internal/AIG.chs:97)
    aigManConst0 (src/Data/ABC/Internal/AIG.chs:101)
    aigManConst1 (src/Data/ABC/Internal/AIG.chs:104)
    aigManCi (src/Data/ABC/Internal/AIG.chs:107)
    aigManCo (src/Data/ABC/Internal/AIG.chs:111)
    aigObjId (src/Data/ABC/Internal/AIG.chs:118)
    aigManStart (src/Data/ABC/Internal/AIG.chs:132)
    aigManStop (src/Data/ABC/Internal/AIG.chs:130)
    p_aigManStop (src/Data/ABC/Internal/AIG.chs:127)
    aigObjCreateCi (src/Data/ABC/Internal/AIG.chs:134)
    aigObjCreateCo (src/Data/ABC/Internal/AIG.chs:136)
  27% (  3 / 11) in 'Data.ABC.Internal.CNF'
  Missing documentation for:
    Cnf_Dat_t (src/Data/ABC/Internal/CNF.chs:48)
    cnfVarNums (src/Data/ABC/Internal/CNF.chs:50)
    cnfDataWriteIntoFile (src/Data/ABC/Internal/CNF.chs:70)
    Cnf_Man_t (src/Data/ABC/Internal/CNF.chs:34)
    Cnf_Man_t_ (src/Data/ABC/Internal/CNF.chs:37)
    cnfDeriveWithMan (src/Data/ABC/Internal/CNF.chs:64)
    cnfDataFree (src/Data/ABC/Internal/CNF.chs:85)
    cnfDataWriteIntoFileWithHeader (src/Data/ABC/Internal/CNF.chs:78)
  20% (  1 /  5) in 'Data.ABC.Internal.GiaAig'
  Missing documentation for:
    Gia_AigMap_t (src/Data/ABC/Internal/GiaAig.chs:37)
    withGiaAigMap (src/Data/ABC/Internal/GiaAig.chs:45)
    aigDupGiaLit (src/Data/ABC/Internal/GiaAig.chs:48)
    giaManToAig (src/Data/ABC/Internal/GiaAig.chs:32)
  53% ( 43 / 81) in 'Data.ABC.Internal.ABC'
  Missing documentation for:
    Abc_NtkType_t (src/Data/ABC/Internal/ABC.chs:140)
    Abc_NtkFunc_t (src/Data/ABC/Internal/ABC.chs:141)
    Abc_ObjType_t (src/Data/ABC/Internal/ABC.chs:142)
    Abc_Ntk_t_ (src/Data/ABC/Internal/ABC.chs:145)
    Abc_Obj_t_ (src/Data/ABC/Internal/ABC.chs:146)
    Abc_Ntk_t (src/Data/ABC/Internal/ABC.chs:153)
    Abc_Obj_t (src/Data/ABC/Internal/ABC.chs:15
src/Data/ABC/Internal/IO.chs:31:1: warning: [-Wunused-imports]
    The import of ‘Foreign’ is redundant
      except perhaps to import instances from ‘Foreign’
    To import instances alone, use: import Foreign()

src/Data/ABC/Internal/IO.chs:32:1: warning: [-Wunused-imports]
    The import of ‘Foreign.C’ is redundant
      except perhaps to import instances from ‘Foreign.C’
    To import instances alone, use: import Foreign.C()

src/Data/ABC/GIA.hs:79:1: warning: [-Wdeprecations]
    Module ‘Data.ABC.AIG’:
      The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead.

src/Data/ABC/GIA.hs:205:15: warning: [-Wdeprecations]
    In the use of ‘writeAIGManToCNFWithMapping’
    (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC/GIA.hs:218:10: warning: [-Wdeprecations]
    In the use of ‘checkSat'’ (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:47:1: warning: [-Wdeprecations]
    Module ‘Data.ABC.AIG’:
      The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead.

src/Data/ABC.hs:48:1: warning: [-Wdeprecations]
    Module ‘Data.ABC.AIG’:
      The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead.

src/Data/ABC.hs:55:15: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Lit’
    (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:62:28: warning: [-Wdeprecations]
    In the use of type constructor or class ‘AIG’
    (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:63:14: warning: [-Wdeprecations]
    In the use of ‘proxy’ (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:85:50: warning: [-Wdeprecations]
    In the use of type constructor or class ‘AIG’
    (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."

src/Data/ABC.hs:86:18: warning: [-Wdeprecations]
    In the use of ‘readAiger’ (imported from Data.ABC.AIG):
    "The Data.ABC.AIG module has known bugs (http://github.com/GaloisInc/abcBridge/issues/4) for which solutions do not currently exist.  Consider using Data.ABC.GIA instead."
4)
    abcNtkFunc (src/Data/ABC/Internal/ABC.chs:174)
    abcNtkObj (src/Data/ABC/Internal/ABC.chs:214)
    abcNtkPiNum (src/Data/ABC/Internal/ABC.chs:219)
    abcNtkPoNum (src/Data/ABC/Internal/ABC.chs:222)
    abcNtkCiNum (src/Data/ABC/Internal/ABC.chs:225)
    abcNtkCoNum (src/Data/ABC/Internal/ABC.chs:228)
    abcNtkLatchNum (src/Data/ABC/Internal/ABC.chs:237)
    abcNtkCreateObj (src/Data/ABC/Internal/ABC.chs:166)
    Nm_Man_t_ (src/Data/ABC/Internal/ABC.chs:122)
    Nm_Man_t (src/Data/ABC/Internal/ABC.chs:124)
    nmManCreate (src/Data/ABC/Internal/ABC.chs:126)
    nmManFree (src/Data/ABC/Internal/ABC.chs:130)
    abcObjLit0 (src/Data/ABC/Internal/ABC.chs:285)
    abcObjLit1 (src/Data/ABC/Internal/ABC.chs:292)
    abcAigAnd (src/Data/ABC/Internal/ABC.chs:313)
    abcAigXor (src/Data/ABC/Internal/ABC.chs:316)
    abcAigMux (src/Data/ABC/Internal/ABC.chs:319)
    abcAigConst1 (src/Data/ABC/Internal/ABC.chs:322)
    abcAigCleanup (src/Data/ABC/Internal/ABC.chs:326)
    abcObjAddFanin (src/Data/ABC/Internal/ABC.chs:331)
    abcNtkMiter (src/Data/ABC/Internal/ABC.chs:338)
    abcNtkMiterIsConstant (src/Data/ABC/Internal/ABC.chs:347)
    abcNtkShortNames (src/Data/ABC/Internal/ABC.chs:353)
    abcNtkAlloc (src/Data/ABC/Internal/ABC.chs:359)
    abcNtkDelete (src/Data/ABC/Internal/ABC.chs:371)
    p_abcNtkDelete (src/Data/ABC/Internal/ABC.chs:376)
    abcNtkDeleteObj (src/Data/ABC/Internal/ABC.chs:381)
    abcNtkDeleteObjPo (src/Data/ABC/Internal/ABC.chs:385)
    abcNtkIvyProve (src/Data/ABC/Internal/ABC.chs:391)
    abcNtkVerifySimulatePattern (src/Data/ABC/Internal/ABC.chs:398)
    abcNtkQbf (src/Data/ABC/Internal/ABC.chs:405)
  60% (  3 /  5) in 'Data.ABC.Internal.IO'
  Missing documentation for:
    ioReadAiger (src/Data/ABC/Internal/IO.chs:33)
    ioWriteAiger (src/Data/ABC/Internal/IO.chs:35)
  50% (  2 /  4) in 'Data.ABC.Internal.Orphan'
  Missing documentation for:
    abcNtkFromAigPhase (src/Data/ABC/Internal/Orphan.chs:40)
    abcNtkToDar (src/Data/ABC/Internal/Orphan.chs:33)
  50% (  2 /  4) in 'Data.ABC.Internal.Main'
  Missing documentation for:
    abcStart (src/Data/ABC/Internal/Main.chs:27)
    abcStop (src/Data/ABC/Internal/Main.chs:26)
  72% ( 13 / 18) in 'Data.ABC.AIG'
  Missing documentation for:
    AIG (src/Data/ABC/AIG.hs:78)
    Lit (src/Data/ABC/AIG.hs:80)
    true (src/Data/ABC/AIG.hs:153)
    false (src/Data/ABC/AIG.hs:157)
    IsLit
  91% ( 21 / 23) in 'Data.ABC.GIA'
  Missing documentation for:
    proxy (src/Data/ABC/GIA.hs:94)
    IsLit
  82% ( 14 / 17) in 'Data.ABC'
  Missing documentation for:
    AIG (src/Data/ABC/AIG.hs:78)
    AIGLit (src/Data/ABC.hs:55)
    GIALit (src/Data/ABC.hs:65)
Warning: Data.ABC.Internal.GIA: could not find link destinations for:
    Gia_Obj_t_
Warning: Data.ABC.Internal.CEC: could not find link destinations for:
    Cec_ParSat_t
Warning: Data.ABC.Internal.CNF: could not find link destinations for:
    Cnf_Dat_t_
Warning: Data.ABC.Internal.ABC: could not find link destinations for:
    Abc_Aig_t
Documentation created: dist/doc/html/abcBridge/index.html,
dist/doc/html/abcBridge/abcBridge.txt
Creating package registration file:
/tmp/pkgConf-abcBridge-01459834400333480550.15
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/abcBridge-0.15-EgJLqHvab7DLUg2XBa1GeP
Registering abcBridge-0.15...
cabal: Leaving directory '/tmp/cabal-tmp-25560/abcBridge-0.15'
Installed abcBridge-0.15