Package evaluation of POMDPModelChecking on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T07:35:41.845


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


Set-up completed after 0.23s


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

Installing POMDPModelChecking...
   Resolving package versions...
    Updating `~/.julia/environments/v1.13/Project.toml`
  [abefb91b] + POMDPModelChecking v0.1.3
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [66dad0bd] + AliasTables v1.1.3
⌅ [ec485272] + ArnoldiMethod v0.1.0
  [35d6a980] + ColorSchemes v3.29.0
  [3da002f7] + ColorTypes v0.12.1
  [c3611d14] + ColorVectorSpace v0.11.0
  [5ae59095] + Colors v0.13.0
  [d842c3ba] + CommonRLInterface v0.3.3
  [34da2185] + Compat v4.16.0
  [d38c429a] + Contour v0.6.3
  [a8cc5b0e] + Crayons v4.1.1
⌅ [1f15a43c] + CxxWrap v0.15.1
  [9a962f9c] + DataAPI v1.16.0
  [a93c6f00] + DataFrames v1.7.0
  [864edb3b] + DataStructures v0.18.22
  [e2d170a0] + DataValueInterfaces v1.0.0
  [4b033969] + DiscreteValueIteration v0.4.8
  [31c24e10] + Distributions v0.25.119
  [ffbed154] + DocStringExtensions v0.9.4
  [5789e2e9] + FileIO v1.17.0
  [1a297f60] + FillArrays v1.13.0
  [53c48c17] + FixedPointNumbers v0.8.5
⌃ [86223c79] + Graphs v1.9.0
  [34004b35] + HypergeometricFunctions v0.3.28
  [d25df0c9] + Inflate v0.1.5
  [842dd82b] + InlineStrings v1.4.3
  [41ab1584] + InvertedIndices v1.3.1
  [92d709cd] + IrrationalConstants v0.2.4
  [82899510] + IteratorInterfaceExtensions v1.0.0
⌅ [033835bb] + JLD2 v0.4.54
  [692b3bcd] + JLLWrappers v1.7.0
  [b964fa9f] + LaTeXStrings v1.4.0
  [093fc24a] + LightGraphs v1.3.5
  [2ab3a3ac] + LogExpFunctions v0.3.29
  [1914dd2f] + MacroTools v0.5.16
  [299715c1] + MarchingCubes v0.1.11
⌅ [626554b9] + MetaGraphs v0.7.2
  [e1d29d7a] + Missings v1.2.0
  [77ba4419] + NaNMath v1.1.3
  [d9ec5142] + NamedTupleTools v0.14.3
  [bac558e1] + OrderedCollections v1.8.0
  [90014a1f] + PDMats v0.11.34
  [f3bd98c0] + POMDPLinter v0.1.2
  [abefb91b] + POMDPModelChecking v0.1.3
  [7588e00f] + POMDPTools v1.1.0
  [a93abf59] + POMDPs v1.0.0
  [d96e819e] + Parameters v0.12.3
  [2dfb63ee] + PooledArrays v1.4.3
  [aea7be01] + PrecompileTools v1.3.2
  [21216c6a] + Preferences v1.4.3
  [08abe8d2] + PrettyTables v2.4.0
  [92933f4c] + ProgressMeter v1.10.4
  [43287f4e] + PtrArrays v1.3.0
  [1fd47b50] + QuadGK v2.11.2
  [189a3867] + Reexport v1.2.2
  [ae029012] + Requires v1.3.1
  [79098fc4] + Rmath v0.8.0
  [91c51154] + SentinelArrays v1.4.8
  [699a6c99] + SimpleTraits v0.9.4
  [a2af1166] + SortingAlgorithms v1.2.1
  [276daf66] + SpecialFunctions v2.5.1
  [f11abc24] + Spot v0.2.4
  [90137ffa] + StaticArrays v1.9.13
  [1e83bf80] + StaticArraysCore v1.4.3
  [10745b16] + Statistics v1.11.1
  [82ae8749] + StatsAPI v1.7.0
  [2913bbd2] + StatsBase v0.34.4
  [4c63d2b9] + StatsFuns v1.5.0
  [892a3eda] + StringManipulation v0.4.1
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.0
  [9ac5f52a] + Tectonic v0.8.0
  [62fd8b95] + TensorCore v0.1.1
⌃ [37f6aa50] + TikzPictures v3.4.2
  [3bb67fe8] + TranscodingStreams v0.11.3
  [410a4b4d] + Tricks v0.1.10
  [3a884ed6] + UnPack v1.0.2
  [b8865327] + UnicodePlots v3.7.2
  [6e34b625] + Bzip2_jll v1.0.9+0
  [83423d85] + Cairo_jll v1.18.5+0
  [2e619515] + Expat_jll v2.6.5+0
  [a3f928ae] + Fontconfig_jll v2.16.0+0
  [d7e528f0] + FreeType2_jll v2.13.4+0
  [78b55507] + Gettext_jll v0.21.0+0
  [7746bdde] + Glib_jll v2.84.0+0
  [aacddb02] + JpegTurbo_jll v3.1.1+0
⌅ [88015f11] + LERC_jll v3.0.0+1
  [1d63c593] + LLVMOpenMP_jll v18.1.8+0
  [dd4b983a] + LZO_jll v2.10.3+0
  [e9f186c6] + Libffi_jll v3.4.7+0
  [94ce4f54] + Libiconv_jll v1.18.0+0
  [4b2f31a3] + Libmount_jll v2.41.0+0
⌅ [89763e89] + Libtiff_jll v4.4.0+0
  [38a345b3] + Libuuid_jll v2.41.0+0
⌃ [d3a379c0] + LittleCMS_jll v2.12.0+0
⌃ [643b3616] + OpenJpeg_jll v2.4.0+0
  [efe28fd5] + OpenSpecFun_jll v0.5.6+0
  [30392449] + Pixman_jll v0.44.2+0
⌅ [9c32591e] + Poppler_jll v0.87.0+2
  [f50d1b31] + Rmath_jll v0.5.1+0
  [b9ff107b] + Spot_julia_jll v2.12.0+0
⌅ [02c8fc9c] + XML2_jll v2.13.6+1
  [4f6342f7] + Xorg_libX11_jll v1.8.12+0
  [0c0b7dd1] + Xorg_libXau_jll v1.0.13+0
  [a3789734] + Xorg_libXdmcp_jll v1.1.6+0
  [1082639a] + Xorg_libXext_jll v1.3.7+0
  [ea2f1a96] + Xorg_libXrender_jll v0.9.12+0
  [c7cfdc94] + Xorg_libxcb_jll v1.17.1+0
  [c5fb5394] + Xorg_xtrans_jll v1.6.0+0
  [3161d3a3] + Zstd_jll v1.5.7+1
⌅ [3eaa8342] + libcxxwrap_julia_jll v0.12.3+0
  [b53b4c65] + libpng_jll v1.6.47+0
  [0dad84c5] + ArgTools v1.1.2
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [8ba89e20] + Distributed v1.11.0
  [f43a241f] + Downloads v1.7.0
  [7b1f6079] + FileWatching v1.11.0
  [9fa8497b] + Future 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
  [37e2e46d] + LinearAlgebra v1.12.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [a63ad114] + Mmap v1.11.0
  [ca575930] + NetworkOptions v1.3.0
  [44cfe95a] + Pkg v1.12.0
  [de0858da] + Printf v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization v1.11.0
  [1a1011a3] + SharedArrays v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [2f01184e] + SparseArrays v1.12.0
  [f489334b] + StyledStrings v1.11.0
  [4607b0f0] + SuiteSparse
  [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.12.1+1
  [e37daf67] + LibGit2_jll v1.9.0+0
  [29816b5a] + LibSSH2_jll v1.11.3+1
  [14a3606d] + MozillaCACerts_jll v2024.12.31
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [05823500] + OpenLibm_jll v0.8.5+0
  [458c3c95] + OpenSSL_jll v3.0.16+0
  [efcefdf7] + PCRE2_jll v10.44.0+1
  [bea87d4a] + SuiteSparse_jll v7.10.1+0
  [83775a58] + Zlib_jll v1.3.1+2
  [8e850b90] + libblastrampoline_jll v5.12.0+0
  [8e850ede] + nghttp2_jll v1.65.0+0
  [3f19e933] + p7zip_jll v17.5.0+2
        Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m`

Installation completed after 7.56s


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

Precompiling PkgEval dependencies...
No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml`
No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml`

Precompiling package dependencies...
Precompiling packages...
   3917.7 ms  ✓ libcxxwrap_julia_jll
           ✗ JLD2
  21859.7 ms  ✓ POMDPs
           ✗ CxxWrap
           ✗ MetaGraphs
 218702.0 ms  ✓ POMDPTools
           ✗ Spot
  27546.4 ms  ✓ DiscreteValueIteration
           ✗ POMDPModelChecking
  4 dependencies successfully precompiled in 434 seconds. 146 already precompiled.

ERROR: LoadError: The following 1 direct dependency failed to precompile:

POMDPModelChecking 

Failed to precompile POMDPModelChecking [abefb91b-a28c-5ab9-9bd9-026e532d7b0e] to "/home/pkgeval/.julia/compiled/v1.13/POMDPModelChecking/jl_LJeCEt" (ProcessExited(1)).
ERROR: LoadError: libcxxwrap_julia_jll not available on this platform
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] top-level scope
    @ ~/.julia/packages/CxxWrap/J8Cop/src/CxxWrap.jl:18
  [3] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
  [4] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base ./loading.jl:2978
  [5] top-level scope
    @ stdin:5
  [6] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
  [7] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
  [8] include_string
    @ ./loading.jl:2834 [inlined]
  [9] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [10] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/CxxWrap/J8Cop/src/CxxWrap.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile CxxWrap [1f15a43c-97ca-5a2a-ae31-89f07a497df4] to "/home/pkgeval/.julia/compiled/v1.13/CxxWrap/jl_6xJqTi" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [18] top-level scope
    @ ~/.julia/packages/Spot/hxcR4/src/Spot.jl:3
 [19] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
 [20] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base ./loading.jl:2978
 [21] top-level scope
    @ stdin:5
 [22] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/Spot/hxcR4/src/Spot.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile Spot [f11abc24-ce50-11e8-2475-af6658d13f2b] to "/home/pkgeval/.julia/compiled/v1.13/Spot/jl_b9QWCG" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [18] top-level scope
    @ ~/.julia/packages/POMDPModelChecking/lPaSf/src/POMDPModelChecking.jl:12
 [19] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
 [20] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:2978
 [21] top-level scope
    @ stdin:5
 [22] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/POMDPModelChecking/lPaSf/src/POMDPModelChecking.jl:1
in expression starting at stdin:
in expression starting at /PkgEval.jl/scripts/precompile.jl:37

Precompilation failed after 444.27s



################################################################################
# Loading
#

Loading POMDPModelChecking...
Precompiling packages...
           ✗ CxxWrap
           ✗ JLD2
           ✗ MetaGraphs
           ✗ Spot
Info Given POMDPModelChecking was explicitly requested, output will be shown live 
ERROR: LoadError: libcxxwrap_julia_jll not available on this platform
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] top-level scope
    @ ~/.julia/packages/CxxWrap/J8Cop/src/CxxWrap.jl:18
  [3] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
  [4] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base ./loading.jl:2978
  [5] top-level scope
    @ stdin:5
  [6] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
  [7] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
  [8] include_string
    @ ./loading.jl:2834 [inlined]
  [9] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [10] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/CxxWrap/J8Cop/src/CxxWrap.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile CxxWrap [1f15a43c-97ca-5a2a-ae31-89f07a497df4] to "/home/pkgeval/.julia/compiled/v1.13/CxxWrap/jl_oPwNiY" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [18] top-level scope
    @ ~/.julia/packages/Spot/hxcR4/src/Spot.jl:3
 [19] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
 [20] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base ./loading.jl:2978
 [21] top-level scope
    @ stdin:5
 [22] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/Spot/hxcR4/src/Spot.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile Spot [f11abc24-ce50-11e8-2475-af6658d13f2b] to "/home/pkgeval/.julia/compiled/v1.13/Spot/jl_DbbPYj" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [18] top-level scope
    @ ~/.julia/packages/POMDPModelChecking/lPaSf/src/POMDPModelChecking.jl:12
 [19] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
 [20] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:2978
 [21] top-level scope
    @ stdin:5
 [22] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/POMDPModelChecking/lPaSf/src/POMDPModelChecking.jl:1
in expression starting at stdin:5
           ✗ POMDPModelChecking
  0 dependencies successfully precompiled in 154 seconds. 150 already precompiled.

ERROR: The following 1 direct dependency failed to precompile:

POMDPModelChecking 

Failed to precompile POMDPModelChecking [abefb91b-a28c-5ab9-9bd9-026e532d7b0e] to "/home/pkgeval/.julia/compiled/v1.13/POMDPModelChecking/jl_HiJxoF" (ProcessExited(1)).
ERROR: LoadError: libcxxwrap_julia_jll not available on this platform
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] top-level scope
    @ ~/.julia/packages/CxxWrap/J8Cop/src/CxxWrap.jl:18
  [3] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
  [4] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base ./loading.jl:2978
  [5] top-level scope
    @ stdin:5
  [6] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
  [7] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
  [8] include_string
    @ ./loading.jl:2834 [inlined]
  [9] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [10] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/CxxWrap/J8Cop/src/CxxWrap.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile CxxWrap [1f15a43c-97ca-5a2a-ae31-89f07a497df4] to "/home/pkgeval/.julia/compiled/v1.13/CxxWrap/jl_oPwNiY" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [18] top-level scope
    @ ~/.julia/packages/Spot/hxcR4/src/Spot.jl:3
 [19] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
 [20] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base ./loading.jl:2978
 [21] top-level scope
    @ stdin:5
 [22] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/Spot/hxcR4/src/Spot.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile Spot [f11abc24-ce50-11e8-2475-af6658d13f2b] to "/home/pkgeval/.julia/compiled/v1.13/Spot/jl_DbbPYj" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [18] top-level scope
    @ ~/.julia/packages/POMDPModelChecking/lPaSf/src/POMDPModelChecking.jl:12
 [19] include(mod::Module, _path::String)
    @ Base ./Base.jl:303
 [20] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:2978
 [21] top-level scope
    @ stdin:5
 [22] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/POMDPModelChecking/lPaSf/src/POMDPModelChecking.jl:1
in expression starting at stdin:

Loading failed after 155.09s

ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --pkgimages=existing -e 'using POMDPModelChecking'`, ProcessExited(1)) [1]

Stacktrace:
 [1] pipeline_error
   @ ./process.jl:602 [inlined]
 [2] run(::Cmd; wait::Bool)
   @ Base ./process.jl:517
 [3] run(::Cmd)
   @ Base ./process.jl:514
 [4] top-level scope
   @ /PkgEval.jl/scripts/evaluate.jl:193
 [5] include(mod::Module, _path::String)
   @ Base ./Base.jl:303
 [6] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:331
 [7] _start()
   @ Base ./client.jl:563
in expression starting at /PkgEval.jl/scripts/evaluate.jl:184

PkgEval failed after 628.52s: package fails to precompile