Build #2 for crucible-symio-0.1.1
| Package | crucible-symio-0.1.1 |
|---|
| Install | DependencyFailed crucible-symio-0.1.1 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2024-08-30 21:28:47.76891312 UTC |
|---|---|
| Compiler | ghc-9.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | IntervalMap-0.6.2.1, aeson-2.2.3.0, base-4.18.1.0, bv-sized-1.0.5, bytestring-0.11.5.2, containers-0.6.7, crucible-0.7.1, directory-1.3.8.1, filemanip-0.3.6.3, filepath-1.4.100.4, lens-5.3.2, mtl-2.3.1, parameterized-utils-2.1.8.0, text-2.0.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 bimap-0.5.0
Starting base-orphans-0.9.2
Starting bitwise-1.0.0.1
Starting character-ps-0.1
Starting dlist-1.0
Starting generically-0.1.1
Starting fingertree-0.1.5.0
Starting indexed-traversable-0.1.4
Starting integer-logarithms-1.0.3.1
Starting parallel-3.2.2.0
Starting parser-combinators-1.3.0
Starting reflection-2.1.8
Starting prettyprinter-1.7.1
Starting s-cargot-0.1.6.0
Starting safe-exceptions-0.1.7.4
Starting semigroups-0.20
Starting splitmix-0.1.0.5
Starting tagged-0.8.8
Starting th-abstraction-0.6.0.0
Starting th-compat-0.1.5
Building StateVar-1.2.2
Starting unbounded-delays-0.1.1.1
Starting unliftio-core-0.2.1.0
Starting utf8-string-1.0.2
Starting vector-stream-0.1.0.1
Starting zenc-0.1.2
Building OneTuple-0.4.2
Building BoundedChan-1.0.3.0
Building base-orphans-0.9.2
Building assoc-1.1.1
Building character-ps-0.1
Building bimap-0.5.0
Building bitwise-1.0.0.1
Starting IntervalMap-0.6.2.1
Starting call-stack-0.4.0
Starting config-value-0.8.3
Building indexed-traversable-0.1.4
Building dlist-1.0
Starting primitive-0.9.0.0
Starting network-3.2.2.0
Building generically-0.1.1
Starting unix-compat-0.7.2
Starting zlib-0.7.1.0
Building fingertree-0.1.5.0
Starting fgl-5.8.2.0
Building parallel-3.2.2.0
Starting transformers-compat-0.7.2
Starting void-0.7.3
Starting os-string-2.0.6
Starting syb-0.7.2.4
Building integer-logarithms-1.0.3.1
Building parser-combinators-1.3.0
Building reflection-2.1.8
Building prettyprinter-1.7.1
Building safe-exceptions-0.1.7.4
Building s-cargot-0.1.6.0
Building splitmix-0.1.0.5
Building semigroups-0.20
Building tagged-0.8.8
Building th-abstraction-0.6.0.0
Building th-compat-0.1.5
Building unbounded-delays-0.1.1.1
Building unliftio-core-0.2.1.0
Building utf8-string-1.0.2
Starting base-compat-0.14.0
Building zenc-0.1.2
Building vector-stream-0.1.0.1
Building IntervalMap-0.6.2.1
Building call-stack-0.4.0
Building config-value-0.8.3
Building primitive-0.9.0.0
Building unix-compat-0.7.2
Building fgl-5.8.2.0
Building zlib-0.7.1.0
Building transformers-compat-0.7.2
Building void-0.7.3
Building os-string-2.0.6
Building syb-0.7.2.4
Building base-compat-0.14.0
Building network-3.2.2.0
Completed semigroups-0.20
Completed BoundedChan-1.0.3.0
Completed assoc-1.1.1
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Completed zenc-0.1.2
Completed generically-0.1.1
Building contravariant-1.5.5
Completed integer-logarithms-1.0.3.1
Completed call-stack-0.4.0
Completed unbounded-delays-0.1.1.1
Starting concurrent-extra-0.7.0.12
Completed unliftio-core-0.2.1.0
Completed void-0.7.3
Completed OneTuple-0.4.2
Building concurrent-extra-0.7.0.12
Completed parser-combinators-1.3.0
Completed character-ps-0.1
Completed th-compat-0.1.5
Starting network-uri-2.6.4.2
Completed splitmix-0.1.0.5
Starting random-1.2.1.2
Completed dlist-1.0
Building network-uri-2.6.4.2
Completed safe-exceptions-0.1.7.4
Completed base-orphans-0.9.2
Building random-1.2.1.2
Completed parallel-3.2.2.0
Completed tagged-0.8.8
Starting boring-0.2.2
Starting distributive-0.6.2.1
Completed syb-0.7.2.4
Starting json-0.11
Completed vector-stream-0.1.0.1
Building boring-0.2.2
Building distributive-0.6.2.1
Completed utf8-string-1.0.2
Building json-0.11
Completed bimap-0.5.0
Completed bitwise-1.0.0.1
Completed reflection-2.1.8
Completed unix-compat-0.7.2
Starting filemanip-0.3.6.3
Completed transformers-compat-0.7.2
Starting transformers-base-0.4.6
Completed fingertree-0.1.5.0
Building filemanip-0.3.6.3
Completed indexed-traversable-0.1.4
Building transformers-base-0.4.6
Completed th-abstraction-0.6.0.0
Starting th-lift-0.8.4
Starting deriving-compat-0.6.6
Completed zlib-0.7.1.0
Starting zlib-bindings-0.1.1.5
Completed contravariant-1.5.5
Building th-lift-0.8.4
Building deriving-compat-0.6.6
Completed s-cargot-0.1.6.0
Building zlib-bindings-0.1.1.5
Completed os-string-2.0.6
Starting hashable-1.4.7.0
Completed concurrent-extra-0.7.0.12
Completed config-value-0.8.3
Completed prettyprinter-1.7.1
Building hashable-1.4.7.0
Completed IntervalMap-0.6.2.1
Completed fgl-5.8.2.0
Completed boring-0.2.2
Completed base-compat-0.14.0
Starting gitrev-1.3.1
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Completed primitive-0.9.0.0
Starting integer-conversion-0.1.1
Starting vector-0.13.1.0
Building gitrev-1.3.1
Completed transformers-base-0.4.6
Building comonad-5.0.8
Building integer-conversion-0.1.1
Building vector-0.13.1.0
Completed network-uri-2.6.4.2
Completed network-3.2.2.0
Completed zlib-bindings-0.1.1.5
Completed th-lift-0.8.4
Completed json-0.11
Completed filemanip-0.3.6.3
Completed random-1.2.1.2
Starting temporary-1.3
Starting QuickCheck-2.15.0.1
Building QuickCheck-2.15.0.1
Building temporary-1.3
Completed gitrev-1.3.1
Starting panic-0.4.0.1
Completed integer-conversion-0.1.1
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 scientific-0.3.8.0
Starting ordered-containers-0.2.4
Starting data-fix-0.3.4
Starting case-insensitive-1.2.1.0
Starting async-2.2.5
Starting libBF-0.6.8
Starting constraints-0.14.2
Building panic-0.4.0.1
Starting time-compat-1.9.7
Building unordered-containers-0.2.20
Building these-1.2.1
Building text-short-0.1.6
Completed comonad-5.0.8
Building scientific-0.3.8.0
Building ordered-containers-0.2.4
Building data-fix-0.3.4
Building case-insensitive-1.2.1.0
Building uuid-types-1.0.6
Building async-2.2.5
Starting bifunctors-5.6.2
Building libBF-0.6.8
Building constraints-0.14.2
Building time-compat-1.9.7
Building bifunctors-5.6.2
Completed deriving-compat-0.6.6
Completed temporary-1.3
Completed panic-0.4.0.1
Completed case-insensitive-1.2.1.0
Completed async-2.2.5
Starting unliftio-0.2.25.0
Building unliftio-0.2.25.0
Completed data-fix-0.3.4
Completed uuid-types-1.0.6
Completed time-compat-1.9.7
Starting text-iso8601-0.1.1
Completed ordered-containers-0.2.4
Completed these-1.2.1
Starting strict-0.5.1
Building text-iso8601-0.1.1
Completed text-short-0.1.6
Completed scientific-0.3.8.0
Starting megaparsec-9.6.1
Building strict-0.5.1
Starting attoparsec-0.14.4
Completed libBF-0.6.8
Building megaparsec-9.6.1
Building attoparsec-0.14.4
Completed constraints-0.14.2
Completed unordered-containers-0.2.20
Completed bifunctors-5.6.2
Starting profunctors-5.6.2
Starting semigroupoids-6.0.1
Completed QuickCheck-2.15.0.1
Building profunctors-5.6.2
Building semigroupoids-6.0.1
Completed text-iso8601-0.1.1
Completed strict-0.5.1
Completed unliftio-0.2.25.0
Completed megaparsec-9.6.1
Starting versions-6.0.7
Completed attoparsec-0.14.4
Building versions-6.0.7
Completed vector-0.13.1.0
Starting th-lift-instances-0.1.20
Starting indexed-traversable-instances-0.1.2
Starting io-streams-1.5.2.2
Starting hashtables-1.3.1
Completed profunctors-5.6.2
Starting invariant-0.6.3
Building th-lift-instances-0.1.20
Building indexed-traversable-instances-0.1.2
Building io-streams-1.5.2.2
Building hashtables-1.3.1
Building invariant-0.6.3
Completed semigroupoids-6.0.1
Starting free-5.2
Building free-5.2
Completed th-lift-instances-0.1.20
Completed indexed-traversable-instances-0.1.2
Starting semialign-1.3.1
Starting witherable-0.5
Building semialign-1.3.1
Building witherable-0.5
Completed versions-6.0.7
Completed invariant-0.6.3
Completed io-streams-1.5.2.2
Completed hashtables-1.3.1
Completed semialign-1.3.1
Completed witherable-0.5
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 adjunctions-4.4.2
Starting kan-extensions-5.2.6
Building kan-extensions-5.2.6
Completed kan-extensions-5.2.6
Starting lens-5.3.2
Building lens-5.3.2
Completed aeson-2.2.3.0
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-2643400/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-2643400/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-symio-0.1.1-AtevR1hrX315e5bzQLyn8j depends on crucible-symio-0.1.1
which failed to install.
Test log
No test log was submitted for this report.