Package evaluation to test ConstraintProgrammingExtensions on Julia 1.14.0-DEV.2168 (2569364ac4*) started at 2026-05-10T16:15:58.450 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.11s ################################################################################ # Installation # Installing ConstraintProgrammingExtensions... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [b65d079e] + ConstraintProgrammingExtensions v0.8.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [b65d079e] + ConstraintProgrammingExtensions v0.8.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.3.3 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.5.2 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.51.0 [d8a4904e] + MutableArithmetics v1.7.1 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.4 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [276daf66] + SpecialFunctions v2.7.2 [1e83bf80] + StaticArraysCore v1.4.4 [ec057cc2] + StructUtils v2.8.1 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.1+0 [4536629a] + OpenBLAS_jll v0.3.33+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 6.05s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 14.6 s ✓ ConstraintProgrammingExtensions 1 dependency successfully precompiled in 16 seconds. 43 already precompiled. Precompilation completed after 41.31s ################################################################################ # Testing # Testing ConstraintProgrammingExtensions Status `/tmp/jl_98WkrV/Project.toml` [b65d079e] ConstraintProgrammingExtensions v0.8.0 [b8f27783] MathOptInterface v1.51.0 [37e2e46d] LinearAlgebra v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_98WkrV/Manifest.toml` [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [b65d079e] ConstraintProgrammingExtensions v0.8.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [f6369f11] ForwardDiff v1.3.3 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.5.2 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.51.0 [d8a4904e] MutableArithmetics v1.7.1 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.4 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [276daf66] SpecialFunctions v2.7.2 [1e83bf80] StaticArraysCore v1.4.4 [ec057cc2] StructUtils v2.8.1 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.1+0 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Testing Running tests... Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, 0] == [0, -1] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, -1.0] == [0.0, -0.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0.0, 0.0] == [0.0, -1.0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2351 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2327 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] Constraints: CP.Domain: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:329 Expression: fzn == "var int: x1 :: output_var;\n\nset of int: SET0 = {0, 2, 1};\n\n\nconstraint set_in(x1, SET0);\n\nsolve satisfy;\n" Evaluated: "var int: x1 :: output_var;\n\nset of int: SET0 = {2, 1, 0};\n\n\nconstraint set_in(x1, SET0);\n\nsolve satisfy;\n" == "var int: x1 :: output_var;\n\nset of int: SET0 = {0, 2, 1};\n\n\nconstraint set_in(x1, SET0);\n\nsolve satisfy;\n" Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:2 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:305 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:329 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] model = MOIU.MockOptimizer{MOIU.UniversalFallback{MOIU.Model{Int64}}, Float64} ├ ObjectiveSense: FEASIBILITY_SENSE ├ ObjectiveFunctionType: MOI.ScalarAffineFunction{Int64} ├ NumberOfVariables: 0 └ NumberOfConstraints: 0 MOI.supports_add_constrained_variable(model, MOI.Integer) = true MOI.supports_constraint(model, MOI.VariableIndex, MOI.Integer) = true MOI.supports_constraint(model, MOI.VariableIndex, CP.Domain{T}) = true MOI.supports_constraint(model, MOI.VectorOfVariables, MOI.AllDifferent) = true MOI.supports_constraint(model, MOI.VariableIndex, MOI.EqualTo{T}) = true Test Summary: | Pass Fail Total Time ConstraintProgrammingExtensions | 68806 41 68847 15m16.7s Sets | 803 803 14.8s Traits | 160 160 5.9s Bridges | 65786 40 65826 9m34.7s Constraint bridges | 65786 40 65826 9m34.3s AbsoluteValue | 548 548 20.8s AllDifferent | 216 216 7.1s AllDifferentExceptConstants | 1516 40 1556 37.7s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Int64 | 27 27 5.1s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Float64 | 26 26 4.8s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 3, Int64 | 58 58 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 3, Float64 | 57 57 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector affine function, dimension 2, Int64 | 27 27 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector affine function, dimension 2, Float64 | 26 26 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector affine function, dimension 3, Int64 | 58 58 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector affine function, dimension 3, Float64 | 57 57 0.0s AllDifferentExceptConstants2Reification: vector of variables, dimension 2, Int64 | 103 4 107 17.4s Bridge properties | 13 13 3.0s Set of variables | 20 20 0.4s Compare array values to excluded values | 37 4 41 5.6s Compare array variables | 13 13 0.6s Disjunction | 14 14 0.5s AllDifferentExceptConstants2Reification: vector of variables, dimension 2, Float64 | 103 4 107 9.9s Bridge properties | 13 13 1.5s Set of variables | 20 20 0.1s Compare array values to excluded values | 37 4 41 0.9s Compare array variables | 13 13 0.6s Disjunction | 14 14 0.5s AllDifferentExceptConstants2Reification: vector of variables, dimension 3, Int64 | 192 6 198 0.1s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector of variables, dimension 3, Float64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 2, Int64 | 103 4 107 0.0s Bridge properties | 13 13 0.0s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.0s Compare array variables | 13 13 0.0s Disjunction | 14 14 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 2, Float64 | 103 4 107 0.0s Bridge properties | 13 13 0.0s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.0s Compare array variables | 13 13 0.0s Disjunction | 14 14 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 3, Int64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 3, Float64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllEqual | 188 188 2.6s ArgumentMaximumAmong | 788 788 6.0s ArgumentMinimumAmong | 788 788 3.8s BinPacking | 3000 3000 1m15.2s Conjunction | 424 424 7.3s Count | 520 520 4.1s CountCompare | 304 304 6.1s Decreasing | 188 188 1.8s DifferentFrom | 150 150 16.7s Disjunction | 552 552 4.0s Domain | 760 760 3.3s DoublyLexicographicallyGreaterThan | 1296 1296 5.4s DoublyLexicographicallyLessThan | 1296 1296 5.4s Element | 432 432 9.0s ElementVariableArray | 918 918 4.9s GlobalCardinality | 5044 5044 27.6s IfThenElse | 404 404 20.0s Implication | 200 200 7.9s Increasing | 188 188 1.8s Indicator{DifferentFrom} | 364 364 24.4s Reification{DifferentFrom} | 306 306 25.8s Inverse | 2072 2072 5.1s Knapsack | 828 828 45.5s LexicographicallyGreaterThan | 4944 4944 13.6s LexicographicallyLessThan | 4944 4944 9.4s LexicographicallyLessThan | 4944 4944 0.4s MaximumAmong | 692 692 3.2s MinimumAmong | 692 692 3.3s NonOverlappingOrthotopes | 4356 4356 23.6s Reification{MOI.EqualTo} | 306 306 12.9s Reification{MOI.GreaterThan} | 248 248 15.7s Reification{MOI.LessThan} | 248 248 13.7s SlidingSum | 464 464 4.5s Sort | 2588 2588 14.0s SortPermutation | 3092 3092 18.0s Strictly | 12962 12962 47.3s SymmetricAllDifferent | 348 348 6.4s ValuePrecedence | 620 620 4.8s VectorDomain | 1048 1048 4.3s FlatZinc | 1601 1 1602 1m14.3s Model | 37 37 0.4s Writing | 251 1 252 18.9s Variables | 17 17 3.7s Constraints: CP.MinimumAmong / CP.MaximumAmong | 32 32 2.6s Constraints: CP.Element | 26 26 2.7s Constraints: CP.DifferentFrom | 16 16 0.9s Constraints: CP.Domain | 7 1 8 0.4s Constraints: CP.Interval | 7 7 0.1s Constraints: MOI.ScalarAffineFunction in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 31 31 1.3s Constraints: MOI.VariableIndex of integer in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 19 19 1.1s Constraints: MOI.VariableIndex of float in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 10 10 0.4s Constraints: CP.Reification{MOI.VectorOfVariables of integers in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 14 14 0.9s Constraints: CP.Reification{MOI.VectorOfVariables of floats in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 13 13 0.8s Constraints: CP.Reification{MOI.VectorAffineFunction of integers in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 18 18 2.2s Constraints: CP.Reification{MOI.VectorAffineFunction of floats in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 17 17 1.8s Name rewriting | 14 14 0.1s Maximising | 5 5 0.0s Minimising | 5 5 0.0s Reading | 1306 1306 40.6s Optimising | 7 7 3.4s Test | 456 456 2m14.6s RNG of the outermost testset: Random.Xoshiro(0x04bf53f0fc5e4567, 0xd4c64a3637f56a9e, 0x62387546b9e70b40, 0x43ed38ad750c301c, 0x49a909b379170e45) ERROR: LoadError: Some tests did not pass: 68806 passed, 41 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/runtests.jl:15 Testing failed after 950.97s ERROR: LoadError: Package ConstraintProgrammingExtensions errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3162 [3] Cmd(cmd::Cmd) @ Base /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3025 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:586 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [7] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [8] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [10] include(mod::Module, _path::String) @ Base ./Base.jl:326 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:352 [12] _start() @ Base ./client.jl:593 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1035.14s: package has test failures