Package evaluation of ConstraintProgrammingExtensions on Julia 1.13.0-DEV.853 (3e868b27cf*) started at 2025-07-17T01:35:50.313 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.15s ################################################################################ # 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.17.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.0 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.3 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.42.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.4.3 [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.12.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.12.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 Installation completed after 2.13s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 32.58s ################################################################################ # Testing # Testing ConstraintProgrammingExtensions Status `/tmp/jl_akmrxj/Project.toml` [b65d079e] ConstraintProgrammingExtensions v0.8.0 [b8f27783] MathOptInterface v1.42.0 [37e2e46d] LinearAlgebra v1.12.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_akmrxj/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.17.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.0 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.42.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.4.3 [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.12.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.12.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 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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1967 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [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:1855 [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:741 [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:1855 [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:1855 [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:741 [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 12m21.5s Sets | 803 803 14.7s Traits | 160 160 5.5s Bridges | 65786 40 65826 8m00.4s Constraint bridges | 65786 40 65826 8m00.1s AbsoluteValue | 548 548 19.1s AllDifferent | 216 216 7.2s AllDifferentExceptConstants | 1516 40 1556 41.1s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Int64 | 27 27 5.2s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Float64 | 26 26 4.8s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 3, Int64 | 58 58 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 3, Float64 | 57 57 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector affine function, dimension 2, Int64 | 27 27 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector affine function, dimension 2, Float64 | 26 26 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector affine function, dimension 3, Int64 | 58 58 0.0s AllDifferentExceptConstants2ConjunctionDisjunction: vector affine function, dimension 3, Float64 | 57 57 0.0s AllDifferentExceptConstants2Reification: vector of variables, dimension 2, Int64 | 103 4 107 20.8s Bridge properties | 13 13 3.5s Set of variables | 20 20 0.4s Compare array values to excluded values | 37 4 41 8.4s Compare array variables | 13 13 0.6s Disjunction | 14 14 0.5s AllDifferentExceptConstants2Reification: vector of variables, dimension 2, Float64 | 103 4 107 9.8s Bridge properties | 13 13 1.9s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.8s Compare array variables | 13 13 0.6s Disjunction | 14 14 0.5s AllDifferentExceptConstants2Reification: vector of variables, dimension 3, Int64 | 192 6 198 0.1s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector of variables, dimension 3, Float64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 2, Int64 | 103 4 107 0.0s Bridge properties | 13 13 0.0s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.0s Compare array variables | 13 13 0.0s Disjunction | 14 14 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 2, Float64 | 103 4 107 0.0s Bridge properties | 13 13 0.0s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.0s Compare array variables | 13 13 0.0s Disjunction | 14 14 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 3, Int64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 3, Float64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllEqual | 188 188 2.3s ArgumentMaximumAmong | 788 788 5.6s ArgumentMinimumAmong | 788 788 3.2s BinPacking | 3000 3000 1m00.1s Conjunction | 424 424 6.5s Count | 520 520 3.4s CountCompare | 304 304 5.4s Decreasing | 188 188 1.3s DifferentFrom | 150 150 14.9s Disjunction | 552 552 3.1s Domain | 760 760 2.6s DoublyLexicographicallyGreaterThan | 1296 1296 5.0s DoublyLexicographicallyLessThan | 1296 1296 4.6s Element | 432 432 6.2s ElementVariableArray | 918 918 3.7s GlobalCardinality | 5044 5044 23.8s IfThenElse | 404 404 15.0s Implication | 200 200 5.3s Increasing | 188 188 1.2s Indicator{DifferentFrom} | 364 364 19.9s Reification{DifferentFrom} | 306 306 20.9s Inverse | 2072 2072 4.0s Knapsack | 828 828 35.0s LexicographicallyGreaterThan | 4944 4944 12.4s LexicographicallyLessThan | 4944 4944 8.1s LexicographicallyLessThan | 4944 4944 0.3s MaximumAmong | 692 692 2.2s MinimumAmong | 692 692 2.2s NonOverlappingOrthotopes | 4356 4356 24.4s Reification{MOI.EqualTo} | 306 306 8.4s Reification{MOI.GreaterThan} | 248 248 12.0s Reification{MOI.LessThan} | 248 248 10.1s SlidingSum | 464 464 3.9s Sort | 2588 2588 10.4s SortPermutation | 3092 3092 14.2s Strictly | 12962 12962 38.2s SymmetricAllDifferent | 348 348 6.1s ValuePrecedence | 620 620 3.6s VectorDomain | 1048 1048 3.1s FlatZinc | 1601 1 1602 1m02.2s Model | 37 37 0.1s Writing | 251 1 252 14.8s Variables | 17 17 2.9s Constraints: CP.MinimumAmong / CP.MaximumAmong | 32 32 2.2s Constraints: CP.Element | 26 26 2.3s Constraints: CP.DifferentFrom | 16 16 0.6s 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.3s 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.8s 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 34.4s Optimising | 7 7 3.5s Test | 456 456 1m26.4s RNG of the outermost testset: Random.Xoshiro(0x9eead9e2c03e44d4, 0xdde9a1a276928a2b, 0xe236bf28b61d69cc, 0x5bf44116b943f5de, 0x27674234c364ad63) 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 774.77s 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:2446 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2301 [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:500 [5] 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:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:309 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:320 [12] _start() @ Base ./client.jl:553 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 878.57s: package has test failures