Package evaluation to test SymbolicSMT on Julia 1.12.7-DEV.42 (6f510b6086*) started at 2026-06-19T22:41:12.721 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.12` Set-up completed after 8.13s ################################################################################ # Installation # Installing SymbolicSMT... Resolving package versions... Updating `~/.julia/environments/v1.12/Project.toml` [a0d8a0e1] + SymbolicSMT v1.4.0 Updating `~/.julia/environments/v1.12/Manifest.toml` [47edcb42] + ADTypes v1.22.0 [6e696c72] + AbstractPlutoDingetjes v1.4.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.44 [79e6a3ab] + Adapt v4.6.1 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.25.0 [e2ed5e7c] + Bijections v0.2.2 [fa961155] + CEnum v0.5.0 ⌅ [861a8166] + Combinatorics v1.0.2 [f70d9fcc] + CommonWorldInvalidations v1.0.0 [b152e2b5] + CompositeTypes v0.1.4 [a33af91c] + CompositionsBase v0.1.2 [187b0558] + ConstructionBase v1.6.0 [864edb3b] + DataStructures v0.19.5 [b552c78f] + DiffRules v1.16.0 [ffbed154] + DocStringExtensions v0.9.5 [5b8099bc] + DomainSets v0.8.0 [7c1d4256] + DynamicPolynomials v0.6.6 [4e289a0a] + EnumX v1.0.7 [e2ba6199] + ExprTools v0.1.10 [55351af7] + ExproniconLite v0.10.14 [a85aefff] + FunctionMaps v0.1.2 [86223c79] + Graphs v1.14.0 [d25df0c9] + Inflate v0.1.5 [18e54dd8] + IntegerMathUtils v0.1.3 [8197267c] + IntervalSets v0.7.14 [3587e190] + InverseFunctions v0.1.17 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [ae98c720] + Jieko v0.2.1 [2ab3a3ac] + LogExpFunctions v1.0.1 [1914dd2f] + MacroTools v0.5.16 [2e0e35c7] + Moshi v0.3.8 [102ac46a] + MultivariatePolynomials v0.5.19 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.4 ⌅ [bac558e1] + OrderedCollections v1.8.2 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [27ebfcd6] + Primes v0.5.7 [988b38a3] + ReadOnlyArrays v0.2.0 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [7e49a35a] + RuntimeGeneratedFunctions v0.5.19 [431bcebd] + SciMLPublic v1.0.1 [efcf1570] + Setfield v1.1.2 [699a6c99] + SimpleTraits v0.9.6 [276daf66] + SpecialFunctions v2.8.0 [0c0c59c1] + StarAlgebras v0.3.0 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [2efcf032] + SymbolicIndexingInterface v0.3.48 [19f23fe9] + SymbolicLimits v1.1.0 [a0d8a0e1] + SymbolicSMT v1.4.0 [d1185830] + SymbolicUtils v4.35.3 [0c5d862f] + Symbolics v7.28.1 [ed4db957] + TaskLocalValues v0.1.3 [8ea1fca8] + TermInterface v2.0.0 [d30d5f5c] + WeakCacheSets v0.1.0 [06b161dc] + Z3 v1.0.4 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [3eaa8342] + libcxxwrap_julia_jll v0.14.10+0 [1bc4e1ec] + z3_jll v4.16.0+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [9fa8497b] + Future 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 [de0858da] + Printf 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 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.8.3+2 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 6.33s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 5691.2 ms ✓ Z3 14422.4 ms ✓ SymbolicSMT 2 dependencies successfully precompiled in 23 seconds. 104 already precompiled. 8 dependencies precompiled but different versions are currently loaded (Base64, Dates, JuliaSyntaxHighlighting, Logging, Markdown, Printf, StyledStrings and TOML). Restart julia to access the new versions. Otherwise, 39 dependents of these packages may trigger further precompilation to work with the unexpected versions. Precompilation completed after 40.93s ################################################################################ # Testing # Testing SymbolicSMT Status `/tmp/jl_wBwBPE/Project.toml` [1bc83da4] SafeTestsets v0.1.0 [a0d8a0e1] SymbolicSMT v1.4.0 [d1185830] SymbolicUtils v4.35.3 [0c5d862f] Symbolics v7.28.1 [06b161dc] Z3 v1.0.4 [8dfed614] Test v1.11.0 Status `/tmp/jl_wBwBPE/Manifest.toml` [47edcb42] ADTypes v1.22.0 [6e696c72] AbstractPlutoDingetjes v1.4.0 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.44 [79e6a3ab] Adapt v4.6.1 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.25.0 [e2ed5e7c] Bijections v0.2.2 [fa961155] CEnum v0.5.0 ⌅ [861a8166] Combinatorics v1.0.2 [f70d9fcc] CommonWorldInvalidations v1.0.0 [b152e2b5] CompositeTypes v0.1.4 [a33af91c] CompositionsBase v0.1.2 [187b0558] ConstructionBase v1.6.0 [864edb3b] DataStructures v0.19.5 [b552c78f] DiffRules v1.16.0 [ffbed154] DocStringExtensions v0.9.5 [5b8099bc] DomainSets v0.8.0 [7c1d4256] DynamicPolynomials v0.6.6 [4e289a0a] EnumX v1.0.7 [e2ba6199] ExprTools v0.1.10 [55351af7] ExproniconLite v0.10.14 [a85aefff] FunctionMaps v0.1.2 [86223c79] Graphs v1.14.0 [d25df0c9] Inflate v0.1.5 [18e54dd8] IntegerMathUtils v0.1.3 [8197267c] IntervalSets v0.7.14 [3587e190] InverseFunctions v0.1.17 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [ae98c720] Jieko v0.2.1 [2ab3a3ac] LogExpFunctions v1.0.1 [1914dd2f] MacroTools v0.5.16 [2e0e35c7] Moshi v0.3.8 [102ac46a] MultivariatePolynomials v0.5.19 [d8a4904e] MutableArithmetics v1.8.0 [77ba4419] NaNMath v1.1.4 ⌅ [bac558e1] OrderedCollections v1.8.2 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [988b38a3] ReadOnlyArrays v0.2.0 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [7e49a35a] RuntimeGeneratedFunctions v0.5.19 [1bc83da4] SafeTestsets v0.1.0 [431bcebd] SciMLPublic v1.0.1 [efcf1570] Setfield v1.1.2 [699a6c99] SimpleTraits v0.9.6 [276daf66] SpecialFunctions v2.8.0 [0c0c59c1] StarAlgebras v0.3.0 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [2efcf032] SymbolicIndexingInterface v0.3.48 [19f23fe9] SymbolicLimits v1.1.0 [a0d8a0e1] SymbolicSMT v1.4.0 [d1185830] SymbolicUtils v4.35.3 [0c5d862f] Symbolics v7.28.1 [ed4db957] TaskLocalValues v0.1.3 [8ea1fca8] TermInterface v2.0.0 [d30d5f5c] WeakCacheSets v0.1.0 [06b161dc] Z3 v1.0.4 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [3eaa8342] libcxxwrap_julia_jll v0.14.10+0 [1bc4e1ec] z3_jll v4.16.0+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [9fa8497b] Future 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 [de0858da] Printf 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 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [781609d7] GMP_jll v6.3.0+2 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [bea87d4a] SuiteSparse_jll v7.8.3+2 [8e850b90] libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Constraints: resolve with Num: Test Failed at /home/pkgeval/.julia/packages/SymbolicSMT/RXA2o/test/symbolics_frontend.jl:73 Expression: string(result3) == "x > 10" Evaluated: "10 < x" == "x > 10" Stacktrace: [1] top-level scope @ ~/.julia/packages/SymbolicSMT/RXA2o/test/symbolics_frontend.jl:7 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1777 [inlined] [3] macro expansion @ ~/.julia/packages/SymbolicSMT/RXA2o/test/symbolics_frontend.jl:61 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1777 [inlined] [5] macro expansion @ ~/.julia/packages/SymbolicSMT/RXA2o/test/symbolics_frontend.jl:73 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:680 [inlined] resolve with Num: Test Failed at /home/pkgeval/.julia/packages/SymbolicSMT/RXA2o/test/symbolics_frontend.jl:77 Expression: string(result4) == "y > 1" Evaluated: "1 < y" == "y > 1" Stacktrace: [1] top-level scope @ ~/.julia/packages/SymbolicSMT/RXA2o/test/symbolics_frontend.jl:7 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1777 [inlined] [3] macro expansion @ ~/.julia/packages/SymbolicSMT/RXA2o/test/symbolics_frontend.jl:61 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1777 [inlined] [5] macro expansion @ ~/.julia/packages/SymbolicSMT/RXA2o/test/symbolics_frontend.jl:77 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:680 [inlined] Test Summary: | Pass Fail Total Time SymbolicSMT.jl Tests | 133 2 135 55.2s Basic Functionality | 8 8 22.8s SAT Solver Tests | 15 15 14.8s Constraint Construction | 9 9 0.9s Symbolic Operations | 20 20 0.7s Symbolics.jl Frontend | 40 2 42 14.6s Symbolics.jl Frontend Tests | 40 2 42 13.4s Constraints with Num Types | 5 5 0.3s issatisfiable with Num | 10 10 0.1s isprovable with Num | 6 6 0.1s resolve with Num | 4 2 6 6.7s Mixed Num and SymbolicUtils | 2 2 0.0s Integer Variables | 3 3 0.0s Boolean Variables | 4 4 0.4s Complex Symbolics Expressions | 3 3 0.7s Regression Tests | 24 24 0.1s Unsat Core Tests | 17 17 1.2s RNG of the outermost testset: Random.Xoshiro(0xcac0cfd83fb0ea03, 0xfa177044f9ac97e3, 0xa479f73b7b160af0, 0xad032942e82998ad, 0xaa7f15a4ed481517) ERROR: LoadError: Some tests did not pass: 133 passed, 2 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/SymbolicSMT/RXA2o/test/runtests.jl:6 Testing failed after 85.44s ERROR: LoadError: Package SymbolicSMT errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.12/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.12/Pkg/src/Operations.jl:2538 [3] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2387 [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.12/Pkg/src/API.jl:552 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:169 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:157 [7] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:157 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:156 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [10] include(mod::Module, _path::String) @ Base ./Base.jl:306 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:317 [12] _start() @ Base ./client.jl:550 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 157.85s: package has test failures