Package evaluation to test POMDPModelChecking on Julia 1.13.0-alpha2.30 (5abf758bb1*) started at 2026-01-09T12:52:16.418


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

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 10.02s


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

Installing POMDPModelChecking...
   Resolving package versions...
   Installed JpegTurbo_jll ─────────────── v3.1.4+0
   Installed MacroTools ────────────────── v0.5.16
   Installed Rmath_jll ─────────────────── v0.5.1+0
   Installed FillArrays ────────────────── v1.15.0
   Installed Libuuid_jll ───────────────── v2.41.2+0
   Installed DataStructures ────────────── v0.18.22
   Installed Spot_julia_jll ────────────── v2.12.0+0
   Installed Bzip2_jll ─────────────────── v1.0.9+0
   Installed InlineStrings ─────────────── v1.4.5
   Installed Tricks ────────────────────── v0.1.13
   Installed OpenJpeg_jll ──────────────── v2.4.0+0
   Installed HypergeometricFunctions ───── v0.3.28
   Installed POMDPModelChecking ────────── v0.1.3
   Installed JLD2 ──────────────────────── v0.4.55
   Installed Libmount_jll ──────────────── v2.41.2+0
   Installed Libtiff_jll ───────────────── v4.4.0+0
   Installed MarchingCubes ─────────────── v0.1.11
   Installed Cairo_jll ─────────────────── v1.18.5+0
   Installed AliasTables ───────────────── v1.1.3
   Installed ArnoldiMethod ─────────────── v0.1.0
   Installed StatsBase ─────────────────── v0.34.9
   Installed Spot ──────────────────────── v0.2.4
   Installed Xorg_libXau_jll ───────────── v1.0.13+0
   Installed OrderedCollections ────────── v1.8.1
   Installed Xorg_libX11_jll ───────────── v1.8.12+0
   Installed IteratorInterfaceExtensions ─ v1.0.0
   Installed TranscodingStreams ────────── v0.11.3
   Installed Compat ────────────────────── v4.18.1
   Installed InvertedIndices ───────────── v1.3.1
   Installed DataAPI ───────────────────── v1.16.0
   Installed TensorCore ────────────────── v0.1.1
   Installed StatsAPI ──────────────────── v1.8.0
   Installed Statistics ────────────────── v1.11.1
   Installed PrecompileTools ───────────── v1.3.3
   Installed Colors ────────────────────── v0.13.1
   Installed DataValueInterfaces ───────── v1.0.0
   Installed ProgressMeter ─────────────── v1.11.0
   Installed SentinelArrays ────────────── v1.4.9
   Installed FileIO ────────────────────── v1.17.1
   Installed UnicodePlots ──────────────── v3.8.1
   Installed Libffi_jll ────────────────── v3.4.7+0
   Installed StaticArraysCore ──────────── v1.4.4
   Installed Pixman_jll ────────────────── v0.44.2+0
   Installed CxxWrap ───────────────────── v0.15.1
   Installed Fontconfig_jll ────────────── v2.17.1+0
   Installed StaticArrays ──────────────── v1.9.16
   Installed Expat_jll ─────────────────── v2.7.3+0
   Installed IrrationalConstants ───────── v0.2.6
   Installed QuadGK ────────────────────── v2.11.2
   Installed libpng_jll ────────────────── v1.6.53+0
   Installed GettextRuntime_jll ────────── v0.22.4+0
   Installed ColorTypes ────────────────── v0.12.1
   Installed StringManipulation ────────── v0.4.2
   Installed Contour ───────────────────── v0.6.3
   Installed Tectonic ──────────────────── v0.8.0
   Installed Requires ──────────────────── v1.3.1
   Installed NaNMath ───────────────────── v1.1.3
   Installed SimpleTraits ──────────────── v0.9.5
   Installed ColorVectorSpace ──────────── v0.11.0
   Installed Glib_jll ──────────────────── v2.86.2+0
   Installed TikzPictures ──────────────── v3.4.2
   Installed OpenSpecFun_jll ───────────── v0.5.6+0
   Installed Xorg_libXrender_jll ───────── v0.9.12+0
   Installed libcxxwrap_julia_jll ──────── v0.12.3+0
   Installed NamedTupleTools ───────────── v0.14.3
   Installed Rmath ─────────────────────── v0.9.0
   Installed LogExpFunctions ───────────── v0.3.29
   Installed Parameters ────────────────── v0.12.3
   Installed CommonRLInterface ─────────── v0.3.3
   Installed StatsFuns ─────────────────── v1.5.2
   Installed POMDPTools ────────────────── v1.1.0
   Installed PrettyTables ──────────────── v3.1.2
   Installed Distributions ─────────────── v0.25.123
   Installed Tables ────────────────────── v1.12.1
   Installed Xorg_libxcb_jll ───────────── v1.17.1+0
   Installed POMDPLinter ───────────────── v0.1.3
   Installed PtrArrays ─────────────────── v1.3.0
   Installed Xorg_libXdmcp_jll ─────────── v1.1.6+0
   Installed LZO_jll ───────────────────── v2.10.3+0
   Installed Reexport ──────────────────── v1.2.2
   Installed SpecialFunctions ──────────── v2.6.1
   Installed Poppler_jll ───────────────── v0.87.0+2
   Installed MetaGraphs ────────────────── v0.7.2
   Installed FixedPointNumbers ─────────── v0.8.5
   Installed DataFrames ────────────────── v1.8.1
   Installed LittleCMS_jll ─────────────── v2.12.0+0
   Installed Missings ──────────────────── v1.2.0
   Installed Preferences ───────────────── v1.5.1
   Installed FreeType2_jll ─────────────── v2.13.4+0
   Installed LERC_jll ──────────────────── v3.0.0+1
   Installed PooledArrays ──────────────── v1.4.3
   Installed Libiconv_jll ──────────────── v1.18.0+0
   Installed JLLWrappers ───────────────── v1.7.1
   Installed TableTraits ───────────────── v1.0.1
   Installed LLVMOpenMP_jll ────────────── v18.1.8+0
   Installed LaTeXStrings ──────────────── v1.4.0
   Installed Crayons ───────────────────── v4.1.1
   Installed PDMats ────────────────────── v0.11.37
   Installed SortingAlgorithms ─────────── v1.2.2
   Installed Xorg_libXext_jll ──────────── v1.3.7+0
   Installed UnPack ────────────────────── v1.0.2
   Installed DiscreteValueIteration ────── v0.4.8
   Installed DocStringExtensions ───────── v0.9.5
   Installed Inflate ───────────────────── v0.1.5
   Installed ColorSchemes ──────────────── v3.31.0
   Installed POMDPs ────────────────────── v1.0.0
   Installed LightGraphs ───────────────── v1.3.5
   Installed Graphs ────────────────────── v1.9.0
   Installed Xorg_xtrans_jll ───────────── v1.6.0+0
  Installing 32 artifacts
   Installed artifact Libffi          44.2 KiB
   Installed artifact Expat           283.3 KiB
   Installed artifact Xorg_libXext    699.9 KiB
   Installed artifact Pixman          372.2 KiB
   Installed artifact Xorg_libXdmcp   67.7 KiB
   Installed artifact Xorg_xtrans     48.2 KiB
   Installed artifact Fontconfig      984.8 KiB
   Installed artifact FreeType2       1.5 MiB
   Installed artifact Xorg_libXau     36.6 KiB
   Installed artifact LittleCMS       721.0 KiB
   Installed artifact OpenJpeg        403.1 KiB
   Installed artifact LERC            218.5 KiB
   Installed artifact Libuuid         3.7 MiB
   Installed artifact LZO             208.9 KiB
   Installed artifact LLVMOpenMP      661.6 KiB
   Installed artifact Libtiff         2.5 MiB
   Installed artifact JpegTurbo       1.4 MiB
   Installed artifact Xorg_libXrender 435.9 KiB
   Installed artifact OpenSpecFun     194.9 KiB
   Installed artifact Poppler         1.9 MiB
   Installed artifact GettextRuntime  543.0 KiB
   Installed artifact Rmath           121.9 KiB
   Installed artifact Libiconv        1.9 MiB
   Installed artifact Bzip2           503.5 KiB
   Installed artifact Cairo           2.2 MiB
   Installed artifact libpng          329.0 KiB
   Installed artifact Xorg_libxcb     2.1 MiB
   Installed artifact Libmount        6.5 MiB
   Installed artifact Glib            7.7 MiB
   Installed artifact tectonic_bin    22.9 MiB
   Installed artifact Xorg_libX11     13.9 MiB
   Installed artifact biber_bin       18.4 MiB
    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.31.0
  [3da002f7] + ColorTypes v0.12.1
  [c3611d14] + ColorVectorSpace v0.11.0
  [5ae59095] + Colors v0.13.1
  [d842c3ba] + CommonRLInterface v0.3.3
  [34da2185] + Compat v4.18.1
  [d38c429a] + Contour v0.6.3
  [a8cc5b0e] + Crayons v4.1.1
⌅ [1f15a43c] + CxxWrap v0.15.1
  [9a962f9c] + DataAPI v1.16.0
  [a93c6f00] + DataFrames v1.8.1
⌅ [864edb3b] + DataStructures v0.18.22
  [e2d170a0] + DataValueInterfaces v1.0.0
  [4b033969] + DiscreteValueIteration v0.4.8
  [31c24e10] + Distributions v0.25.123
  [ffbed154] + DocStringExtensions v0.9.5
  [5789e2e9] + FileIO v1.17.1
  [1a297f60] + FillArrays v1.15.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.5
  [41ab1584] + InvertedIndices v1.3.1
  [92d709cd] + IrrationalConstants v0.2.6
  [82899510] + IteratorInterfaceExtensions v1.0.0
⌅ [033835bb] + JLD2 v0.4.55
  [692b3bcd] + JLLWrappers v1.7.1
  [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.1
  [90014a1f] + PDMats v0.11.37
  [f3bd98c0] + POMDPLinter v0.1.3
  [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.3
  [21216c6a] + Preferences v1.5.1
  [08abe8d2] + PrettyTables v3.1.2
  [92933f4c] + ProgressMeter v1.11.0
  [43287f4e] + PtrArrays v1.3.0
  [1fd47b50] + QuadGK v2.11.2
  [189a3867] + Reexport v1.2.2
  [ae029012] + Requires v1.3.1
  [79098fc4] + Rmath v0.9.0
  [91c51154] + SentinelArrays v1.4.9
  [699a6c99] + SimpleTraits v0.9.5
  [a2af1166] + SortingAlgorithms v1.2.2
  [276daf66] + SpecialFunctions v2.6.1
⌃ [f11abc24] + Spot v0.2.4
  [90137ffa] + StaticArrays v1.9.16
  [1e83bf80] + StaticArraysCore v1.4.4
  [10745b16] + Statistics v1.11.1
  [82ae8749] + StatsAPI v1.8.0
  [2913bbd2] + StatsBase v0.34.9
  [4c63d2b9] + StatsFuns v1.5.2
  [892a3eda] + StringManipulation v0.4.2
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.1
  [9ac5f52a] + Tectonic v0.8.0
  [62fd8b95] + TensorCore v0.1.1
⌃ [37f6aa50] + TikzPictures v3.4.2
  [3bb67fe8] + TranscodingStreams v0.11.3
  [410a4b4d] + Tricks v0.1.13
  [3a884ed6] + UnPack v1.0.2
  [b8865327] + UnicodePlots v3.8.1
  [6e34b625] + Bzip2_jll v1.0.9+0
  [83423d85] + Cairo_jll v1.18.5+0
  [2e619515] + Expat_jll v2.7.3+0
  [a3f928ae] + Fontconfig_jll v2.17.1+0
  [d7e528f0] + FreeType2_jll v2.13.4+0
  [b0724c58] + GettextRuntime_jll v0.22.4+0
  [7746bdde] + Glib_jll v2.86.2+0
  [aacddb02] + JpegTurbo_jll v3.1.4+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.2+0
⌅ [89763e89] + Libtiff_jll v4.4.0+0
  [38a345b3] + Libuuid_jll v2.41.2+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
  [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
⌅ [3eaa8342] + libcxxwrap_julia_jll v0.12.3+0
  [b53b4c65] + libpng_jll v1.6.53+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 v1.0.0
  [76f85450] + LibGit2 v1.11.0
  [8f399da3] + Libdl v1.11.0
  [37e2e46d] + LinearAlgebra v1.13.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [a63ad114] + Mmap 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 v1.0.0
  [9e88b42a] + Serialization v1.11.0
  [1a1011a3] + SharedArrays v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [2f01184e] + SparseArrays v1.13.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.16.0+0
  [e37daf67] + LibGit2_jll v1.9.1+0
  [29816b5a] + LibSSH2_jll v1.11.3+1
  [14a3606d] + MozillaCACerts_jll v2025.12.2
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [05823500] + OpenLibm_jll v0.8.7+0
  [458c3c95] + OpenSSL_jll v3.5.4+0
  [efcefdf7] + PCRE2_jll v10.46.0+0
  [bea87d4a] + SuiteSparse_jll v7.10.1+0
  [83775a58] + Zlib_jll v1.3.1+2
  [3161d3a3] + Zstd_jll v1.5.7+1
  [8e850b90] + libblastrampoline_jll v5.15.0+0
  [8e850ede] + nghttp2_jll v1.67.1+0
  [3f19e933] + p7zip_jll v17.7.0+0
        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 19.24s


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

Precompiling PkgEval dependencies...
Precompiling packages...
   4700.6 ms  ✓ TestEnv
  1 dependency successfully precompiled in 5 seconds. 27 already precompiled.

Precompiling package dependencies...

Precompilation completed after 295.45s


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

     Testing POMDPModelChecking
      Status `/tmp/jl_b4Uajn/Project.toml`
  [35d6a980] ColorSchemes v3.31.0
  [a81c6b42] Compose v0.9.6
  [4b033969] DiscreteValueIteration v0.4.8
  [31c24e10] Distributions v0.25.123
  [093fc24a] LightGraphs v1.3.5
  [abefb91b] POMDPModelChecking v0.1.3
  [355abbd5] POMDPModels v0.4.21
  [7588e00f] POMDPTools v1.1.0
  [a93abf59] POMDPs v1.0.0
  [d96e819e] Parameters v0.12.3
  [3aa3ecc9] QMDP v0.1.8
⌃ [f11abc24] Spot v0.2.4
  [90137ffa] StaticArrays v1.9.16
  [37e2e46d] LinearAlgebra v1.13.0
  [9a3f8284] Random v1.11.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_b4Uajn/Manifest.toml`
  [66dad0bd] AliasTables v1.1.3
⌅ [ec485272] ArnoldiMethod v0.1.0
  [35d6a980] ColorSchemes v3.31.0
  [3da002f7] ColorTypes v0.12.1
  [c3611d14] ColorVectorSpace v0.11.0
  [5ae59095] Colors v0.13.1
  [d842c3ba] CommonRLInterface v0.3.3
  [34da2185] Compat v4.18.1
  [a81c6b42] Compose v0.9.6
  [d38c429a] Contour v0.6.3
  [a8cc5b0e] Crayons v4.1.1
⌅ [1f15a43c] CxxWrap v0.15.1
  [9a962f9c] DataAPI v1.16.0
  [a93c6f00] DataFrames v1.8.1
⌅ [864edb3b] DataStructures v0.18.22
  [e2d170a0] DataValueInterfaces v1.0.0
  [4b033969] DiscreteValueIteration v0.4.8
  [31c24e10] Distributions v0.25.123
  [ffbed154] DocStringExtensions v0.9.5
  [5789e2e9] FileIO v1.17.1
  [1a297f60] FillArrays v1.15.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.5
  [41ab1584] InvertedIndices v1.3.1
  [92d709cd] IrrationalConstants v0.2.6
  [c8e1da08] IterTools v1.10.0
  [82899510] IteratorInterfaceExtensions v1.0.0
⌅ [033835bb] JLD2 v0.4.55
  [692b3bcd] JLLWrappers v1.7.1
⌅ [682c06a0] JSON v0.21.4
  [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
  [442fdcdd] Measures v0.3.3
⌅ [626554b9] MetaGraphs v0.7.2
  [e1d29d7a] Missings v1.2.0
  [77ba4419] NaNMath v1.1.3
  [d9ec5142] NamedTupleTools v0.14.3
  [bac558e1] OrderedCollections v1.8.1
  [90014a1f] PDMats v0.11.37
  [f3bd98c0] POMDPLinter v0.1.3
  [abefb91b] POMDPModelChecking v0.1.3
  [355abbd5] POMDPModels v0.4.21
  [7588e00f] POMDPTools v1.1.0
  [a93abf59] POMDPs v1.0.0
  [d96e819e] Parameters v0.12.3
  [69de0a69] Parsers v2.8.3
  [2dfb63ee] PooledArrays v1.4.3
  [aea7be01] PrecompileTools v1.3.3
  [21216c6a] Preferences v1.5.1
  [08abe8d2] PrettyTables v3.1.2
  [92933f4c] ProgressMeter v1.11.0
  [43287f4e] PtrArrays v1.3.0
  [3aa3ecc9] QMDP v0.1.8
  [1fd47b50] QuadGK v2.11.2
  [189a3867] Reexport v1.2.2
  [ae029012] Requires v1.3.1
  [79098fc4] Rmath v0.9.0
  [91c51154] SentinelArrays v1.4.9
  [699a6c99] SimpleTraits v0.9.5
  [a2af1166] SortingAlgorithms v1.2.2
  [276daf66] SpecialFunctions v2.6.1
⌃ [f11abc24] Spot v0.2.4
  [90137ffa] StaticArrays v1.9.16
  [1e83bf80] StaticArraysCore v1.4.4
  [10745b16] Statistics v1.11.1
  [82ae8749] StatsAPI v1.8.0
  [2913bbd2] StatsBase v0.34.9
  [4c63d2b9] StatsFuns v1.5.2
  [892a3eda] StringManipulation v0.4.2
  [3783bdb8] TableTraits v1.0.1
  [bd369af6] Tables v1.12.1
  [9ac5f52a] Tectonic v0.8.0
  [62fd8b95] TensorCore v0.1.1
⌃ [37f6aa50] TikzPictures v3.4.2
  [3bb67fe8] TranscodingStreams v0.11.3
  [410a4b4d] Tricks v0.1.13
  [3a884ed6] UnPack v1.0.2
  [b8865327] UnicodePlots v3.8.1
  [6e34b625] Bzip2_jll v1.0.9+0
  [83423d85] Cairo_jll v1.18.5+0
  [2e619515] Expat_jll v2.7.3+0
  [a3f928ae] Fontconfig_jll v2.17.1+0
  [d7e528f0] FreeType2_jll v2.13.4+0
  [b0724c58] GettextRuntime_jll v0.22.4+0
  [7746bdde] Glib_jll v2.86.2+0
  [aacddb02] JpegTurbo_jll v3.1.4+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.2+0
⌅ [89763e89] Libtiff_jll v4.4.0+0
  [38a345b3] Libuuid_jll v2.41.2+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
  [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
⌅ [3eaa8342] libcxxwrap_julia_jll v0.12.3+0
  [b53b4c65] libpng_jll v1.6.53+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 v1.0.0
  [76f85450] LibGit2 v1.11.0
  [8f399da3] Libdl v1.11.0
  [37e2e46d] LinearAlgebra v1.13.0
  [56ddb016] Logging v1.11.0
  [d6f4376e] Markdown v1.11.0
  [a63ad114] Mmap 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 v1.0.0
  [9e88b42a] Serialization v1.11.0
  [1a1011a3] SharedArrays v1.11.0
  [6462fe0b] Sockets v1.11.0
  [2f01184e] SparseArrays v1.13.0
  [f489334b] StyledStrings v1.11.0
  [4607b0f0] SuiteSparse
  [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.16.0+0
  [e37daf67] LibGit2_jll v1.9.1+0
  [29816b5a] LibSSH2_jll v1.11.3+1
  [14a3606d] MozillaCACerts_jll v2025.12.2
  [4536629a] OpenBLAS_jll v0.3.29+0
  [05823500] OpenLibm_jll v0.8.7+0
  [458c3c95] OpenSSL_jll v3.5.4+0
  [efcefdf7] PCRE2_jll v10.46.0+0
  [bea87d4a] SuiteSparse_jll v7.10.1+0
  [83775a58] Zlib_jll v1.3.1+2
  [3161d3a3] Zstd_jll v1.5.7+1
  [8e850b90] libblastrampoline_jll v5.15.0+0
  [8e850ede] nghttp2_jll v1.67.1+0
  [3f19e933] p7zip_jll v17.7.0+0
        Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading.
     Testing Running tests...
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:309
  [4] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2811
  [5] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2570
  [6] macro expansion
    @ ./loading.jl:2498 [inlined]
  [7] macro expansion
    @ ./lock.jl:376 [inlined]
  [8] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2462
  [9] require
    @ ./loading.jl:2438 [inlined]
 [10] eval_import_path
    @ ./module.jl:36 [inlined]
 [11] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [12] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [13] top-level scope
    @ ~/.julia/packages/Spot/hxcR4/src/Spot.jl:3
 [14] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [15] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2811
 [16] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2570
 [17] macro expansion
    @ ./loading.jl:2498 [inlined]
 [18] macro expansion
    @ ./lock.jl:376 [inlined]
 [19] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2462
 [20] require
    @ ./loading.jl:2438 [inlined]
 [21] eval_import_path
    @ ./module.jl:36 [inlined]
 [22] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [23] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [24] top-level scope
    @ ~/.julia/packages/POMDPModelChecking/lPaSf/src/POMDPModelChecking.jl:12
 [25] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [26] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2811
 [27] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2570
 [28] macro expansion
    @ ./loading.jl:2498 [inlined]
 [29] macro expansion
    @ ./lock.jl:376 [inlined]
 [30] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2462
 [31] require
    @ ./loading.jl:2438 [inlined]
 [32] eval_import_path
    @ ./module.jl:36 [inlined]
 [33] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [34] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [35] top-level scope
    @ ~/.julia/packages/POMDPModelChecking/lPaSf/test/runtests.jl:1
 [36] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [37] top-level scope
    @ none:6
 [38] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [39] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:310
 [40] _start()
    @ Base ./client.jl:577
in expression starting at /home/pkgeval/.julia/packages/CxxWrap/J8Cop/src/CxxWrap.jl:1
in expression starting at /home/pkgeval/.julia/packages/Spot/hxcR4/src/Spot.jl:1
in expression starting at /home/pkgeval/.julia/packages/POMDPModelChecking/lPaSf/src/POMDPModelChecking.jl:1
in expression starting at /home/pkgeval/.julia/packages/POMDPModelChecking/lPaSf/test/runtests.jl:1

Testing failed after 509.83s

ERROR: LoadError: Package POMDPModelChecking 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:3010
  [3] test
    @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2859 [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:572
  [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:548
  [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:172
  [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:161
  [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:160
  [9] test
    @ /opt/julia/share/julia/stdlib/v1.13/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.13/Pkg/src/API.jl:159
 [11] top-level scope
    @ /PkgEval.jl/scripts/evaluate.jl:237
 [12] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [13] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:344
 [14] _start()
    @ Base ./client.jl:577
in expression starting at /PkgEval.jl/scripts/evaluate.jl:228

PkgEval failed after 852.13s: package tests unexpectedly errored