Package evaluation of CDCLsat on Julia 1.13.0-DEV.1080 (ed57414aec*) started at 2025-09-04T14:24:58.419


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 7.01s


################################################################################
# Installation
#

Installing CDCLsat...
   Resolving package versions...
    Updating `~/.julia/environments/v1.13/Project.toml`
  [b71133ba] + CDCLsat v0.1.0
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [1520ce14] + AbstractTrees v0.4.5
  [b71133ba] + CDCLsat v0.1.0
⌅ [da1fd8a2] + CodeTracking v1.3.9
  [34da2185] + Compat v4.18.0
  [9a962f9c] + DataAPI v1.16.0
⌅ [864edb3b] + DataStructures v0.18.22
  [e2d170a0] + DataValueInterfaces v1.0.0
  [ffbed154] + DocStringExtensions v0.9.5
  [59287772] + Formatting v0.4.3
  [eafb193a] + Highlights v0.5.3
  [18e54dd8] + IntegerMathUtils v0.1.3
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [1c23619d] + MyterialColors v0.3.0
  [bac558e1] + OrderedCollections v1.8.1
  [d96e819e] + Parameters v0.12.3
  [aea7be01] + PrecompileTools v1.3.3
  [21216c6a] + Preferences v1.5.0
  [27ebfcd6] + Primes v0.5.7
  [33c8b6b6] + ProgressLogging v0.1.5
  [37834d88] + RomanNumerals v0.3.3
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.1
  [22787eb5] + Term v2.0.7
  [3a884ed6] + UnPack v1.0.2
  [1cfade01] + UnicodeFun v0.4.1
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [7b1f6079] + FileWatching v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [de0858da] + Printf v1.11.0
  [3fa0cd96] + REPL v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v0.7.0
  [6462fe0b] + Sockets v1.11.0
  [f489334b] + StyledStrings v1.11.0
  [fa267f1f] + TOML v1.0.3
  [cf7118a7] + UUIDs v1.11.0
  [4ec0a83e] + Unicode v1.11.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 2.68s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...

Precompiling package dependencies...

Precompilation completed after 18.04s


################################################################################
# Testing
#

     Testing CDCLsat
      Status `/tmp/jl_jgM0tx/Project.toml`
  [b71133ba] CDCLsat v0.1.0
⌅ [864edb3b] DataStructures v0.18.22
  [59287772] Formatting v0.4.3
  [37834d88] RomanNumerals v0.3.3
  [22787eb5] Term v2.0.7
  [f8b46487] TestItemRunner v1.1.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_jgM0tx/Manifest.toml`
  [1520ce14] AbstractTrees v0.4.5
  [b71133ba] CDCLsat v0.1.0
⌅ [da1fd8a2] CodeTracking v1.3.9
  [34da2185] Compat v4.18.0
  [9a962f9c] DataAPI v1.16.0
⌅ [864edb3b] DataStructures v0.18.22
  [e2d170a0] DataValueInterfaces v1.0.0
  [ffbed154] DocStringExtensions v0.9.5
  [59287772] Formatting v0.4.3
  [eafb193a] Highlights v0.5.3
  [18e54dd8] IntegerMathUtils v0.1.3
  [82899510] IteratorInterfaceExtensions v1.0.0
  [1c23619d] MyterialColors v0.3.0
  [bac558e1] OrderedCollections v1.8.1
  [d96e819e] Parameters v0.12.3
  [aea7be01] PrecompileTools v1.3.3
  [21216c6a] Preferences v1.5.0
  [27ebfcd6] Primes v0.5.7
  [33c8b6b6] ProgressLogging v0.1.5
  [37834d88] RomanNumerals v0.3.3
  [3783bdb8] TableTraits v1.0.1
  [bd369af6] Tables v1.12.1
  [22787eb5] Term v2.0.7
  [f8b46487] TestItemRunner v1.1.0
  [1c621080] TestItems v1.0.0
  [3a884ed6] UnPack v1.0.2
  [1cfade01] UnicodeFun v0.4.1
  [0dad84c5] ArgTools v1.1.2
  [56f22d72] Artifacts v1.11.0
  [2a0f44e3] Base64 v1.11.0
  [ade2ca70] Dates v1.11.0
  [f43a241f] Downloads v1.7.0
  [7b1f6079] FileWatching v1.11.0
  [b77e0a4c] InteractiveUtils v1.11.0
  [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0
  [b27032c2] LibCURL v0.6.4
  [76f85450] LibGit2 v1.11.0
  [8f399da3] Libdl v1.11.0
  [56ddb016] Logging v1.11.0
  [d6f4376e] Markdown v1.11.0
  [ca575930] NetworkOptions v1.3.0
  [44cfe95a] Pkg v1.13.0
  [de0858da] Printf v1.11.0
  [3fa0cd96] REPL v1.11.0
  [9a3f8284] Random v1.11.0
  [ea8e919c] SHA v0.7.0
  [9e88b42a] Serialization v1.11.0
  [6462fe0b] Sockets v1.11.0
  [f489334b] StyledStrings v1.11.0
  [fa267f1f] TOML v1.0.3
  [a4e569a6] Tar v1.10.0
  [8dfed614] Test v1.11.0
  [cf7118a7] UUIDs v1.11.0
  [4ec0a83e] Unicode v1.11.0
  [e66e0078] CompilerSupportLibraries_jll v1.3.0+1
  [deac9b47] LibCURL_jll v8.15.0+1
  [e37daf67] LibGit2_jll v1.9.1+0
  [29816b5a] LibSSH2_jll v1.11.3+1
  [14a3606d] MozillaCACerts_jll v2025.8.12
  [458c3c95] OpenSSL_jll v3.5.2+0
  [efcefdf7] PCRE2_jll v10.46.0+0
  [83775a58] Zlib_jll v1.3.1+2
  [3161d3a3] Zstd_jll v1.5.7+1
  [8e850ede] nghttp2_jll v1.67.0+0
  [3f19e933] p7zip_jll v17.6.0+0
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading.
     Testing Running tests...
ERROR: LoadError: UndefVarError: `push_testset` not defined in `Test`
Suggestion: check for spelling errors or missing imports.
Stacktrace:
 [1] getproperty
   @ ./Base_compiler.jl:50 [inlined]
 [2] run_tests(path::String; filter::Nothing, verbose::Bool)
   @ TestItemRunner ~/.julia/packages/TestItemRunner/Q6zqe/src/TestItemRunner.jl:197
 [3] run_tests(path::String)
   @ TestItemRunner ~/.julia/packages/TestItemRunner/Q6zqe/src/TestItemRunner.jl:133
 [4] top-level scope
   @ ~/.julia/packages/CDCLsat/ogZRZ/test/runtests.jl:3
 [5] include(mapexpr::Function, mod::Module, _path::String)
   @ Base ./Base.jl:309
 [6] top-level scope
   @ none:6
 [7] eval(m::Module, e::Any)
   @ Core ./boot.jl:489
 [8] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:296
 [9] _start()
   @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/CDCLsat/ogZRZ/test/runtests.jl:3

Testing failed after 41.23s

ERROR: LoadError: Package CDCLsat errored during testing
Stacktrace:
  [1] pkgerror(msg::String)
    @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68
  [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool)
    @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2673
  [3] test
    @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2522 [inlined]
  [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:538
  [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:515
  [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:168
  [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:157
  [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156
  [9] test
    @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined]
 [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String)
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155
 [11] top-level scope
    @ /PkgEval.jl/scripts/evaluate.jl:219
 [12] include(mod::Module, _path::String)
    @ Base ./Base.jl:308
 [13] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:330
 [14] _start()
    @ Base ./client.jl:563
in expression starting at /PkgEval.jl/scripts/evaluate.jl:210

PkgEval failed after 89.23s: package tests unexpectedly errored