[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_archlinux_3 #35643
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Sat Jul 21 19:50:19 BST 2018
See <https://jenkins.debian.net/job/reproducible_builder_archlinux_3/35643/display/redirect>
------------------------------------------
[...truncated 104.75 KB...]
[22 of 99] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.dyn_o )
[23 of 99] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.dyn_o )
[24 of 99] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.dyn_o )
[25 of 99] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist/build/Data/SBV/Provers/ABC.dyn_o )
[26 of 99] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist/build/Data/SBV/Control/Utils.dyn_o )
[27 of 99] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist/build/Data/SBV/Control/Query.dyn_o )
[28 of 99] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist/build/Data/SBV/Control.dyn_o )
[29 of 99] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.dyn_o )
[30 of 99] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist/build/Data/SBV/Core/Model.dyn_o )
[31 of 99] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist/build/Data/SBV/Tools/STree.dyn_o )
[32 of 99] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.dyn_o )
[33 of 99] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist/build/Data/SBV/Tools/Overflow.dyn_o )
[34 of 99] Compiling Data.SBV.String ( Data/SBV/String.hs, dist/build/Data/SBV/String.dyn_o )
[35 of 99] Compiling Data.SBV.Core.Splittable ( Data/SBV/Core/Splittable.hs, dist/build/Data/SBV/Core/Splittable.dyn_o )
[36 of 99] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist/build/Data/SBV/Core/Floating.dyn_o )
[37 of 99] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist/build/Data/SBV/Char.dyn_o )
[38 of 99] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist/build/Data/SBV/RegExp.dyn_o )
[39 of 99] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.dyn_o )
[40 of 99] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.dyn_o )
[41 of 99] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist/build/Data/SBV/Tools/CodeGen.dyn_o )
[42 of 99] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.dyn_o )
[43 of 99] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.dyn_o )
[44 of 99] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist/build/Data/SBV/Dynamic.dyn_o )
[45 of 99] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Documentation/SBV/Examples/BitPrecise/BitTricks.dyn_o )
[46 of 99] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.dyn_o )
[47 of 99] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist/build/Documentation/SBV/Examples/BitPrecise/Legato.dyn_o )
[48 of 99] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Documentation/SBV/Examples/BitPrecise/MergeSort.dyn_o )
[49 of 99] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist/build/Documentation/SBV/Examples/BitPrecise/MultMask.dyn_o )
[50 of 99] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.dyn_o )
[51 of 99] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/AddSub.dyn_o )
[52 of 99] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.dyn_o )
[53 of 99] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.dyn_o )
[54 of 99] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/GCD.dyn_o )
[55 of 99] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.dyn_o )
[56 of 99] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.dyn_o )
[57 of 99] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist/build/Documentation/SBV/Examples/Crypto/AES.dyn_o )
[58 of 99] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist/build/Documentation/SBV/Examples/Crypto/RC4.dyn_o )
[59 of 99] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.dyn_o )
[60 of 99] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist/build/Documentation/SBV/Examples/Existentials/Diophantine.dyn_o )
[61 of 99] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist/build/Documentation/SBV/Examples/Misc/Auxiliary.dyn_o )
[62 of 99] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist/build/Documentation/SBV/Examples/Misc/Enumerate.dyn_o )
[63 of 99] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist/build/Documentation/SBV/Examples/Misc/Floating.dyn_o )
[64 of 99] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist/build/Documentation/SBV/Examples/Misc/ModelExtract.dyn_o )
[65 of 99] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist/build/Documentation/SBV/Examples/Misc/NoDiv0.dyn_o )
[66 of 99] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist/build/Documentation/SBV/Examples/Misc/Polynomials.dyn_o )
[67 of 99] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist/build/Documentation/SBV/Examples/Misc/SoftConstrain.dyn_o )
[68 of 99] Compiling Documentation.SBV.Examples.Misc.Word4 ( Documentation/SBV/Examples/Misc/Word4.hs, dist/build/Documentation/SBV/Examples/Misc/Word4.dyn_o )
[69 of 99] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist/build/Documentation/SBV/Examples/Optimization/ExtField.dyn_o )
[70 of 99] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist/build/Documentation/SBV/Examples/Optimization/LinearOpt.dyn_o )
[71 of 99] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist/build/Documentation/SBV/Examples/Optimization/Production.dyn_o )
[72 of 99] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist/build/Documentation/SBV/Examples/Optimization/VM.dyn_o )
[73 of 99] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist/build/Documentation/SBV/Examples/Puzzles/Birthday.dyn_o )
[74 of 99] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist/build/Documentation/SBV/Examples/Puzzles/Coins.dyn_o )
[75 of 99] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist/build/Documentation/SBV/Examples/Puzzles/Counts.dyn_o )
[76 of 99] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.dyn_o )
[77 of 99] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist/build/Documentation/SBV/Examples/Puzzles/Euler185.dyn_o )
[78 of 99] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist/build/Documentation/SBV/Examples/Puzzles/Fish.dyn_o )
[79 of 99] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.dyn_o )
[80 of 99] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Documentation/SBV/Examples/Puzzles/MagicSquare.dyn_o )
[81 of 99] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist/build/Documentation/SBV/Examples/Puzzles/NQueens.dyn_o )
[82 of 99] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.dyn_o )
[83 of 99] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Documentation/SBV/Examples/Puzzles/Sudoku.dyn_o )
[84 of 99] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Documentation/SBV/Examples/Puzzles/U2Bridge.dyn_o )
[85 of 99] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist/build/Documentation/SBV/Examples/Queries/AllSat.dyn_o )
[86 of 99] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist/build/Documentation/SBV/Examples/Queries/CaseSplit.dyn_o )
[87 of 99] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist/build/Documentation/SBV/Examples/Queries/Enums.dyn_o )
[88 of 99] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist/build/Documentation/SBV/Examples/Queries/FourFours.dyn_o )
[89 of 99] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist/build/Documentation/SBV/Examples/Queries/GuessNumber.dyn_o )
[90 of 99] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist/build/Documentation/SBV/Examples/Queries/Interpolants.dyn_o )
[91 of 99] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist/build/Documentation/SBV/Examples/Queries/UnsatCore.dyn_o )
[92 of 99] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist/build/Documentation/SBV/Examples/Strings/RegexCrossword.dyn_o )
[93 of 99] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist/build/Documentation/SBV/Examples/Strings/SQLInjection.dyn_o )
[94 of 99] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/AUF.dyn_o )
[95 of 99] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Deduce.dyn_o )
[96 of 99] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Function.dyn_o )
[97 of 99] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Shannon.dyn_o )
[98 of 99] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/Sort.dyn_o )
[99 of 99] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.dyn_o )
ignoring (possibly broken) abi-depends field for packages
Preprocessing test suite 'SBVHLint' for sbv-7.10..
Building test suite 'SBVHLint' for sbv-7.10..
[1 of 2] Compiling Utils.SBVTestFramework ( SBVTestSuite/Utils/SBVTestFramework.hs, dist/build/SBVHLint/SBVHLint-tmp/Utils/SBVTestFramework.dyn_o )
[2 of 2] Compiling Main ( SBVTestSuite/SBVHLint.hs, dist/build/SBVHLint/SBVHLint-tmp/Main.dyn_o )
Linking dist/build/SBVHLint/SBVHLint ...
Preprocessing test suite 'SBVDocTest' for sbv-7.10..
Building test suite 'SBVDocTest' for sbv-7.10..
[1 of 2] Compiling Utils.SBVTestFramework ( SBVTestSuite/Utils/SBVTestFramework.hs, dist/build/SBVDocTest/SBVDocTest-tmp/Utils/SBVTestFramework.dyn_o )
[2 of 2] Compiling Main ( SBVTestSuite/SBVDocTest.hs, dist/build/SBVDocTest/SBVDocTest-tmp/Main.dyn_o )
Linking dist/build/SBVDocTest/SBVDocTest ...
Preprocessing test suite 'SBVTest' for sbv-7.10..
Building test suite 'SBVTest' for sbv-7.10..
[ 1 of 84] Compiling Utils.SBVTestFramework ( SBVTestSuite/Utils/SBVTestFramework.hs, dist/build/SBVTest/SBVTest-tmp/Utils/SBVTestFramework.dyn_o )
[ 2 of 84] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVTestSuite/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/Uninterpreted.dyn_o )
[ 3 of 84] Compiling TestSuite.Uninterpreted.Sort ( SBVTestSuite/TestSuite/Uninterpreted/Sort.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/Sort.dyn_o )
[ 4 of 84] Compiling TestSuite.Uninterpreted.Function ( SBVTestSuite/TestSuite/Uninterpreted/Function.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/Function.dyn_o )
[ 5 of 84] Compiling TestSuite.Uninterpreted.Axioms ( SBVTestSuite/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/Axioms.dyn_o )
[ 6 of 84] Compiling TestSuite.Uninterpreted.AUF ( SBVTestSuite/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Uninterpreted/AUF.dyn_o )
[ 7 of 84] Compiling TestSuite.QuickCheck.QC ( SBVTestSuite/TestSuite/QuickCheck/QC.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/QuickCheck/QC.dyn_o )
[ 8 of 84] Compiling TestSuite.Queries.Uninterpreted ( SBVTestSuite/TestSuite/Queries/Uninterpreted.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Uninterpreted.dyn_o )
[ 9 of 84] Compiling TestSuite.Queries.Strings ( SBVTestSuite/TestSuite/Queries/Strings.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Strings.dyn_o )
[10 of 84] Compiling TestSuite.Queries.Interpolants ( SBVTestSuite/TestSuite/Queries/Interpolants.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Interpolants.dyn_o )
[11 of 84] Compiling TestSuite.Queries.Int_Z3 ( SBVTestSuite/TestSuite/Queries/Int_Z3.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_Z3.dyn_o )
[12 of 84] Compiling TestSuite.Queries.Int_Yices ( SBVTestSuite/TestSuite/Queries/Int_Yices.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_Yices.dyn_o )
[13 of 84] Compiling TestSuite.Queries.Int_Mathsat ( SBVTestSuite/TestSuite/Queries/Int_Mathsat.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_Mathsat.dyn_o )
[14 of 84] Compiling TestSuite.Queries.Int_CVC4 ( SBVTestSuite/TestSuite/Queries/Int_CVC4.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_CVC4.dyn_o )
[15 of 84] Compiling TestSuite.Queries.Int_Boolector ( SBVTestSuite/TestSuite/Queries/Int_Boolector.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_Boolector.dyn_o )
[16 of 84] Compiling TestSuite.Queries.Int_ABC ( SBVTestSuite/TestSuite/Queries/Int_ABC.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Int_ABC.dyn_o )
[17 of 84] Compiling TestSuite.Queries.FreshVars ( SBVTestSuite/TestSuite/Queries/FreshVars.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/FreshVars.dyn_o )
[18 of 84] Compiling TestSuite.Queries.Enums ( SBVTestSuite/TestSuite/Queries/Enums.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/Enums.dyn_o )
[19 of 84] Compiling TestSuite.Queries.BasicQuery ( SBVTestSuite/TestSuite/Queries/BasicQuery.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/BasicQuery.dyn_o )
[20 of 84] Compiling TestSuite.Queries.BadOption ( SBVTestSuite/TestSuite/Queries/BadOption.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Queries/BadOption.dyn_o )
[21 of 84] Compiling TestSuite.Puzzles.U2Bridge ( SBVTestSuite/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/U2Bridge.dyn_o )
[22 of 84] Compiling TestSuite.Puzzles.Temperature ( SBVTestSuite/TestSuite/Puzzles/Temperature.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Temperature.dyn_o )
[23 of 84] Compiling TestSuite.Puzzles.Sudoku ( SBVTestSuite/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Sudoku.dyn_o )
[24 of 84] Compiling TestSuite.Puzzles.PowerSet ( SBVTestSuite/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/PowerSet.dyn_o )
[25 of 84] Compiling TestSuite.Puzzles.NQueens ( SBVTestSuite/TestSuite/Puzzles/NQueens.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/NQueens.dyn_o )
[26 of 84] Compiling TestSuite.Puzzles.MagicSquare ( SBVTestSuite/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/MagicSquare.dyn_o )
[27 of 84] Compiling TestSuite.Puzzles.Euler185 ( SBVTestSuite/TestSuite/Puzzles/Euler185.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Euler185.dyn_o )
[28 of 84] Compiling TestSuite.Puzzles.DogCatMouse ( SBVTestSuite/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/DogCatMouse.dyn_o )
[29 of 84] Compiling TestSuite.Puzzles.Counts ( SBVTestSuite/TestSuite/Puzzles/Counts.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Counts.dyn_o )
[30 of 84] Compiling TestSuite.Puzzles.Coins ( SBVTestSuite/TestSuite/Puzzles/Coins.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Puzzles/Coins.dyn_o )
[31 of 84] Compiling TestSuite.Polynomials.Polynomials ( SBVTestSuite/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Polynomials/Polynomials.dyn_o )
[32 of 84] Compiling TestSuite.Overflows.Casts ( SBVTestSuite/TestSuite/Overflows/Casts.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Overflows/Casts.dyn_o )
[33 of 84] Compiling TestSuite.Overflows.Arithmetic ( SBVTestSuite/TestSuite/Overflows/Arithmetic.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Overflows/Arithmetic.dyn_o )
[34 of 84] Compiling TestSuite.Optimization.Reals ( SBVTestSuite/TestSuite/Optimization/Reals.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Reals.dyn_o )
[35 of 84] Compiling TestSuite.Optimization.Quantified ( SBVTestSuite/TestSuite/Optimization/Quantified.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Quantified.dyn_o )
[36 of 84] Compiling TestSuite.Optimization.NoOpt ( SBVTestSuite/TestSuite/Optimization/NoOpt.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/NoOpt.dyn_o )
[37 of 84] Compiling TestSuite.Optimization.ExtensionField ( SBVTestSuite/TestSuite/Optimization/ExtensionField.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/ExtensionField.dyn_o )
[38 of 84] Compiling TestSuite.Optimization.Combined ( SBVTestSuite/TestSuite/Optimization/Combined.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Combined.dyn_o )
[39 of 84] Compiling TestSuite.Optimization.Basics ( SBVTestSuite/TestSuite/Optimization/Basics.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/Basics.dyn_o )
[40 of 84] Compiling TestSuite.Optimization.AssertWithPenalty ( SBVTestSuite/TestSuite/Optimization/AssertWithPenalty.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Optimization/AssertWithPenalty.dyn_o )
[41 of 84] Compiling TestSuite.GenTest.GenTests ( SBVTestSuite/TestSuite/GenTest/GenTests.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/GenTest/GenTests.dyn_o )
[42 of 84] Compiling TestSuite.Existentials.CRCPolynomial ( SBVTestSuite/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Existentials/CRCPolynomial.dyn_o )
[43 of 84] Compiling TestSuite.Crypto.RC4 ( SBVTestSuite/TestSuite/Crypto/RC4.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Crypto/RC4.dyn_o )
[44 of 84] Compiling TestSuite.Crypto.AES ( SBVTestSuite/TestSuite/Crypto/AES.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Crypto/AES.dyn_o )
[45 of 84] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVTestSuite/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/Uninterpreted.dyn_o )
[46 of 84] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVTestSuite/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/PopulationCount.dyn_o )
[47 of 84] Compiling TestSuite.CodeGeneration.GCD ( SBVTestSuite/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/GCD.dyn_o )
[48 of 84] Compiling TestSuite.CodeGeneration.Floats ( SBVTestSuite/TestSuite/CodeGeneration/Floats.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/Floats.dyn_o )
[49 of 84] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVTestSuite/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/Fibonacci.dyn_o )
[50 of 84] Compiling TestSuite.CodeGeneration.CgTests ( SBVTestSuite/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/CgTests.dyn_o )
[51 of 84] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVTestSuite/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/CRC_USB5.dyn_o )
[52 of 84] Compiling TestSuite.CodeGeneration.AddSub ( SBVTestSuite/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CodeGeneration/AddSub.dyn_o )
[53 of 84] Compiling TestSuite.CRC.USB5 ( SBVTestSuite/TestSuite/CRC/USB5.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/USB5.dyn_o )
[54 of 84] Compiling TestSuite.CRC.Parity ( SBVTestSuite/TestSuite/CRC/Parity.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/Parity.dyn_o )
[55 of 84] Compiling TestSuite.CRC.GenPoly ( SBVTestSuite/TestSuite/CRC/GenPoly.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/GenPoly.dyn_o )
[56 of 84] Compiling TestSuite.CRC.CCITT_Unidir ( SBVTestSuite/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/CCITT_Unidir.dyn_o )
[57 of 84] Compiling TestSuite.CRC.CCITT ( SBVTestSuite/TestSuite/CRC/CCITT.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/CRC/CCITT.dyn_o )
[58 of 84] Compiling TestSuite.BitPrecise.PrefixSum ( SBVTestSuite/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/BitPrecise/PrefixSum.dyn_o )
[59 of 84] Compiling TestSuite.BitPrecise.MergeSort ( SBVTestSuite/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/BitPrecise/MergeSort.dyn_o )
[60 of 84] Compiling TestSuite.BitPrecise.Legato ( SBVTestSuite/TestSuite/BitPrecise/Legato.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/BitPrecise/Legato.dyn_o )
[61 of 84] Compiling TestSuite.BitPrecise.BitTricks ( SBVTestSuite/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/BitPrecise/BitTricks.dyn_o )
[62 of 84] Compiling TestSuite.Basics.TOut ( SBVTestSuite/TestSuite/Basics/TOut.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/TOut.dyn_o )
[63 of 84] Compiling TestSuite.Basics.String ( SBVTestSuite/TestSuite/Basics/String.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/String.dyn_o )
[64 of 84] Compiling TestSuite.Basics.SquashReals ( SBVTestSuite/TestSuite/Basics/SquashReals.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/SquashReals.dyn_o )
[65 of 84] Compiling TestSuite.Basics.SmallShifts ( SBVTestSuite/TestSuite/Basics/SmallShifts.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/SmallShifts.dyn_o )
[66 of 84] Compiling TestSuite.Basics.Recursive ( SBVTestSuite/TestSuite/Basics/Recursive.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Recursive.dyn_o )
[67 of 84] Compiling TestSuite.Basics.Quantifiers ( SBVTestSuite/TestSuite/Basics/Quantifiers.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Quantifiers.dyn_o )
[68 of 84] Compiling TestSuite.Basics.QRem ( SBVTestSuite/TestSuite/Basics/QRem.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/QRem.dyn_o )
[69 of 84] Compiling TestSuite.Basics.PseudoBoolean ( SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/PseudoBoolean.dyn_o )
[70 of 84] Compiling TestSuite.Basics.ProofTests ( SBVTestSuite/TestSuite/Basics/ProofTests.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/ProofTests.dyn_o )
[71 of 84] Compiling TestSuite.Basics.IteTest ( SBVTestSuite/TestSuite/Basics/IteTest.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/IteTest.dyn_o )
[72 of 84] Compiling TestSuite.Basics.Index ( SBVTestSuite/TestSuite/Basics/Index.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Index.dyn_o )
[73 of 84] Compiling TestSuite.Basics.Higher ( SBVTestSuite/TestSuite/Basics/Higher.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Higher.dyn_o )
[74 of 84] Compiling TestSuite.Basics.GenBenchmark ( SBVTestSuite/TestSuite/Basics/GenBenchmark.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/GenBenchmark.dyn_o )
[75 of 84] Compiling TestSuite.Basics.Exceptions ( SBVTestSuite/TestSuite/Basics/Exceptions.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Exceptions.dyn_o )
[76 of 84] Compiling TestSuite.Basics.BasicTests ( SBVTestSuite/TestSuite/Basics/BasicTests.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/BasicTests.dyn_o )
[77 of 84] Compiling TestSuite.Basics.Assert ( SBVTestSuite/TestSuite/Basics/Assert.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/Assert.dyn_o )
[78 of 84] Compiling TestSuite.Basics.ArithSolver ( SBVTestSuite/TestSuite/Basics/ArithSolver.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/ArithSolver.dyn_o )
[79 of 84] Compiling TestSuite.Basics.ArithNoSolver ( SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/ArithNoSolver.dyn_o )
[80 of 84] Compiling TestSuite.Basics.AllSat ( SBVTestSuite/TestSuite/Basics/AllSat.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Basics/AllSat.dyn_o )
[81 of 84] Compiling TestSuite.Arrays.Query ( SBVTestSuite/TestSuite/Arrays/Query.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Arrays/Query.dyn_o )
[82 of 84] Compiling TestSuite.Arrays.Memory ( SBVTestSuite/TestSuite/Arrays/Memory.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Arrays/Memory.dyn_o )
[83 of 84] Compiling TestSuite.Arrays.InitVals ( SBVTestSuite/TestSuite/Arrays/InitVals.hs, dist/build/SBVTest/SBVTest-tmp/TestSuite/Arrays/InitVals.dyn_o )
[84 of 84] Compiling Main ( SBVTestSuite/SBVTest.hs, dist/build/SBVTest/SBVTest-tmp/Main.dyn_o )
Linking dist/build/SBVTest/SBVTest ...
Unregistering sbv-7.10...
==> Starting check()...
Running 3 test suites...
Test suite SBVHLint: RUNNING...
Test suite SBVHLint: PASS
Test suite logged to: dist/test/sbv-7.10-SBVHLint.log
Test suite SBVDocTest: RUNNING...
Test suite SBVDocTest: PASS
Test suite logged to: dist/test/sbv-7.10-SBVDocTest.log
Test suite SBVTest: RUNNING...
Test suite SBVTest: PASS
Test suite logged to: dist/test/sbv-7.10-SBVTest.log
3 of 3 test suites (3 of 3 test cases) passed.
==> Entering fakeroot environment...
==> Starting package()...
Installing library in /tmp/haskell-sbv-archlinuxrb-build-fkqkWPwa/haskell-sbv/trunk/pkg/haskell-sbv/usr/lib/ghc-8.4.3/site-local/sbv-7.10
==> Tidying install...
-> Removing libtool files...
-> Purging unwanted files...
-> Removing static library files...
-> Stripping unneeded symbols from binaries and libraries...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "haskell-sbv"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: haskell-sbv 7.10-1 (Sat Jul 21 18:50:16 2018)
+ PRESULT=0
+ '[' 0 -eq 124 ']'
+ schroot --end-session -c archlinux-haskell-sbv-archlinuxrb-build-fkqkWPwa
+ tee -a /srv/reproducible-results/archlinuxrb-build-fkqkWPwa/b2/haskell-sbv/build2.log
+ PRESULT=0
+ '[' 0 -ne 0 ']'
+ false
+ set +x
'/tmp/haskell-sbv-archlinuxrb-build-fkqkWPwa/haskell-sbv/trunk/haskell-sbv-7.10-1-x86_64.pkg.tar.xz' -> '/srv/reproducible-results/archlinuxrb-build-fkqkWPwa/b2/haskell-sbv/haskell-sbv-7.10-1-x86_64.pkg.tar.xz'
removed '/tmp/haskell-sbv-archlinuxrb-build-fkqkWPwa/haskell-sbv/trunk/haskell-sbv-7.10-1-x86_64.pkg.tar.xz'
Sat Jul 21 18:50:17 UTC 2018 - build #2 for haskell-sbv on profitbricks-build3-amd64 done.
Sat Jul 21 18:50:17 UTC 2018 - /srv/jenkins/bin/reproducible_build_archlinux_pkg.sh stopped running as /tmp/jenkins-script-aXLOHx8m, which will now be removed.
/srv/reproducible-results/archlinuxrb-build-fkqkWPwa:
total 8
drwxr-xr-x 3 jenkins jenkins 4096 Jul 21 18:39 b1
drwxr-xr-x 3 jenkins jenkins 4096 Jul 21 18:50 b2
/srv/reproducible-results/archlinuxrb-build-fkqkWPwa/b1:
total 4
drwxr-xr-x 2 jenkins jenkins 4096 Jul 21 18:39 haskell-sbv
/srv/reproducible-results/archlinuxrb-build-fkqkWPwa/b1/haskell-sbv:
total 2380
-rw-r--r-- 1 jenkins jenkins 62234 Jul 21 18:39 build1.log
-rw-r--r-- 1 jenkins jenkins 7 Jul 21 18:39 build1.version
-rw-r--r-- 1 jenkins jenkins 2355624 Jul 21 18:39 haskell-sbv-7.10-1-x86_64.pkg.tar.xz
/srv/reproducible-results/archlinuxrb-build-fkqkWPwa/b2:
total 4
drwxr-xr-x 2 jenkins jenkins 4096 Jul 21 18:50 haskell-sbv
/srv/reproducible-results/archlinuxrb-build-fkqkWPwa/b2/haskell-sbv:
total 2372
-rw-r--r-- 1 jenkins jenkins 63435 Jul 21 18:50 build2.log
-rw-r--r-- 1 jenkins jenkins 7 Jul 21 18:50 build2.version
-rw-r--r-- 1 jenkins jenkins 2355624 Jul 21 18:50 haskell-sbv-7.10-1-x86_64.pkg.tar.xz
Sat Jul 21 18:50:17 UTC 2018 - comparing results now.
Sat Jul 21 18:50:17 UTC 2018 - YAY - haskell-sbv/haskell-sbv-7.10-1-x86_64.pkg.tar.xz build reproducible in our test framework!
.BUILDINFO
mv: error writing '/var/lib/jenkins/userContent/reproducible/archlinux/community/haskell-sbv/haskell-sbv-7.10-1-x86_64.pkg.tar.xz-b1.BUILDINFO.txt': No space left on device
Sat Jul 21 18:50:18 UTC 2018 - /srv/reproducible-results/archlinuxrb-build-fkqkWPwa deleted.
Sat 21 Jul 18:50:18 UTC 2018 - /srv/jenkins/bin/reproducible_build_archlinux_pkg.sh stopped running as /tmp/jenkins-script-V2krDBgY, which will now be removed.
Build step 'Execute shell' marked build as failure
More information about the Qa-jenkins-scm
mailing list