Package evaluation of ConstraintProgrammingExtensions on Julia 1.13.0-DEV.1055 (100ef9d641*) started at 2025-08-28T16:04:55.463 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 10.01s ################################################################################ # Installation # Installing ConstraintProgrammingExtensions... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [b65d079e] + ConstraintProgrammingExtensions v0.8.0 Updating `~/.julia/environments/v1.13/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.0 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.0 [b65d079e] + ConstraintProgrammingExtensions v0.8.0 [864edb3b] + DataStructures v0.19.1 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.1.0 [92d709cd] + IrrationalConstants v0.2.4 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.3 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.43.0 [d8a4904e] + MutableArithmetics v1.6.4 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.5.0 [276daf66] + SpecialFunctions v2.5.1 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [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.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.11.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.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+0 Installation completed after 2.11s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 31.85s ################################################################################ # Testing # Testing ConstraintProgrammingExtensions Status `/tmp/jl_r9Wuix/Project.toml` [b65d079e] ConstraintProgrammingExtensions v0.8.0 [b8f27783] MathOptInterface v1.43.0 [37e2e46d] LinearAlgebra v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_r9Wuix/Manifest.toml` [6e4b80f9] BenchmarkTools v1.6.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.0 [b65d079e] ConstraintProgrammingExtensions v0.8.0 [864edb3b] DataStructures v0.19.1 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [f6369f11] ForwardDiff v1.1.0 [92d709cd] IrrationalConstants v0.2.4 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.43.0 [d8a4904e] MutableArithmetics v1.6.4 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.5.0 [276daf66] SpecialFunctions v2.5.1 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [856f2bd8] StructTypes v1.11.0 [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.12.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.11.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.3.0+1 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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:2053 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2029 [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.13/Test/src/Test.jl:1948 [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.13/Test/src/Test.jl:748 [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.13/Test/src/Test.jl:1948 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:305 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1948 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:329 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:748 [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 12m16.8s Sets | 803 803 14.1s Traits | 160 160 5.2s Bridges | 65786 40 65826 8m08.5s Constraint bridges | 65786 40 65826 8m08.2s AbsoluteValue | 548 548 17.9s AllDifferent | 216 216 6.6s AllDifferentExceptConstants | 1516 40 1556 35.1s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Int64 | 27 27 4.7s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Float64 | 26 26 4.5s 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 16.4s Bridge properties | 13 13 3.0s Set of variables | 20 20 0.3s Compare array values to excluded values | 37 4 41 5.6s Compare array variables | 13 13 0.5s Disjunction | 14 14 0.5s AllDifferentExceptConstants2Reification: vector of variables, dimension 2, Float64 | 103 4 107 9.1s Bridge properties | 13 13 1.5s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.8s Compare array variables | 13 13 0.5s Disjunction | 14 14 0.4s 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.0s ArgumentMaximumAmong | 788 788 5.2s ArgumentMinimumAmong | 788 788 3.1s BinPacking | 3000 3000 58.7s Conjunction | 424 424 6.1s Count | 520 520 3.1s CountCompare | 304 304 4.9s Decreasing | 188 188 1.1s DifferentFrom | 150 150 14.6s Disjunction | 552 552 3.4s Domain | 760 760 2.6s DoublyLexicographicallyGreaterThan | 1296 1296 5.0s DoublyLexicographicallyLessThan | 1296 1296 4.9s Element | 432 432 6.9s ElementVariableArray | 918 918 3.9s GlobalCardinality | 5044 5044 25.7s IfThenElse | 404 404 16.2s Implication | 200 200 5.8s Increasing | 188 188 1.3s Indicator{DifferentFrom} | 364 364 21.0s Reification{DifferentFrom} | 306 306 22.9s Inverse | 2072 2072 4.3s Knapsack | 828 828 37.7s LexicographicallyGreaterThan | 4944 4944 13.0s LexicographicallyLessThan | 4944 4944 8.6s LexicographicallyLessThan | 4944 4944 0.4s MaximumAmong | 692 692 2.4s MinimumAmong | 692 692 2.4s NonOverlappingOrthotopes | 4356 4356 23.1s Reification{MOI.EqualTo} | 306 306 9.2s Reification{MOI.GreaterThan} | 248 248 13.2s Reification{MOI.LessThan} | 248 248 11.3s SlidingSum | 464 464 4.4s Sort | 2588 2588 11.8s SortPermutation | 3092 3092 16.0s Strictly | 12962 12962 39.3s SymmetricAllDifferent | 348 348 6.1s ValuePrecedence | 620 620 3.7s VectorDomain | 1048 1048 3.2s FlatZinc | 1601 1 1602 1m06.7s Model | 37 37 0.2s Writing | 251 1 252 15.4s Variables | 17 17 3.4s Constraints: CP.MinimumAmong / CP.MaximumAmong | 32 32 2.3s Constraints: CP.Element | 26 26 2.2s Constraints: CP.DifferentFrom | 16 16 0.7s Constraints: CP.Domain | 7 1 8 0.3s Constraints: CP.Interval | 7 7 0.1s Constraints: MOI.ScalarAffineFunction in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 31 31 0.8s Constraints: MOI.VariableIndex of integer in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 19 19 0.7s Constraints: MOI.VariableIndex of float in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 10 10 0.2s Constraints: CP.Reification{MOI.VectorOfVariables of integers in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 14 14 0.6s Constraints: CP.Reification{MOI.VectorOfVariables of floats in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 13 13 0.5s Constraints: CP.Reification{MOI.VectorAffineFunction of integers in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 18 18 1.9s Constraints: CP.Reification{MOI.VectorAffineFunction of floats in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 17 17 1.6s Name rewriting | 14 14 0.1s Maximising | 5 5 0.0s Minimising | 5 5 0.0s Reading | 1306 1306 35.7s Optimising | 7 7 3.4s Test | 456 456 1m20.5s RNG of the outermost testset: Random.Xoshiro(0x317ce1b512a074e5, 0xe440676cefabc616, 0x1c75606aeb9e685e, 0x9db313000ffa70d4, 0xbc6e7f12eb94e6c9) 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 771.27s ERROR: LoadError: Package ConstraintProgrammingExtensions errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/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.13/Pkg/src/Operations.jl:2673 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2522 [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.13/Pkg/src/API.jl:538 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:515 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:168 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:157 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [9] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [12] include(mod::Module, _path::String) @ Base ./Base.jl:308 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:330 [14] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 831.26s: package has test failures