Package evaluation to test ConstraintProgrammingExtensions on Julia 1.14.0-DEV.1826 (44c835795b*) started at 2026-03-02T14:12:43.432 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 13.92s ################################################################################ # Installation # Installing ConstraintProgrammingExtensions... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [b65d079e] + ConstraintProgrammingExtensions v0.8.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.3 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 [b65d079e] + ConstraintProgrammingExtensions v0.8.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.3.2 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.4.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.49.0 [d8a4904e] + MutableArithmetics v1.6.7 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [276daf66] + SpecialFunctions v2.7.1 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [ec057cc2] + StructUtils v2.6.3 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.30+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 5.57s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 80006.0 ms ✓ MathOptInterface 11222.8 ms ✓ ConstraintProgrammingExtensions 2 dependencies successfully precompiled in 93 seconds. 47 already precompiled. Precompilation completed after 117.03s ################################################################################ # Testing # Testing ConstraintProgrammingExtensions Status `/tmp/jl_09WE6S/Project.toml` [b65d079e] ConstraintProgrammingExtensions v0.8.0 [b8f27783] MathOptInterface v1.49.0 [37e2e46d] LinearAlgebra v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_09WE6S/Manifest.toml` [6e4b80f9] BenchmarkTools v1.6.3 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [b65d079e] ConstraintProgrammingExtensions v0.8.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [f6369f11] ForwardDiff v1.3.2 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.4.0 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.49.0 [d8a4904e] MutableArithmetics v1.6.7 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [276daf66] SpecialFunctions v2.7.1 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [ec057cc2] StructUtils v2.6.3 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.30+0 [05823500] OpenLibm_jll v0.8.7+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Testing Running tests... Compare array values to excluded values: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 Expression: f.constants == [zero(T), -(T(j - 1))] Evaluated: [0, -1] == [0, 0] Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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:2348 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:100 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/Bridges/Constraint/AllDifferentExceptConstants/adec_to_reif.jl:108 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Constraints: CP.Domain: Test Failed at /home/pkgeval/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:329 Expression: fzn == "var int: x1 :: output_var;\n\nset of int: SET0 = {0, 2, 1};\n\n\nconstraint set_in(x1, SET0);\n\nsolve satisfy;\n" Evaluated: "var int: x1 :: output_var;\n\nset of int: SET0 = {2, 1, 0};\n\n\nconstraint set_in(x1, SET0);\n\nsolve satisfy;\n" == "var int: x1 :: output_var;\n\nset of int: SET0 = {0, 2, 1};\n\n\nconstraint set_in(x1, SET0);\n\nsolve satisfy;\n" Stacktrace: [1] top-level scope @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:2 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:305 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/ConstraintProgrammingExtensions/QdZTg/test/FlatZinc/export.jl:329 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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 14m15.5s Sets | 803 803 15.6s Traits | 160 160 5.2s Bridges | 65786 40 65826 9m24.0s Constraint bridges | 65786 40 65826 9m23.6s AbsoluteValue | 548 548 20.1s AllDifferent | 216 216 7.5s AllDifferentExceptConstants | 1516 40 1556 38.9s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Int64 | 27 27 5.3s AllDifferentExceptConstants2ConjunctionDisjunction: vector of variables, dimension 2, Float64 | 26 26 4.9s 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 18.5s Bridge properties | 13 13 3.3s Set of variables | 20 20 0.4s Compare array values to excluded values | 37 4 41 6.2s 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.7s Set of variables | 20 20 0.1s Compare array values to excluded values | 37 4 41 0.9s Compare array variables | 13 13 0.6s Disjunction | 14 14 0.5s AllDifferentExceptConstants2Reification: vector of variables, dimension 3, Int64 | 192 6 198 0.1s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector of variables, dimension 3, Float64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 2, Int64 | 103 4 107 0.0s Bridge properties | 13 13 0.0s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.0s Compare array variables | 13 13 0.0s Disjunction | 14 14 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 2, Float64 | 103 4 107 0.0s Bridge properties | 13 13 0.0s Set of variables | 20 20 0.0s Compare array values to excluded values | 37 4 41 0.0s Compare array variables | 13 13 0.0s Disjunction | 14 14 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 3, Int64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllDifferentExceptConstants2Reification: vector affine function, dimension 3, Float64 | 192 6 198 0.0s Bridge properties | 13 13 0.0s Set of variables | 40 40 0.0s Compare array values to excluded values | 55 6 61 0.0s Compare array variables | 37 37 0.0s Disjunction | 40 40 0.0s AllEqual | 188 188 2.7s ArgumentMaximumAmong | 788 788 6.2s ArgumentMinimumAmong | 788 788 4.0s BinPacking | 3000 3000 1m10.8s Conjunction | 424 424 7.1s Count | 520 520 4.0s CountCompare | 304 304 5.8s Decreasing | 188 188 1.7s DifferentFrom | 150 150 16.0s Disjunction | 552 552 4.2s Domain | 760 760 3.1s DoublyLexicographicallyGreaterThan | 1296 1296 5.2s DoublyLexicographicallyLessThan | 1296 1296 4.9s Element | 432 432 8.1s ElementVariableArray | 918 918 5.0s GlobalCardinality | 5044 5044 27.4s IfThenElse | 404 404 19.0s Implication | 200 200 7.4s Increasing | 188 188 1.8s Indicator{DifferentFrom} | 364 364 23.5s Reification{DifferentFrom} | 306 306 25.8s Inverse | 2072 2072 5.3s Knapsack | 828 828 44.7s LexicographicallyGreaterThan | 4944 4944 13.6s LexicographicallyLessThan | 4944 4944 9.8s LexicographicallyLessThan | 4944 4944 0.4s MaximumAmong | 692 692 3.2s MinimumAmong | 692 692 3.2s NonOverlappingOrthotopes | 4356 4356 24.2s Reification{MOI.EqualTo} | 306 306 11.6s Reification{MOI.GreaterThan} | 248 248 15.1s Reification{MOI.LessThan} | 248 248 13.7s SlidingSum | 464 464 4.9s Sort | 2588 2588 13.8s SortPermutation | 3092 3092 17.8s Strictly | 12962 12962 46.5s SymmetricAllDifferent | 348 348 6.4s ValuePrecedence | 620 620 4.6s VectorDomain | 1048 1048 4.2s FlatZinc | 1601 1 1602 1m13.2s Model | 37 37 0.4s Writing | 251 1 252 19.3s Variables | 17 17 3.9s Constraints: CP.MinimumAmong / CP.MaximumAmong | 32 32 2.7s Constraints: CP.Element | 26 26 2.6s Constraints: CP.DifferentFrom | 16 16 1.0s Constraints: CP.Domain | 7 1 8 0.4s Constraints: CP.Interval | 7 7 0.1s Constraints: MOI.ScalarAffineFunction in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 31 31 1.3s Constraints: MOI.VariableIndex of integer in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 19 19 1.1s Constraints: MOI.VariableIndex of float in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom | 10 10 0.4s Constraints: CP.Reification{MOI.VectorOfVariables of integers in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 14 14 0.9s Constraints: CP.Reification{MOI.VectorOfVariables of floats in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 13 13 0.8s Constraints: CP.Reification{MOI.VectorAffineFunction of integers in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 18 18 2.2s Constraints: CP.Reification{MOI.VectorAffineFunction of floats in MOI.EqualTo / MOI.LessThan / CP.Strictly{MOI.LessThan} / CP.DifferentFrom} | 17 17 1.9s Name rewriting | 14 14 0.1s Maximising | 5 5 0.0s Minimising | 5 5 0.0s Reading | 1306 1306 38.9s Optimising | 7 7 3.7s Test | 456 456 1m36.0s RNG of the outermost testset: Random.Xoshiro(0xa125391f4c2a7fa1, 0x98fac3013e5fe84c, 0x59f7f1e59c2492d3, 0x545e495a842310fb, 0x7c813d18b0f68d81) 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 887.85s ERROR: LoadError: Package ConstraintProgrammingExtensions errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3138 [3] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3003 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:586 [5] 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.14/Pkg/src/API.jl:562 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:161 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [9] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [12] include(mod::Module, _path::String) @ Base ./Base.jl:323 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:585 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1044.63s: package has test failures