Package evaluation to test CryptoMiniSat on Julia 1.14.0-DEV.1372 (893635dc59*) started at 2025-12-16T13:55:41.425 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 9.39s ################################################################################ # Installation # Installing CryptoMiniSat... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [8e9d5576] + CryptoMiniSat v0.3.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [8e9d5576] + CryptoMiniSat v0.3.0 [692b3bcd] + JLLWrappers v1.7.1 [3da0fdf6] + MPIPreferences v0.1.11 [21216c6a] + Preferences v1.5.0 ⌅ [cf02a7a8] + CryptoMiniSat_jll v5.11.4+0 [e33a78d0] + Hwloc_jll v2.12.2+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [7cb0a576] + MPICH_jll v4.3.2+0 [f1f71cc9] + MPItrampoline_jll v5.5.4+0 [9237b28f] + MicrosoftMPI_jll v10.1.4+3 [fe0851c0] + OpenMPI_jll v5.0.9+0 [76ed43ae] + SQLite_jll v3.48.0+0 ⌅ [02c8fc9c] + XML2_jll v2.13.9+0 [a65dc6b1] + Xorg_libpciaccess_jll v0.18.1+0 ⌅ [28df3c45] + boost_jll v1.79.0+3 [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 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v1.0.0 [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.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] + LibCURL_jll v8.17.0+0 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.12.2 [458c3c95] + OpenSSL_jll v3.5.4+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850ede] + nghttp2_jll v1.68.0+1 [3f19e933] + p7zip_jll v17.7.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 5.81s ################################################################################ # Precompilation # ERROR: LoadError: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Nothing) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:10 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 in expression starting at /PkgEval.jl/scripts/precompile.jl:6 caused by: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Base.DevNull) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:7 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 Precompilation failed after 13.56s ################################################################################ # Testing # Testing CryptoMiniSat Status `/tmp/jl_TpmakR/Project.toml` [8e9d5576] CryptoMiniSat v0.3.0 ⌅ [cf02a7a8] CryptoMiniSat_jll v5.11.4+0 [8dfed614] Test v1.11.0 Status `/tmp/jl_TpmakR/Manifest.toml` [8e9d5576] CryptoMiniSat v0.3.0 [692b3bcd] JLLWrappers v1.7.1 [3da0fdf6] MPIPreferences v0.1.11 [21216c6a] Preferences v1.5.0 ⌅ [cf02a7a8] CryptoMiniSat_jll v5.11.4+0 [e33a78d0] Hwloc_jll v2.12.2+0 [94ce4f54] Libiconv_jll v1.18.0+0 [7cb0a576] MPICH_jll v4.3.2+0 [f1f71cc9] MPItrampoline_jll v5.5.4+0 [9237b28f] MicrosoftMPI_jll v10.1.4+3 [fe0851c0] OpenMPI_jll v5.0.9+0 [76ed43ae] SQLite_jll v3.48.0+0 ⌅ [02c8fc9c] XML2_jll v2.13.9+0 [a65dc6b1] Xorg_libpciaccess_jll v0.18.1+0 ⌅ [28df3c45] boost_jll v1.79.0+3 [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.13.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v1.0.0 [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.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.13.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.17.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [458c3c95] OpenSSL_jll v3.5.4+0 [efcefdf7] PCRE2_jll v10.47.0+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Warning: The call to compilecache failed to create a usable precompiled cache file for CryptoMiniSat [8e9d5576-ec03-11e9-187e-e534548435ab] │ exception = Required dependency Base.PkgId(Base.UUID("3da0fdf6-3ccc-4f1b-acd9-58baa6c99267"), "MPIPreferences") failed to load from a cache file. └ @ Base loading.jl:2891 ┌ Warning: The call to compilecache failed to create a usable precompiled cache file for CryptoMiniSat_jll [cf02a7a8-8cd0-5932-97be-477f95a4d9ce] │ exception = Required dependency Base.PkgId(Base.UUID("3da0fdf6-3ccc-4f1b-acd9-58baa6c99267"), "MPIPreferences") failed to load from a cache file. └ @ Base loading.jl:2891 Test Summary: | Pass Total Time Low-level CryptoMiniSat | 6 6 0.2s Test Summary: | Pass Total Time Top-level PicoSAT-like interface | 2 2 1.6s Test Summary: | Pass Total Time Top-level interface with symbols | 1 1 2.2s Testing CryptoMiniSat tests passed Testing completed after 39.81s PkgEval succeeded after 78.85s