Package evaluation of ConstraintProgrammingExtensions on Julia 1.13.0-DEV.985 (9c94e7ae32*) started at 2025-08-14T16:28:09.455 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.18s ################################################################################ # 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.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.0.1 [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.42.1 [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.5+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 1.51s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 23.57s ################################################################################ # Testing # Testing ConstraintProgrammingExtensions Status `/tmp/jl_j7fT40/Project.toml` [b65d079e] ConstraintProgrammingExtensions v0.8.0 [b8f27783] MathOptInterface v1.42.1 [37e2e46d] LinearAlgebra v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_j7fT40/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.18.22 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [f6369f11] ForwardDiff v1.0.1 [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.42.1 [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.5+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. 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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:2041 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:2018 [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:1929 [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:745 [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:1929 [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:1929 [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:745 [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 9m48.3s Sets | 803 803 11.4s Traits | 160 160 3.9s Bridges | 65786 40 65826 6m08.7s Constraint bridges | 65786 40 65826 6m08.6s AbsoluteValue | 548 548 13.0s AllDifferent | 216 216 5.3s AllDifferentExceptConstants | 1516 40 1556 27.9s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Int64 | 27 27 3.8s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Float64 | 26 26 3.4s 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 13.5s Bridge properties | 13 13 2.3s Set of variables | 20 20 0.3s Compare array values to excluded values | 37 4 41 5.0s Compare array variables | 13 13 0.4s Disjunction | 14 14 0.4s AllDifferentExceptConstants2Reification: vector of variables, dimension 2, Float64 | 103 4 107 6.9s Bridge properties | 13 13 1.2s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.6s Compare array variables | 13 13 0.4s Disjunction | 14 14 0.4s AllDifferentExceptConstants2Reification: vector of variables, 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 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 1.6s ArgumentMaximumAmong | 788 788 3.9s ArgumentMinimumAmong | 788 788 2.3s BinPacking | 3000 3000 41.8s Conjunction | 424 424 4.7s Count | 520 520 2.5s CountCompare | 304 304 3.9s Decreasing | 188 188 1.0s DifferentFrom | 150 150 10.7s Disjunction | 552 552 2.6s Domain | 760 760 2.0s DoublyLexicographicallyGreaterThan | 1296 1296 3.9s DoublyLexicographicallyLessThan | 1296 1296 3.6s Element | 432 432 5.2s ElementVariableArray | 918 918 2.9s GlobalCardinality | 5044 5044 20.0s IfThenElse | 404 404 12.1s Implication | 200 200 4.0s Increasing | 188 188 1.1s Indicator{DifferentFrom} | 364 364 15.9s Reification{DifferentFrom} | 306 306 16.6s Inverse | 2072 2072 3.3s Knapsack | 828 828 27.7s LexicographicallyGreaterThan | 4944 4944 10.2s LexicographicallyLessThan | 4944 4944 6.8s LexicographicallyLessThan | 4944 4944 0.3s MaximumAmong | 692 692 1.8s MinimumAmong | 692 692 1.8s NonOverlappingOrthotopes | 4356 4356 17.1s Reification{MOI.EqualTo} | 306 306 6.4s Reification{MOI.GreaterThan} | 248 248 9.1s Reification{MOI.LessThan} | 248 248 7.8s SlidingSum | 464 464 3.3s Sort | 2588 2588 8.5s SortPermutation | 3092 3092 11.7s Strictly | 12962 12962 31.0s SymmetricAllDifferent | 348 348 6.1s ValuePrecedence | 620 620 3.8s VectorDomain | 1048 1048 3.3s FlatZinc | 1601 1 1602 1m02.0s Model | 37 37 0.2s Writing | 251 1 252 14.3s Variables | 17 17 3.5s Constraints: CP.MinimumAmong / CP.MaximumAmong | 32 32 2.3s Constraints: CP.Element | 26 26 1.7s Constraints: CP.DifferentFrom | 16 16 0.5s 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.5s 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.7s Constraints: CP.Reification{MOI.VectorAffineFunction of floats in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 17 17 1.4s Name rewriting | 14 14 0.1s Maximising | 5 5 0.0s Minimising | 5 5 0.0s Reading | 1306 1306 35.0s Optimising | 7 7 3.2s Test | 456 456 1m20.9s RNG of the outermost testset: Random.Xoshiro(0x3136d27fc77152b2, 0x0db6a333dfaad78f, 0xa709ff72b3ce9fbf, 0xa03962c960128e97, 0xff1e6cda89fcde3b) 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 613.73s 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:2672 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2521 [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 659.29s: package has test failures