Build #2 for crux-llvm-0.9
| Package | crux-llvm-0.9 |
|---|
| Install | DependencyFailed crux-llvm-0.9 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2024-08-30 21:12:15.796874064 UTC |
|---|---|
| Compiler | ghc-9.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-2.2.3.0, base-4.18.1.0, bv-sized-1.0.5, bytestring-0.11.5.2, config-schema-1.3.0.0, containers-0.6.7, crucible-0.7.1, crucible-llvm-0.7, crucible-symio-0.1.1, crux-0.7.1, directory-1.3.8.1, filepath-1.4.100.4, lens-5.3.2, llvm-pretty-0.12.1.0, llvm-pretty-bc-parser-0.4.2.0, logict-0.8.1.0, mtl-2.3.1, parameterized-utils-2.1.8.0, prettyprinter-1.7.1, process-1.6.17.0, text-2.0.2, what4-1.6, base-4.18.1.0, bytestring-0.11.5.2, containers-0.6.7, crucible-0.7.1, crucible-llvm-0.7, crucible-symio-0.1.1, crux-0.7.1, directory-1.3.8.1, filepath-1.4.100.4, lens-5.3.2, process-1.6.17.0, text-2.0.2, unix-2.8.1.0, what4-1.6, aeson-2.2.3.0, base-4.18.1.0, bytestring-0.11.5.2, containers-0.6.7, crucible-0.7.1, crucible-llvm-0.7, crucible-symio-0.1.1, crux-0.7.1, directory-1.3.8.1, filepath-1.4.100.4, lens-5.3.2, lumberjack-1.0.3.0, process-1.6.17.0, text-2.0.2, unix-2.8.1.0, websockets-0.13.0.0, what4-1.6, aeson-2.2.3.0, attoparsec-0.14.4, base-4.18.1.0, base16-bytestring-1.0.2.0, bytestring-0.11.5.2, containers-0.6.7, crucible-0.7.1, crucible-llvm-0.7, crucible-symio-0.1.1, crux-0.7.1, cryptohash-sha256-0.11.102.1, directory-1.3.8.1, extra-1.7.16, filepath-1.4.100.4, indexed-traversable-0.1.4, lens-5.3.2, process-1.6.17.0, text-2.0.2, time-1.12.2, what4-1.6 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting BoundedChan-1.0.3.0
Starting OneTuple-0.4.2
Starting StateVar-1.2.2
Starting assoc-1.1.1
Starting base16-bytestring-1.0.2.0
Starting base64-bytestring-1.2.1.0
Starting bimap-0.5.0
Starting bitwise-1.0.0.1
Starting call-stack-0.4.0
Starting clock-0.8.4
Starting config-value-0.8.3
Starting cryptohash-sha256-0.11.102.1
Starting dotgen-0.4.3
Starting dlist-1.0
Starting fingertree-0.1.5.0
Starting generically-0.1.1
Starting indexed-profunctors-0.1.1.1
Starting fgl-5.8.2.0
Starting indexed-traversable-0.1.4
Starting integer-logarithms-1.0.3.1
Starting logict-0.8.1.0
Starting microlens-0.4.13.1
Starting monadLib-3.10.1
Starting parallel-3.2.2.0
Starting parser-combinators-1.3.0
Starting primitive-0.9.0.0
Starting raw-strings-qq-1.1
Starting reflection-2.1.8
Starting s-cargot-0.1.6.0
Starting semigroups-0.20
Starting simple-get-opt-0.4
Starting split-0.2.5
Starting tagged-0.8.8
Starting syb-0.7.2.4
Starting base-orphans-0.9.2
Starting IntervalMap-0.6.2.1
Starting character-ps-0.1
Starting colour-2.3.6
Starting entropy-0.4.1.10
Starting haskell-lexer-1.1.1
Starting libyaml-clib-0.2.5
Starting network-3.2.2.0
Starting os-string-2.0.6
Starting prettyprinter-1.7.1
Starting safe-exceptions-0.1.7.4
Starting splitmix-0.1.0.5
Starting SHA-1.6.4.4
Building OneTuple-0.4.2
Building assoc-1.1.1
Building BoundedChan-1.0.3.0
Building bitwise-1.0.0.1
Building StateVar-1.2.2
Building base16-bytestring-1.0.2.0
Building bimap-0.5.0
Building base64-bytestring-1.2.1.0
Building call-stack-0.4.0
Starting base-compat-0.14.0
Building config-value-0.8.3
Building clock-0.8.4
Building cryptohash-sha256-0.11.102.1
Building dotgen-0.4.3
Building indexed-profunctors-0.1.1.1
Building dlist-1.0
Building fingertree-0.1.5.0
Building microlens-0.4.13.1
Building fgl-5.8.2.0
Building generically-0.1.1
Building parser-combinators-1.3.0
Building parallel-3.2.2.0
Building monadLib-3.10.1
Building integer-logarithms-1.0.3.1
Building indexed-traversable-0.1.4
Building logict-0.8.1.0
Building reflection-2.1.8
Building raw-strings-qq-1.1
Building primitive-0.9.0.0
Building semigroups-0.20
Building simple-get-opt-0.4
Building syb-0.7.2.4
Building tagged-0.8.8
Building s-cargot-0.1.6.0
Building split-0.2.5
Building base-orphans-0.9.2
Building IntervalMap-0.6.2.1
Building character-ps-0.1
Building haskell-lexer-1.1.1
Building colour-2.3.6
Building libyaml-clib-0.2.5
Building safe-exceptions-0.1.7.4
Building os-string-2.0.6
Building splitmix-0.1.0.5
Building SHA-1.6.4.4
Building prettyprinter-1.7.1
Building base-compat-0.14.0
Building entropy-0.4.1.10
Building network-3.2.2.0
Completed libyaml-clib-0.2.5
Starting terminal-size-0.3.4
Completed generically-0.1.1
Starting th-abstraction-0.6.0.0
Building terminal-size-0.3.4
Completed BoundedChan-1.0.3.0
Starting th-compat-0.1.5
Completed assoc-1.1.1
Starting transformers-compat-0.7.2
Completed call-stack-0.4.0
Building th-abstraction-0.6.0.0
Starting unbounded-delays-0.1.1.1
Completed integer-logarithms-1.0.3.1
Building th-compat-0.1.5
Starting unix-compat-0.7.2
Building transformers-compat-0.7.2
Completed OneTuple-0.4.2
Starting unliftio-core-0.2.1.0
Building unbounded-delays-0.1.1.1
Completed StateVar-1.2.2
Starting utf8-string-1.0.2
Completed semigroups-0.20
Starting vector-stream-0.1.0.1
Building unix-compat-0.7.2
Building unliftio-core-0.2.1.0
Completed simple-get-opt-0.4
Starting void-0.7.3
Completed base16-bytestring-1.0.2.0
Starting xml-1.3.14
Building utf8-string-1.0.2
Building vector-stream-0.1.0.1
Completed split-0.2.5
Starting zenc-0.1.2
Building void-0.7.3
Completed raw-strings-qq-1.1
Starting zlib-0.7.1.0
Building xml-1.3.14
Completed splitmix-0.1.0.5
Starting contravariant-1.5.5
Building zenc-0.1.2
Completed clock-0.8.4
Starting random-1.2.1.2
Completed parser-combinators-1.3.0
Starting extra-1.7.16
Building zlib-0.7.1.0
Completed microlens-0.4.13.1
Building contravariant-1.5.5
Building random-1.2.1.2
Completed dotgen-0.4.3
Completed logict-0.8.1.0
Building extra-1.7.16
Completed character-ps-0.1
Completed indexed-profunctors-0.1.1.1
Starting generic-lens-core-2.2.1.0
Completed base64-bytestring-1.2.1.0
Completed cryptohash-sha256-0.11.102.1
Building generic-lens-core-2.2.1.0
Completed base-orphans-0.9.2
Completed parallel-3.2.2.0
Completed syb-0.7.2.4
Starting json-0.11
Completed safe-exceptions-0.1.7.4
Completed dlist-1.0
Completed monadLib-3.10.1
Building json-0.11
Completed tagged-0.8.8
Starting boring-0.2.2
Starting distributive-0.6.2.1
Completed bimap-0.5.0
Completed bitwise-1.0.0.1
Building boring-0.2.2
Completed reflection-2.1.8
Building distributive-0.6.2.1
Completed colour-2.3.6
Starting ansi-terminal-types-1.1
Completed unbounded-delays-0.1.1.1
Starting concurrent-extra-0.7.0.12
Completed fingertree-0.1.5.0
Completed terminal-size-0.3.4
Building ansi-terminal-types-1.1
Building concurrent-extra-0.7.0.12
Completed indexed-traversable-0.1.4
Completed void-0.7.3
Completed unliftio-core-0.2.1.0
Completed zenc-0.1.2
Completed th-compat-0.1.5
Starting network-uri-2.6.4.2
Completed os-string-2.0.6
Starting hashable-1.4.7.0
Completed s-cargot-0.1.6.0
Building network-uri-2.6.4.2
Building hashable-1.4.7.0
Completed entropy-0.4.1.10
Completed unix-compat-0.7.2
Starting filemanip-0.3.6.3
Completed config-value-0.8.3
Completed prettyprinter-1.7.1
Building filemanip-0.3.6.3
Completed SHA-1.6.4.4
Completed fgl-5.8.2.0
Starting fgl-visualize-0.1.0.1
Completed contravariant-1.5.5
Completed transformers-compat-0.7.2
Starting transformers-base-0.4.6
Starting Glob-0.10.2
Building fgl-visualize-0.1.0.1
Completed IntervalMap-0.6.2.1
Completed vector-stream-0.1.0.1
Building Glob-0.10.2
Building transformers-base-0.4.6
Completed utf8-string-1.0.2
Completed th-abstraction-0.6.0.0
Starting th-lift-0.8.4
Starting boomerang-1.4.9.3
Starting microlens-th-0.4.3.15
Starting deriving-compat-0.6.6
Completed boring-0.2.2
Completed base-compat-0.14.0
Building boomerang-1.4.9.3
Starting gitrev-1.3.1
Building microlens-th-0.4.3.15
Building th-lift-0.8.4
Building deriving-compat-0.6.6
Completed primitive-0.9.0.0
Starting resourcet-1.3.0
Starting integer-conversion-0.1.1
Starting vector-0.13.1.0
Completed xml-1.3.14
Building gitrev-1.3.1
Completed zlib-0.7.1.0
Starting zlib-bindings-0.1.1.5
Building resourcet-1.3.0
Building integer-conversion-0.1.1
Building vector-0.13.1.0
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Completed ansi-terminal-types-1.1
Starting ansi-terminal-1.1.1
Building zlib-bindings-0.1.1.5
Completed concurrent-extra-0.7.0.12
Building comonad-5.0.8
Completed extra-1.7.16
Building ansi-terminal-1.1.1
Completed network-3.2.2.0
Completed generic-lens-core-2.2.1.0
Completed json-0.11
Completed random-1.2.1.2
Starting temporary-1.3
Starting QuickCheck-2.15.0.1
Completed fgl-visualize-0.1.0.1
Completed transformers-base-0.4.6
Building temporary-1.3
Building QuickCheck-2.15.0.1
Completed network-uri-2.6.4.2
Completed filemanip-0.3.6.3
Completed th-lift-0.8.4
Completed hashable-1.4.7.0
Starting uuid-types-1.0.6
Starting unordered-containers-0.2.20
Starting these-1.2.1
Starting text-short-0.1.6
Starting ordered-containers-0.2.4
Starting libBF-0.6.8
Starting data-fix-0.3.4
Starting async-2.2.5
Starting case-insensitive-1.2.1.0
Starting scientific-0.3.8.0
Starting constraints-0.14.2
Starting time-compat-1.9.7
Completed haskell-lexer-1.1.1
Starting pretty-show-1.10
Building uuid-types-1.0.6
Building unordered-containers-0.2.20
Completed gitrev-1.3.1
Building these-1.2.1
Building ordered-containers-0.2.4
Building libBF-0.6.8
Building text-short-0.1.6
Starting panic-0.4.0.1
Building time-compat-1.9.7
Building async-2.2.5
Building scientific-0.3.8.0
Building constraints-0.14.2
Building data-fix-0.3.4
Building case-insensitive-1.2.1.0
Completed ansi-terminal-1.1.1
Starting prettyprinter-ansi-terminal-1.1.3
Building pretty-show-1.10
Completed zlib-bindings-0.1.1.5
Completed integer-conversion-0.1.1
Building panic-0.4.0.1
Building prettyprinter-ansi-terminal-1.1.3
Completed Glob-0.10.2
Completed microlens-th-0.4.3.15
Starting llvm-pretty-0.12.1.0
Completed resourcet-1.3.0
Building llvm-pretty-0.12.1.0
Completed temporary-1.3
Completed comonad-5.0.8
Starting bifunctors-5.6.2
Building bifunctors-5.6.2
Completed boomerang-1.4.9.3
Completed deriving-compat-0.6.6
Completed case-insensitive-1.2.1.0
Completed prettyprinter-ansi-terminal-1.1.3
Starting lumberjack-1.0.3.0
Completed data-fix-0.3.4
Completed async-2.2.5
Starting unliftio-0.2.25.0
Starting streaming-commons-0.2.2.6
Building lumberjack-1.0.3.0
Completed panic-0.4.0.1
Completed uuid-types-1.0.6
Building unliftio-0.2.25.0
Completed time-compat-1.9.7
Building streaming-commons-0.2.2.6
Starting text-iso8601-0.1.1
Completed these-1.2.1
Starting strict-0.5.1
Completed ordered-containers-0.2.4
Completed scientific-0.3.8.0
Building text-iso8601-0.1.1
Starting megaparsec-9.6.1
Starting attoparsec-0.14.4
Building strict-0.5.1
Completed pretty-show-1.10
Completed text-short-0.1.6
Building megaparsec-9.6.1
Building attoparsec-0.14.4
Completed constraints-0.14.2
Completed libBF-0.6.8
Completed unordered-containers-0.2.20
Starting itanium-abi-0.1.2
Starting uniplate-1.6.13
Completed QuickCheck-2.15.0.1
Building itanium-abi-0.1.2
Building uniplate-1.6.13
Completed lumberjack-1.0.3.0
Completed text-iso8601-0.1.1
Completed streaming-commons-0.2.2.6
Completed bifunctors-5.6.2
Starting semigroupoids-6.0.1
Starting profunctors-5.6.2
Completed strict-0.5.1
Building profunctors-5.6.2
Building semigroupoids-6.0.1
Completed unliftio-0.2.25.0
Completed megaparsec-9.6.1
Starting versions-6.0.7
Building versions-6.0.7
Completed attoparsec-0.14.4
Starting websockets-0.13.0.0
Completed uniplate-1.6.13
Building websockets-0.13.0.0
Completed vector-0.13.1.0
Starting indexed-traversable-instances-0.1.2
Starting bitvec-1.1.5.0
Starting th-lift-instances-0.1.20
Starting hashtables-1.3.1
Starting io-streams-1.5.2.2
Building indexed-traversable-instances-0.1.2
Building bitvec-1.1.5.0
Building io-streams-1.5.2.2
Building th-lift-instances-0.1.20
Building hashtables-1.3.1
Completed profunctors-5.6.2
Starting invariant-0.6.3
Starting generic-lens-2.2.2.0
Completed itanium-abi-0.1.2
Building generic-lens-2.2.2.0
Building invariant-0.6.3
Completed th-lift-instances-0.1.20
Completed indexed-traversable-instances-0.1.2
Starting witherable-0.5
Building witherable-0.5
Completed versions-6.0.7
Completed semigroupoids-6.0.1
Starting semialign-1.3.1
Starting free-5.2
Completed websockets-0.13.0.0
Building semialign-1.3.1
Building free-5.2
Completed io-streams-1.5.2.2
Completed generic-lens-2.2.2.0
Completed hashtables-1.3.1
Completed bitvec-1.1.5.0
Starting vector-algorithms-0.9.0.2
Building vector-algorithms-0.9.0.2
Completed invariant-0.6.3
Completed witherable-0.5
Completed semialign-1.3.1
Starting aeson-2.2.3.0
Building aeson-2.2.3.0
Completed free-5.2
Starting adjunctions-4.4.2
Building adjunctions-4.4.2
Completed vector-algorithms-0.9.0.2
Starting mono-traversable-1.0.17.0
Building mono-traversable-1.0.17.0
Completed adjunctions-4.4.2
Starting kan-extensions-5.2.6
Building kan-extensions-5.2.6
Completed llvm-pretty-0.12.1.0
Starting llvm-pretty-bc-parser-0.4.2.0
Building llvm-pretty-bc-parser-0.4.2.0
Completed mono-traversable-1.0.17.0
Starting conduit-1.3.6
Completed kan-extensions-5.2.6
Starting config-schema-1.3.0.0
Starting lens-5.3.2
Building conduit-1.3.6
Building config-schema-1.3.0.0
Building lens-5.3.2
Completed aeson-2.2.3.0
Completed config-schema-1.3.0.0
Completed llvm-pretty-bc-parser-0.4.2.0
Completed conduit-1.3.6
Starting libyaml-0.1.4
Building libyaml-0.1.4
Completed libyaml-0.1.4
Starting yaml-0.11.11.2
Building yaml-0.11.11.2
Completed yaml-0.11.11.2
Completed lens-5.3.2
Starting parameterized-utils-2.1.8.0
Building parameterized-utils-2.1.8.0
Completed parameterized-utils-2.1.8.0
Starting bv-sized-1.0.5
Building bv-sized-1.0.5
Completed bv-sized-1.0.5
Starting what4-1.6
Building what4-1.6
Completed what4-1.6
Starting crucible-0.7.1
Building crucible-0.7.1
Failed to install crucible-0.7.1
Build log ( /home/builder/.cabal/logs/ghc-9.6.3/crucible-0.7.1-DuJCVZMK1ajFiWUFfBNoUy.log ):
cabal: Entering directory '/tmp/cabal-tmp-2588933/crucible-0.7.1'
Configuring crucible-0.7.1...
Preprocessing library for crucible-0.7.1..
Building library for crucible-0.7.1..
[ 1 of 58] Compiling Lang.Crucible.Backend.ProofGoals ( src/Lang/Crucible/Backend/ProofGoals.hs, dist/build/Lang/Crucible/Backend/ProofGoals.o, dist/build/Lang/Crucible/Backend/ProofGoals.dyn_o )
[ 2 of 58] Compiling Lang.Crucible.Panic ( src/Lang/Crucible/Panic.hs, dist/build/Lang/Crucible/Panic.o, dist/build/Lang/Crucible/Panic.dyn_o )
[ 3 of 58] Compiling Lang.Crucible.Backend.AssumptionStack ( src/Lang/Crucible/Backend/AssumptionStack.hs, dist/build/Lang/Crucible/Backend/AssumptionStack.o, dist/build/Lang/Crucible/Backend/AssumptionStack.dyn_o )
[ 4 of 58] Compiling Lang.Crucible.Simulator.SimError ( src/Lang/Crucible/Simulator/SimError.hs, dist/build/Lang/Crucible/Simulator/SimError.o, dist/build/Lang/Crucible/Simulator/SimError.dyn_o )
[ 5 of 58] Compiling Lang.Crucible.Backend.Assumptions ( src/Lang/Crucible/Backend/Assumptions.hs, dist/build/Lang/Crucible/Backend/Assumptions.o, dist/build/Lang/Crucible/Backend/Assumptions.dyn_o )
[ 6 of 58] Compiling Lang.Crucible.Backend ( src/Lang/Crucible/Backend.hs, dist/build/Lang/Crucible/Backend.o, dist/build/Lang/Crucible/Backend.dyn_o )
[ 7 of 58] Compiling Lang.Crucible.Backend.Simple ( src/Lang/Crucible/Backend/Simple.hs, dist/build/Lang/Crucible/Backend/Simple.o, dist/build/Lang/Crucible/Backend/Simple.dyn_o )
[ 8 of 58] Compiling Lang.Crucible.Backend.Online ( src/Lang/Crucible/Backend/Online.hs, dist/build/Lang/Crucible/Backend/Online.o, dist/build/Lang/Crucible/Backend/Online.dyn_o )
[ 9 of 58] Compiling Lang.Crucible.Types ( src/Lang/Crucible/Types.hs, dist/build/Lang/Crucible/Types.o, dist/build/Lang/Crucible/Types.dyn_o )
[10 of 58] Compiling Lang.Crucible.Simulator.SymSequence ( src/Lang/Crucible/Simulator/SymSequence.hs, dist/build/Lang/Crucible/Simulator/SymSequence.o, dist/build/Lang/Crucible/Simulator/SymSequence.dyn_o )
[11 of 58] Compiling Lang.Crucible.Simulator.Intrinsics ( src/Lang/Crucible/Simulator/Intrinsics.hs, dist/build/Lang/Crucible/Simulator/Intrinsics.o, dist/build/Lang/Crucible/Simulator/Intrinsics.dyn_o )
[12 of 58] Compiling Lang.Crucible.FunctionHandle ( src/Lang/Crucible/FunctionHandle.hs, dist/build/Lang/Crucible/FunctionHandle.o, dist/build/Lang/Crucible/FunctionHandle.dyn_o )
[13 of 58] Compiling Lang.Crucible.CFG.Extension ( src/Lang/Crucible/CFG/Extension.hs, dist/build/Lang/Crucible/CFG/Extension.o, dist/build/Lang/Crucible/CFG/Extension.dyn_o )
[14 of 58] Compiling Lang.Crucible.CFG.Common ( src/Lang/Crucible/CFG/Common.hs, dist/build/Lang/Crucible/CFG/Common.o, dist/build/Lang/Crucible/CFG/Common.dyn_o )
[15 of 58] Compiling Lang.Crucible.Utils.BitSet ( src/Lang/Crucible/Utils/BitSet.hs, dist/build/Lang/Crucible/Utils/BitSet.o, dist/build/Lang/Crucible/Utils/BitSet.dyn_o )
[16 of 58] Compiling Lang.Crucible.Utils.MonadVerbosity ( src/Lang/Crucible/Utils/MonadVerbosity.hs, dist/build/Lang/Crucible/Utils/MonadVerbosity.o, dist/build/Lang/Crucible/Utils/MonadVerbosity.dyn_o )
[17 of 58] Compiling Lang.Crucible.Utils.MuxTree ( src/Lang/Crucible/Utils/MuxTree.hs, dist/build/Lang/Crucible/Utils/MuxTree.o, dist/build/Lang/Crucible/Utils/MuxTree.dyn_o )
[18 of 58] Compiling Lang.Crucible.Simulator.RegValue ( src/Lang/Crucible/Simulator/RegValue.hs, dist/build/Lang/Crucible/Simulator/RegValue.o, dist/build/Lang/Crucible/Simulator/RegValue.dyn_o )
[19 of 58] Compiling Lang.Crucible.Utils.PrettyPrint ( src/Lang/Crucible/Utils/PrettyPrint.hs, dist/build/Lang/Crucible/Utils/PrettyPrint.o, dist/build/Lang/Crucible/Utils/PrettyPrint.dyn_o )
[20 of 58] Compiling Lang.Crucible.Utils.Seconds ( src/Lang/Crucible/Utils/Seconds.hs, dist/build/Lang/Crucible/Utils/Seconds.o, dist/build/Lang/Crucible/Utils/Seconds.dyn_o )
[21 of 58] Compiling Lang.Crucible.Utils.StateContT ( src/Lang/Crucible/Utils/StateContT.hs, dist/build/Lang/Crucible/Utils/StateContT.o, dist/build/Lang/Crucible/Utils/StateContT.dyn_o )
[22 of 58] Compiling Lang.Crucible.Utils.Structural ( src/Lang/Crucible/Utils/Structural.hs, dist/build/Lang/Crucible/Utils/Structural.o, dist/build/Lang/Crucible/Utils/Structural.dyn_o )
[23 of 58] Compiling Lang.Crucible.CFG.Expr ( src/Lang/Crucible/CFG/Expr.hs, dist/build/Lang/Crucible/CFG/Expr.o, dist/build/Lang/Crucible/CFG/Expr.dyn_o )
[24 of 58] Compiling Lang.Crucible.Syntax ( src/Lang/Crucible/Syntax.hs, dist/build/Lang/Crucible/Syntax.o, dist/build/Lang/Crucible/Syntax.dyn_o )
[25 of 58] Compiling Lang.Crucible.CFG.Reg ( src/Lang/Crucible/CFG/Reg.hs, dist/build/Lang/Crucible/CFG/Reg.o, dist/build/Lang/Crucible/CFG/Reg.dyn_o )
[26 of 58] Compiling Lang.Crucible.Utils.RegRewrite ( src/Lang/Crucible/Utils/RegRewrite.hs, dist/build/Lang/Crucible/Utils/RegRewrite.o, dist/build/Lang/Crucible/Utils/RegRewrite.dyn_o )
[27 of 58] Compiling Lang.Crucible.CFG.EarlyMergeLoops ( src/Lang/Crucible/CFG/EarlyMergeLoops.hs, dist/build/Lang/Crucible/CFG/EarlyMergeLoops.o, dist/build/Lang/Crucible/CFG/EarlyMergeLoops.dyn_o )
[28 of 58] Compiling Lang.Crucible.CFG.Core ( src/Lang/Crucible/CFG/Core.hs, dist/build/Lang/Crucible/CFG/Core.o, dist/build/Lang/Crucible/CFG/Core.dyn_o )
[29 of 58] Compiling Lang.Crucible.Utils.CoreRewrite ( src/Lang/Crucible/Utils/CoreRewrite.hs, dist/build/Lang/Crucible/Utils/CoreRewrite.o, dist/build/Lang/Crucible/Utils/CoreRewrite.dyn_o )
[30 of 58] Compiling Lang.Crucible.Simulator.RegMap ( src/Lang/Crucible/Simulator/RegMap.hs, dist/build/Lang/Crucible/Simulator/RegMap.o, dist/build/Lang/Crucible/Simulator/RegMap.dyn_o )
[31 of 58] Compiling Lang.Crucible.Simulator.Evaluation ( src/Lang/Crucible/Simulator/Evaluation.hs, dist/build/Lang/Crucible/Simulator/Evaluation.o, dist/build/Lang/Crucible/Simulator/Evaluation.dyn_o )
[32 of 58] Compiling Lang.Crucible.Concretize ( src/Lang/Crucible/Concretize.hs, dist/build/Lang/Crucible/Concretize.o, dist/build/Lang/Crucible/Concretize.dyn_o )
src/Lang/Crucible/Concretize.hs:561:17: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
561 | BoolRepr -> W4GE.groundToSym sym BaseBoolRepr v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:562:21: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
562 | BVRepr width -> W4GE.groundToSym sym (BaseBVRepr width) v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:563:24: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
563 | ComplexRealRepr -> W4GE.groundToSym sym BaseComplexRepr v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:569:17: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
569 | sv <- W4GE.groundToSym sym (floatInfoToBVTypeRepr fi) v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:573:26: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
573 | IEEEFloatRepr fpp -> W4GE.groundToSym sym (BaseFloatRepr fpp) v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:574:20: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
574 | IntegerRepr -> W4GE.groundToSym sym BaseIntegerRepr v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:575:41: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
575 | NatRepr -> W4I.integerToNat sym =<< W4GE.groundToSym sym BaseIntegerRepr v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:576:20: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
576 | RealValRepr -> W4GE.groundToSym sym BaseRealRepr v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:577:22: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
577 | StringRepr si -> W4GE.groundToSym sym (BaseStringRepr si) v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:578:35: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
578 | SymbolicArrayRepr idxs tp' -> W4GE.groundToSym sym (BaseArrayRepr idxs tp') v
| ^^^^^^^^^^^^^^^^
src/Lang/Crucible/Concretize.hs:579:31: error: [GHC-76037]
Not in scope: W4GE.groundToSym
NB: the module What4.Expr.GroundEval does not export groundToSym.
|
579 | SymbolicStructRepr tys -> W4GE.groundToSym sym (BaseStructRepr tys) v
| ^^^^^^^^^^^^^^^^
[33 of 58] Compiling Lang.Crucible.Simulator.GlobalState ( src/Lang/Crucible/Simulator/GlobalState.hs, dist/build/Lang/Crucible/Simulator/GlobalState.o, dist/build/Lang/Crucible/Simulator/GlobalState.dyn_o )
[34 of 58] Compiling Lang.Crucible.CFG.Generator ( src/Lang/Crucible/CFG/Generator.hs, dist/build/Lang/Crucible/CFG/Generator.o, dist/build/Lang/Crucible/CFG/Generator.dyn_o )
[35 of 58] Compiling Lang.Crucible.CFG.ExtractSubgraph ( src/Lang/Crucible/CFG/ExtractSubgraph.hs, dist/build/Lang/Crucible/CFG/ExtractSubgraph.o, dist/build/Lang/Crucible/CFG/ExtractSubgraph.dyn_o )
[36 of 58] Compiling Lang.Crucible.Analysis.Reachable ( src/Lang/Crucible/Analysis/Reachable.hs, dist/build/Lang/Crucible/Analysis/Reachable.o, dist/build/Lang/Crucible/Analysis/Reachable.dyn_o )
[37 of 58] Compiling Lang.Crucible.CFG.SSAConversion ( src/Lang/Crucible/CFG/SSAConversion.hs, dist/build/Lang/Crucible/CFG/SSAConversion.o, dist/build/Lang/Crucible/CFG/SSAConversion.dyn_o )
[38 of 58] Compiling Lang.Crucible.Analysis.Postdom ( src/Lang/Crucible/Analysis/Postdom.hs, dist/build/Lang/Crucible/Analysis/Postdom.o, dist/build/Lang/Crucible/Analysis/Postdom.dyn_o )
[39 of 58] Compiling Lang.Crucible.Simulator.CallFrame ( src/Lang/Crucible/Simulator/CallFrame.hs, dist/build/Lang/Crucible/Simulator/CallFrame.o, dist/build/Lang/Crucible/Simulator/CallFrame.dyn_o )
[40 of 58] Compiling Lang.Crucible.Simulator.ExecutionTree ( src/Lang/Crucible/Simulator/ExecutionTree.hs, dist/build/Lang/Crucible/Simulator/ExecutionTree.o, dist/build/Lang/Crucible/Simulator/ExecutionTree.dyn_o )
[41 of 58] Compiling Lang.Crucible.Simulator.Operations ( src/Lang/Crucible/Simulator/Operations.hs, dist/build/Lang/Crucible/Simulator/Operations.o, dist/build/Lang/Crucible/Simulator/Operations.dyn_o )
[42 of 58] Compiling Lang.Crucible.Simulator.EvalStmt ( src/Lang/Crucible/Simulator/EvalStmt.hs, dist/build/Lang/Crucible/Simulator/EvalStmt.o, dist/build/Lang/Crucible/Simulator/EvalStmt.dyn_o )
[43 of 58] Compiling Lang.Crucible.Simulator.Profiling ( src/Lang/Crucible/Simulator/Profiling.hs, dist/build/Lang/Crucible/Simulator/Profiling.o, dist/build/Lang/Crucible/Simulator/Profiling.dyn_o )
[44 of 58] Compiling Lang.Crucible.Simulator.PositionTracking ( src/Lang/Crucible/Simulator/PositionTracking.hs, dist/build/Lang/Crucible/Simulator/PositionTracking.o, dist/build/Lang/Crucible/Simulator/PositionTracking.dyn_o )
[45 of 58] Compiling Lang.Crucible.Simulator.PathSplitting ( src/Lang/Crucible/Simulator/PathSplitting.hs, dist/build/Lang/Crucible/Simulator/PathSplitting.o, dist/build/Lang/Crucible/Simulator/PathSplitting.dyn_o )
[46 of 58] Compiling Lang.Crucible.Simulator.PathSatisfiability ( src/Lang/Crucible/Simulator/PathSatisfiability.hs, dist/build/Lang/Crucible/Simulator/PathSatisfiability.o, dist/build/Lang/Crucible/Simulator/PathSatisfiability.dyn_o )
[47 of 58] Compiling Lang.Crucible.Simulator.OverrideSim ( src/Lang/Crucible/Simulator/OverrideSim.hs, dist/build/Lang/Crucible/Simulator/OverrideSim.o, dist/build/Lang/Crucible/Simulator/OverrideSim.dyn_o )
[48 of 58] Compiling Lang.Crucible.Simulator.BoundedRecursion ( src/Lang/Crucible/Simulator/BoundedRecursion.hs, dist/build/Lang/Crucible/Simulator/BoundedRecursion.o, dist/build/Lang/Crucible/Simulator/BoundedRecursion.dyn_o )
[49 of 58] Compiling Lang.Crucible.Simulator ( src/Lang/Crucible/Simulator.hs, dist/build/Lang/Crucible/Simulator.o, dist/build/Lang/Crucible/Simulator.dyn_o )
[50 of 58] Compiling Lang.Crucible.Simulator.Breakpoint ( src/Lang/Crucible/Simulator/Breakpoint.hs, dist/build/Lang/Crucible/Simulator/Breakpoint.o, dist/build/Lang/Crucible/Simulator/Breakpoint.dyn_o )
[51 of 58] Compiling Lang.Crucible.Analysis.Fixpoint.Components ( src/Lang/Crucible/Analysis/Fixpoint/Components.hs, dist/build/Lang/Crucible/Analysis/Fixpoint/Components.o, dist/build/Lang/Crucible/Analysis/Fixpoint/Components.dyn_o )
[52 of 58] Compiling Lang.Crucible.Simulator.BoundedExec ( src/Lang/Crucible/Simulator/BoundedExec.hs, dist/build/Lang/Crucible/Simulator/BoundedExec.o, dist/build/Lang/Crucible/Simulator/BoundedExec.dyn_o )
[53 of 58] Compiling Lang.Crucible.Analysis.Fixpoint ( src/Lang/Crucible/Analysis/Fixpoint.hs, dist/build/Lang/Crucible/Analysis/Fixpoint.o, dist/build/Lang/Crucible/Analysis/Fixpoint.dyn_o )
[54 of 58] Compiling Lang.Crucible.Analysis.DFS ( src/Lang/Crucible/Analysis/DFS.hs, dist/build/Lang/Crucible/Analysis/DFS.o, dist/build/Lang/Crucible/Analysis/DFS.dyn_o )
[55 of 58] Compiling Lang.Crucible.Analysis.ForwardDataflow ( src/Lang/Crucible/Analysis/ForwardDataflow.hs, dist/build/Lang/Crucible/Analysis/ForwardDataflow.o, dist/build/Lang/Crucible/Analysis/ForwardDataflow.dyn_o )
[56 of 58] Compiling Lang.Crucible.Utils.Timeout ( src/Lang/Crucible/Utils/Timeout.hs, dist/build/Lang/Crucible/Utils/Timeout.o, dist/build/Lang/Crucible/Utils/Timeout.dyn_o )
[57 of 58] Compiling Lang.Crucible.Backend.Prove ( src/Lang/Crucible/Backend/Prove.hs, dist/build/Lang/Crucible/Backend/Prove.o, dist/build/Lang/Crucible/Backend/Prove.dyn_o )
[58 of 58] Compiling Lang.Crucible.Vector ( src/Lang/Crucible/Vector.hs, dist/build/Lang/Crucible/Vector.o, dist/build/Lang/Crucible/Vector.dyn_o )
cabal: Leaving directory '/tmp/cabal-tmp-2588933/crucible-0.7.1'
Error: cabal: Some packages failed to install:
crucible-0.7.1-DuJCVZMK1ajFiWUFfBNoUy failed during the building phase. The
exception was:
ExitFailure 1
crucible-llvm-0.7-3cPexNPd5El1apjOkrTWyE depends on crucible-llvm-0.7 which
failed to install.
crucible-symio-0.1.1-AtevR1hrX315e5bzQLyn8j depends on crucible-symio-0.1.1
which failed to install.
crux-0.7.1-4YeAg1UMxi2CYzP9yRioxG depends on crux-0.7.1 which failed to
install.
crux-llvm-0.9-FF2kP7M5Ned1NesKW5PMkj depends on crux-llvm-0.9 which failed to
install.
Test log
No test log was submitted for this report.