Package evaluation to test IntervalMDP on Julia 1.14.0-DEV.1613 (8dab3f0623*) started at 2026-01-25T21:24:34.971


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

Installing PkgEval dependencies (TestEnv)...
  Activating project at `~/.julia/environments/v1.14`

Set-up completed after 10.13s


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

Installing IntervalMDP...
   Resolving package versions...
    Updating `~/.julia/environments/v1.14/Project.toml`
  [051c988a] + IntervalMDP v0.7.0
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [6e4b80f9] + BenchmarkTools v1.6.3
  [179af706] + CFTime v0.2.5
  [523fee87] + CodecBzip2 v0.8.5
  [944b1d66] + CodecZlib v0.7.8
  [1fbeeb36] + CommonDataModel v0.4.2
  [38540f10] + CommonSolve v0.2.6
  [bbf7d656] + CommonSubexpressions v0.3.1
  [34da2185] + Compat v4.18.1
  [187b0558] + ConstructionBase v1.6.0
  [864edb3b] + DataStructures v0.19.3
  [163ba53b] + DiffResults v1.1.0
  [b552c78f] + DiffRules v1.15.1
  [3c3547ce] + DiskArrays v0.4.18
  [ffbed154] + DocStringExtensions v0.9.5
  [f6369f11] + ForwardDiff v1.3.1
  [87dc4568] + HiGHS v1.20.1
  [051c988a] + IntervalMDP v0.7.0
  [92d709cd] + IrrationalConstants v0.2.6
  [692b3bcd] + JLLWrappers v1.7.1
  [682c06a0] + JSON v1.4.0
  [0f8b85d8] + JSON3 v1.14.3
  [4076af6c] + JuMP v1.29.4
  [8ac3fa9e] + LRUCache v1.6.2
  [2ab3a3ac] + LogExpFunctions v0.3.29
  [3da0fdf6] + MPIPreferences v0.1.11
  [1914dd2f] + MacroTools v0.5.16
  [8c4f8055] + MathOptIIS v0.1.1
  [b8f27783] + MathOptInterface v1.48.0
  [d8a4904e] + MutableArithmetics v1.6.7
  [85f8d34a] + NCDatasets v0.14.10
  [77ba4419] + NaNMath v1.1.3
  [6fe1bfb0] + OffsetArrays v1.17.0
  [bac558e1] + OrderedCollections v1.8.1
  [69de0a69] + Parsers v2.8.3
  [aea7be01] + PrecompileTools v1.3.3
  [21216c6a] + Preferences v1.5.1
  [276daf66] + SpecialFunctions v2.6.1
  [1e83bf80] + StaticArraysCore v1.4.4
  [10745b16] + Statistics v1.11.1
  [856f2bd8] + StructTypes v1.11.0
  [ec057cc2] + StructUtils v2.6.2
  [3bb67fe8] + TranscodingStreams v0.11.3
  [0b7ba130] + Blosc_jll v1.21.7+0
  [6e34b625] + Bzip2_jll v1.0.9+0
⌅ [0234f1f7] + HDF5_jll v1.14.6+0
  [8fd58aa0] + HiGHS_jll v1.12.0+0
  [e33a78d0] + Hwloc_jll v2.12.2+0
  [94ce4f54] + Libiconv_jll v1.18.0+0
  [5ced341a] + Lz4_jll v1.10.1+0
  [d00139f3] + METIS_jll v5.1.3+0
  [7cb0a576] + MPICH_jll v4.3.2+0
  [f1f71cc9] + MPItrampoline_jll v5.5.4+0
  [9237b28f] + MicrosoftMPI_jll v10.1.4+3
  [7243133f] + NetCDF_jll v401.900.300+0
  [656ef2d0] + OpenBLAS32_jll v0.3.30+0
  [fe0851c0] + OpenMPI_jll v5.0.9+0
  [efe28fd5] + OpenSpecFun_jll v0.5.6+0
⌅ [02c8fc9c] + XML2_jll v2.13.9+0
  [ffd25f8a] + XZ_jll v5.8.2+0
  [a65dc6b1] + Xorg_libpciaccess_jll v0.18.1+0
  [477f73a3] + libaec_jll v1.1.5+0
  [337d8026] + libzip_jll v1.11.3+0
  [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
  [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.14.0
  [de0858da] + Printf v1.11.0
  [9abbd945] + Profile v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v1.0.0
  [9e88b42a] + Serialization v1.11.0
  [2f01184e] + SparseArrays v1.13.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.18.0+0
  [e37daf67] + LibGit2_jll v1.9.2+0
  [29816b5a] + LibSSH2_jll v1.11.3+1
  [14a3606d] + MozillaCACerts_jll v2025.12.2
  [4536629a] + OpenBLAS_jll v0.3.30+0
  [05823500] + OpenLibm_jll v0.8.7+0
  [458c3c95] + OpenSSL_jll v3.5.4+0
  [efcefdf7] + PCRE2_jll v10.47.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.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 10.49s


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

Precompiling PkgEval dependencies...

Precompiling package dependencies...
Precompiling packages...
ERROR: LoadError: ArgumentError: Function definition contains invalid or missing arguments
Expr
  head: Symbol =
  args: Array{Any}((2,))
    1: Symbol #2354#val
    2: Expr
      head: Symbol =
      args: Array{Any}((2,))
        1: Expr
          head: Symbol call
          args: Array{Any}((1,))
            1: Symbol gridDim
        2: Expr
          head: Symbol block
          args: Array{Any}((3,))
            1: Expr
              head: Symbol meta
              args: Array{Any}((1,))
                1: Symbol inline
            2: LineNumberNode
              line: Int64 71
              file: Symbol /home/pkgeval/.julia/packages/CUDA/FJf6p/src/device/intrinsics/indexing.jl
            3: Expr
              head: Symbol tuple
              args: Array{Any}((3,))
                1: Expr
                2: Expr
                3: Expr

Stacktrace:
  [1] invalid_def
    @ ~/.julia/packages/ExprTools/MDS6z/src/function.jl:30 [inlined]
  [2] splitdef(ex::Expr; throw::Bool)
    @ ExprTools ~/.julia/packages/ExprTools/MDS6z/src/function.jl:121
  [3] splitdef(ex::Expr)
    @ ExprTools ~/.julia/packages/ExprTools/MDS6z/src/function.jl:23
  [4] var"@device_function"(__source__::LineNumberNode, __module__::Module, ex::Any)
    @ CUDA ~/.julia/packages/CUDA/FJf6p/src/device/utils.jl:29
  [5] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
    @ Base ./flfrontend.jl:24
  [6] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
  [7] top-level scope
    @ ~/.julia/packages/CUDA/FJf6p/src/device/intrinsics.jl:8
  [8] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
  [9] top-level scope
    @ ~/.julia/packages/CUDA/FJf6p/src/CUDA.jl:78
 [10] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3308
 [12] top-level scope
    @ stdin:5
 [13] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:3150
 [15] include_string
    @ ./loading.jl:3160 [inlined]
 [16] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [17] _start()
    @ Base ./client.jl:585
in expression starting at /home/pkgeval/.julia/packages/CUDA/FJf6p/src/device/utils.jl:56
in expression starting at /home/pkgeval/.julia/packages/CUDA/FJf6p/src/device/intrinsics/indexing.jl:64
in expression starting at /home/pkgeval/.julia/packages/CUDA/FJf6p/src/device/intrinsics.jl:8
in expression starting at /home/pkgeval/.julia/packages/CUDA/FJf6p/src/CUDA.jl:1
in expression starting at stdin:5
              ✗ CUDA
   7345.0 ms  ✓ MathOptIIS
  66996.1 ms  ✓ JuMP
  11920.6 ms  ✓ GLPK
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("052768ef-5323-5732-b1bb-66c8b64840ba"), "CUDA") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0)
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2863
  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2715
  [4] macro expansion
    @ ./loading.jl:2642 [inlined]
  [5] macro expansion
    @ ./lock.jl:376 [inlined]
  [6] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2606
  [7] require
    @ ./loading.jl:2582 [inlined]
  [8] eval_import_path
    @ ./module.jl:36 [inlined]
  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [10] _eval_using
    @ ./module.jl:137 [inlined]
 [11] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [12] top-level scope
    @ ~/.julia/packages/CUDA/FJf6p/ext/SpecialFunctionsExt.jl:5
 [13] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3308
 [15] top-level scope
    @ stdin:5
 [16] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:3150
 [18] include_string
    @ ./loading.jl:3160 [inlined]
 [19] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [20] _start()
    @ Base ./client.jl:585
in expression starting at /home/pkgeval/.julia/packages/CUDA/FJf6p/ext/SpecialFunctionsExt.jl:3
in expression starting at stdin:5
              ✗ CUDA → SpecialFunctionsExt
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("052768ef-5323-5732-b1bb-66c8b64840ba"), "CUDA") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0)
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2863
  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2715
  [4] macro expansion
    @ ./loading.jl:2642 [inlined]
  [5] macro expansion
    @ ./lock.jl:376 [inlined]
  [6] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2606
  [7] require
    @ ./loading.jl:2582 [inlined]
  [8] eval_import_path
    @ ./module.jl:36 [inlined]
  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [10] _eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})
    @ Base ./module.jl:101
 [11] top-level scope
    @ ~/.julia/packages/Atomix/0UMek/ext/AtomixCUDAExt.jl:5
 [12] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3308
 [14] top-level scope
    @ stdin:5
 [15] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:3150
 [17] include_string
    @ ./loading.jl:3160 [inlined]
 [18] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [19] _start()
    @ Base ./client.jl:585
in expression starting at /home/pkgeval/.julia/packages/Atomix/0UMek/ext/AtomixCUDAExt.jl:2
in expression starting at stdin:5
              ✗ Atomix → AtomixCUDAExt
  33317.6 ms  ✓ HiGHS
  37575.0 ms  ✓ LazySets
  26343.3 ms  ✓ IntervalMDP
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("052768ef-5323-5732-b1bb-66c8b64840ba"), "CUDA") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0)
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2863
  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2715
  [4] macro expansion
    @ ./loading.jl:2642 [inlined]
  [5] macro expansion
    @ ./lock.jl:376 [inlined]
  [6] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2606
  [7] require
    @ ./loading.jl:2582 [inlined]
  [8] eval_import_path
    @ ./module.jl:36 [inlined]
  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [10] _eval_using
    @ ./module.jl:137 [inlined]
 [11] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [12] top-level scope
    @ ~/.julia/packages/IntervalMDP/kfg3x/ext/IntervalMDPCudaExt.jl:6
 [13] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3308
 [15] top-level scope
    @ stdin:5
 [16] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:3150
 [18] include_string
    @ ./loading.jl:3160 [inlined]
 [19] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [20] _start()
    @ Base ./client.jl:585
in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/ext/IntervalMDPCudaExt.jl:1
in expression starting at stdin:5
              ✗ IntervalMDP → IntervalMDPCudaExt
  6 dependencies successfully precompiled in 236 seconds. 187 already precompiled.

Precompilation completed after 256.21s


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

     Testing IntervalMDP
      Status `/tmp/jl_urHdI5/Project.toml`
  [6e4b80f9] BenchmarkTools v1.6.3
  [052768ef] CUDA v5.9.6
  [0c68f7d7] GPUArrays v11.3.4
  [051c988a] IntervalMDP v0.7.0 `~/.julia/packages/IntervalMDP/kfg3x`
  [b4f0291d] LazySets v5.1.0
  [295af30f] Revise v3.13.2
  [276daf66] SpecialFunctions v2.6.1
  [2913bbd2] StatsBase v0.34.10
  [37e2e46d] LinearAlgebra v1.13.0
  [9a3f8284] Random v1.11.0
  [2f01184e] SparseArrays v1.13.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_urHdI5/Manifest.toml`
  [621f4979] AbstractFFTs v1.5.0
  [79e6a3ab] Adapt v4.4.0
  [66dad0bd] AliasTables v1.1.3
  [a9b6321e] Atomix v1.1.2
  [ab4f0b2a] BFloat16s v0.6.1
  [6e4b80f9] BenchmarkTools v1.6.3
  [fa961155] CEnum v0.5.0
  [179af706] CFTime v0.2.5
  [96374032] CRlibm v1.0.2
  [052768ef] CUDA v5.9.6
  [1af6417a] CUDA_Runtime_Discovery v1.0.0
  [da1fd8a2] CodeTracking v3.0.0
  [523fee87] CodecBzip2 v0.8.5
  [944b1d66] CodecZlib v0.7.8
  [1fbeeb36] CommonDataModel v0.4.2
  [38540f10] CommonSolve v0.2.6
  [bbf7d656] CommonSubexpressions v0.3.1
  [34da2185] Compat v4.18.1
  [807dbc54] Compiler v0.1.1
  [187b0558] ConstructionBase v1.6.0
  [a8cc5b0e] Crayons v4.1.1
  [9a962f9c] DataAPI v1.16.0
  [a93c6f00] DataFrames v1.8.1
  [864edb3b] DataStructures v0.19.3
  [e2d170a0] DataValueInterfaces v1.0.0
  [163ba53b] DiffResults v1.1.0
  [b552c78f] DiffRules v1.15.1
  [3c3547ce] DiskArrays v0.4.18
  [ffbed154] DocStringExtensions v0.9.5
  [4e289a0a] EnumX v1.0.6
  [90fa49ef] ErrorfreeArithmetic v0.5.2
  [e2ba6199] ExprTools v0.1.10
  [fa42c844] FastRounding v0.3.1
  [f6369f11] ForwardDiff v1.3.1
  [60bf3e95] GLPK v1.2.1
  [0c68f7d7] GPUArrays v11.3.4
  [46192b85] GPUArraysCore v0.2.0
  [61eb1bfa] GPUCompiler v1.8.1
  [096a3bc2] GPUToolbox v1.0.0
  [076d061b] HashArrayMappedTries v0.2.0
  [87dc4568] HiGHS v1.20.1
  [842dd82b] InlineStrings v1.4.5
⌅ [d1acc4aa] IntervalArithmetic v0.21.2
  [051c988a] IntervalMDP v0.7.0 `~/.julia/packages/IntervalMDP/kfg3x`
  [41ab1584] InvertedIndices v1.3.1
  [92d709cd] IrrationalConstants v0.2.6
  [82899510] IteratorInterfaceExtensions v1.0.0
  [692b3bcd] JLLWrappers v1.7.1
  [682c06a0] JSON v1.4.0
  [0f8b85d8] JSON3 v1.14.3
  [4076af6c] JuMP v1.29.4
  [aa1ae85d] JuliaInterpreter v0.10.9
  [63c18a36] KernelAbstractions v0.9.39
  [929cbde3] LLVM v9.4.4
  [8b046642] LLVMLoopInfo v1.0.0
  [8ac3fa9e] LRUCache v1.6.2
  [b964fa9f] LaTeXStrings v1.4.0
  [b4f0291d] LazySets v5.1.0
  [2ab3a3ac] LogExpFunctions v0.3.29
  [6f1432cf] LoweredCodeUtils v3.5.0
  [3da0fdf6] MPIPreferences v0.1.11
  [1914dd2f] MacroTools v0.5.16
  [8c4f8055] MathOptIIS v0.1.1
  [b8f27783] MathOptInterface v1.48.0
  [e1d29d7a] Missings v1.2.0
  [d8a4904e] MutableArithmetics v1.6.7
  [85f8d34a] NCDatasets v0.14.10
  [5da4648a] NVTX v1.0.3
  [77ba4419] NaNMath v1.1.3
  [6fe1bfb0] OffsetArrays v1.17.0
  [bac558e1] OrderedCollections v1.8.1
  [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
  [43287f4e] PtrArrays v1.3.0
  [74087812] Random123 v1.7.1
  [e6cf234a] RandomNumbers v1.6.0
  [379f33d0] ReachabilityBase v0.3.5
  [3cdcf5f2] RecipesBase v1.3.4
  [189a3867] Reexport v1.2.2
  [ae029012] Requires v1.3.1
  [295af30f] Revise v3.13.2
  [5eaf0fd0] RoundingEmulator v0.2.1
  [7e506255] ScopedValues v1.5.0
  [6c6a2e73] Scratch v1.3.0
  [91c51154] SentinelArrays v1.4.9
  [3cc68bcd] SetRounding v0.2.1
  [a2af1166] SortingAlgorithms v1.2.2
  [276daf66] SpecialFunctions v2.6.1
  [90137ffa] StaticArrays v1.9.16
  [1e83bf80] StaticArraysCore v1.4.4
  [10745b16] Statistics v1.11.1
  [82ae8749] StatsAPI v1.8.0
  [2913bbd2] StatsBase v0.34.10
  [892a3eda] StringManipulation v0.4.2
  [856f2bd8] StructTypes v1.11.0
  [ec057cc2] StructUtils v2.6.2
  [3783bdb8] TableTraits v1.0.1
  [bd369af6] Tables v1.12.1
  [e689c965] Tracy v0.1.6
  [3bb67fe8] TranscodingStreams v0.11.3
  [013be700] UnsafeAtomics v0.3.0
  [0b7ba130] Blosc_jll v1.21.7+0
  [6e34b625] Bzip2_jll v1.0.9+0
  [4e9b3aee] CRlibm_jll v1.0.1+0
  [d1e2174e] CUDA_Compiler_jll v0.4.1+1
  [4ee394cb] CUDA_Driver_jll v13.1.0+2
⌅ [76a88914] CUDA_Runtime_jll v0.19.2+0
  [e8aa6df9] GLPK_jll v5.0.1+1
⌅ [0234f1f7] HDF5_jll v1.14.6+0
  [8fd58aa0] HiGHS_jll v1.12.0+0
  [e33a78d0] Hwloc_jll v2.12.2+0
  [9c1d0b0a] JuliaNVTXCallbacks_jll v0.2.1+0
  [dad2f222] LLVMExtra_jll v0.0.38+0
  [ad6e5548] LibTracyClient_jll v0.13.1+0
  [94ce4f54] Libiconv_jll v1.18.0+0
  [5ced341a] Lz4_jll v1.10.1+0
  [d00139f3] METIS_jll v5.1.3+0
  [7cb0a576] MPICH_jll v4.3.2+0
  [f1f71cc9] MPItrampoline_jll v5.5.4+0
  [9237b28f] MicrosoftMPI_jll v10.1.4+3
  [e98f9f5b] NVTX_jll v3.2.2+0
  [7243133f] NetCDF_jll v401.900.300+0
  [656ef2d0] OpenBLAS32_jll v0.3.30+0
  [fe0851c0] OpenMPI_jll v5.0.9+0
  [efe28fd5] OpenSpecFun_jll v0.5.6+0
⌅ [02c8fc9c] XML2_jll v2.13.9+0
  [ffd25f8a] XZ_jll v5.8.2+0
  [a65dc6b1] Xorg_libpciaccess_jll v0.18.1+0
  [1e29f10c] demumble_jll v1.3.0+0
  [477f73a3] libaec_jll v1.1.5+0
  [337d8026] libzip_jll v1.11.3+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.13.0
  [4af54fe1] LazyArtifacts v1.11.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.14.0
  [de0858da] Printf v1.11.0
  [9abbd945] Profile 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.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
  [781609d7] GMP_jll v6.3.0+2
  [deac9b47] LibCURL_jll v8.18.0+0
  [e37daf67] LibGit2_jll v1.9.2+0
  [29816b5a] LibSSH2_jll v1.11.3+1
  [14a3606d] MozillaCACerts_jll v2025.12.2
  [4536629a] OpenBLAS_jll v0.3.30+0
  [05823500] OpenLibm_jll v0.8.7+0
  [458c3c95] OpenSSL_jll v3.5.4+0
  [efcefdf7] PCRE2_jll v10.47.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.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...
ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("337d8026-41b4-5cde-a456-74a10e5b31d1"), "libzip_jll") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=0, inline=true, opt_level=0)
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2863
  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2715
  [4] macro expansion
    @ ./loading.jl:2642 [inlined]
  [5] macro expansion
    @ ./lock.jl:376 [inlined]
  [6] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2606
  [7] require
    @ ./loading.jl:2582 [inlined]
  [8] eval_import_path
    @ ./module.jl:36 [inlined]
  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [10] _eval_using
    @ ./module.jl:137 [inlined]
 [11] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [12] top-level scope
    @ ~/.julia/packages/NetCDF_jll/f16pp/src/wrappers/x86_64-linux-gnu-mpi+mpich.jl:12
 [13] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [14] top-level scope
    @ ~/.julia/packages/JLLWrappers/m2Pjh/src/toplevel_generators.jl:199
 [15] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [16] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3308
 [17] top-level scope
    @ stdin:5
 [18] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [19] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:3150
 [20] include_string
    @ ./loading.jl:3160 [inlined]
 [21] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [22] _start()
    @ Base ./client.jl:585
in expression starting at /home/pkgeval/.julia/packages/NetCDF_jll/f16pp/src/wrappers/x86_64-linux-gnu-mpi+mpich.jl:12
in expression starting at /home/pkgeval/.julia/packages/NetCDF_jll/f16pp/src/NetCDF_jll.jl:2
in expression starting at stdin:5

reachability: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:73
  Expression: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", str)
   Evaluated: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", "FiniteTimeReachability\n├─ Time horizon: 10\n└─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:62 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:73 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

reachability: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:86
  Expression: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", str)
   Evaluated: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", "InfiniteTimeReachability\n├─ Convergence threshold: 1.0e-6\n└─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:62 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:86 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

reachability: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:99
  Expression: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", str)
   Evaluated: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", "ExactTimeReachability\n├─ Time horizon: 10\n└─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:62 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:99 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

reach-avoid: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:115
  Expression: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", str)
   Evaluated: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", "FiniteTimeReachAvoid\n├─ Time horizon: 10\n├─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n└─ Avoid states: CartesianIndex{1}[CartesianIndex(4)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:103 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:115 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

reach-avoid: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:116
  Expression: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(4,)]", str)
   Evaluated: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(4,)]", "FiniteTimeReachAvoid\n├─ Time horizon: 10\n├─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n└─ Avoid states: CartesianIndex{1}[CartesianIndex(4)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:103 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:116 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

reach-avoid: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:130
  Expression: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", str)
   Evaluated: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", "InfiniteTimeReachAvoid\n├─ Convergence threshold: 1.0e-6\n├─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n└─ Avoid states: CartesianIndex{1}[CartesianIndex(4)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:103 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:130 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

reach-avoid: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:131
  Expression: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(4,)]", str)
   Evaluated: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(4,)]", "InfiniteTimeReachAvoid\n├─ Convergence threshold: 1.0e-6\n├─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n└─ Avoid states: CartesianIndex{1}[CartesianIndex(4)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:103 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:131 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

reach-avoid: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:145
  Expression: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", str)
   Evaluated: occursin("Reach states: CartesianIndex{1}[CartesianIndex(3,)]", "ExactTimeReachAvoid\n├─ Time horizon: 10\n├─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n└─ Avoid states: CartesianIndex{1}[CartesianIndex(4)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:103 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:145 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

reach-avoid: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:146
  Expression: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(4,)]", str)
   Evaluated: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(4,)]", "ExactTimeReachAvoid\n├─ Time horizon: 10\n├─ Reach states: CartesianIndex{1}[CartesianIndex(3)]\n└─ Avoid states: CartesianIndex{1}[CartesianIndex(4)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:103 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:146 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

safety: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:161
  Expression: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(3,)]", str)
   Evaluated: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(3,)]", "FiniteTimeSafety\n├─ Time horizon: 10\n└─ Avoid states: CartesianIndex{1}[CartesianIndex(3)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:150 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:161 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

safety: Test Failed at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:174
  Expression: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(3,)]", str)
   Evaluated: occursin("Avoid states: CartesianIndex{1}[CartesianIndex(3,)]", "InfiniteTimeSafety\n├─ Convergence threshold: 1.0e-6\n└─ Avoid states: CartesianIndex{1}[CartesianIndex(3)]\n")
  Stacktrace:
   [1] top-level scope
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:5
   [2] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [3] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:150 [inlined]
   [4] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
   [5] macro expansion
     @ ~/.julia/packages/IntervalMDP/kfg3x/test/base/specification.jl:174 [inlined]
   [6] macro expansion
     @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined]

======================================================================================
Information request received. A stacktrace will print followed by a 1.0 second profile.
--trace-compile is enabled during profile collection.
======================================================================================

cmd: /opt/julia/bin/julia 297 running 1 of 1

signal (10): User defined signal 1
unknown function (ip: 0x74a596a92f14) at /lib/x86_64-linux-gnu/libc.so.6
unknown function (ip: 0x74a596a97cb2) at /lib/x86_64-linux-gnu/libc.so.6
__gthread_join at /workspace/srcdir/gcc_build/x86_64-linux-gnu/libstdc++-v3/include/x86_64-linux-gnu/bits/gthr-default.h:682 [inlined]
join at /workspace/srcdir/gcc-14.2.0/libstdc++-v3/src/c++11/thread.cc:134
_ZN5Highs20resetGlobalSchedulerEb at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
Highs_destroy at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
Highs_destroy at /home/pkgeval/.julia/packages/HiGHS/yay5V/src/gen/libhighs.jl:149 [inlined]
empty! at /home/pkgeval/.julia/packages/HiGHS/yay5V/src/MOI_wrapper.jl:367
empty! at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Bridges/bridge_optimizer.jl:383
empty! at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Utilities/cachingoptimizer.jl:343
unknown function (ip: 0x74a57b0adf32) at (unknown file)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
empty! at /home/pkgeval/.julia/packages/JuMP/7eD71/src/JuMP.jl:949
state_action_bellman at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:674 [inlined]
state_bellman! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:662 [inlined]
#_bellman_helper!#51 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:578
_bellman_helper! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:567 [inlined]
#bellman!#34 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:208 [inlined]
bellman! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:198 [inlined]
#step!#94 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:259 [inlined]
step! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:258 [inlined]
#_value_iteration!#93 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:205
_value_iteration! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:170 [inlined]
#solve#91 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:159 [inlined]
solve at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:158
unknown function (ip: 0x74a57abc3512) at (unknown file)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
top-level scope at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/base.jl:16
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_invoke at /source/src/gf.c:4127
ijl_eval_thunk at /source/src/toplevel.c:757
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
exec_options at ./client.jl:310
_start at ./client.jl:585
jfptr__start_43686.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
true_main at /source/src/jlapi.c:971
jl_repl_entrypoint at /source/src/jlapi.c:1138
main at /source/cli/loader_exe.c:58
unknown function (ip: 0x74a596a34249) at /lib/x86_64-linux-gnu/libc.so.6
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
unknown function (ip: (nil)) at (unknown file)


==============================================================
Profile collected. A report will print at the next yield point.
Disabling --trace-compile
==============================================================


======================================================================================
Information request received. A stacktrace will print followed by a 1.0 second profile.
--trace-compile is enabled during profile collection.
======================================================================================

cmd: /opt/julia/bin/julia 1 running 0 of 1

signal (10): User defined signal 1
epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404
uv_run at /workspace/srcdir/libuv/src/unix/core.c:430
ijl_task_get_next at /source/src/scheduler.c:457
wait at ./task.jl:1246
wait_forever at ./task.jl:1168
jfptr_wait_forever_74876.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
start_task at /source/src/task.c:1275
unknown function (ip: (nil)) at (unknown file)


==============================================================
Profile collected. A report will print at the next yield point.
Disabling --trace-compile
==============================================================


[1] signal 15: Terminated
in expression starting at /PkgEval.jl/scripts/evaluate.jl:228
ijl_array_grow_end at /source/src/array.c:198
ijl_array_ptr_1d_push at /source/src/array.c:260
ijl_method_instance_add_backedge at /source/src/gf.c:2343
store_backedges at ./../usr/share/julia/Compiler/src/typeinfer.jl:808
verify_method at ./../usr/share/julia/Compiler/src/reinfer.jl:333

[297] signal 15: Terminated
in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/factored.jl:374
unknown function (ip: 0x74a596b5f9a2) at /lib/x86_64-linux-gnu/libc.so.6
copy at /workspace/srcdir/gcc_build/x86_64-linux-gnu/libstdc++-v3/include/bits/char_traits.h:427 [inlined]
_S_copy at /workspace/srcdir/gcc_build/x86_64-linux-gnu/libstdc++-v3/include/bits/basic_string.h:435 [inlined]
_S_copy at /workspace/srcdir/gcc_build/x86_64-linux-gnu/libstdc++-v3/include/bits/basic_string.h:430 [inlined]
_M_assign at /workspace/srcdir/gcc_build/x86_64-linux-gnu/libstdc++-v3/include/bits/basic_string.tcc:295
verify_method_graph at ./../usr/share/julia/Compiler/src/reinfer.jl:101
scan_new_code! at ./../usr/share/julia/Compiler/src/reinfer.jl:87
insert_backedges at ./../usr/share/julia/Compiler/src/reinfer.jl:77
jfptr_insert_backedges_91529.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
ijl_call_in_typeinf_world at /source/src/gf.c:560
insert_backedges_typeinf at ./../usr/share/julia/Compiler/src/reinfer.jl:657 [inlined]
#_include_from_serialized#882 at ./loading.jl:1474
_include_from_serialized at ./loading.jl:1433 [inlined]
#_require_search_from_serialized#899 at ./loading.jl:2305
_require_search_from_serialized at ./loading.jl:2200 [inlined]
macro expansion at ./loading.jl:3072 [inlined]
macro expansion at ./lock.jl:376 [inlined]
require_stdlib at ./loading.jl:3044
require_stdlib at ./loading.jl:3038 [inlined]
macro expansion at ./some.jl:157 [inlined]
profile_printing_listener at ./Base.jl:339
#start_profile_listener##0 at ./Base.jl:358
jfptr_YY.start_profile_listenerYY.YY.0_16213.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
start_task at /source/src/task.c:1275
unknown function (ip: (nil)) at (unknown file)
Allocations: 17606148 (Pool: 17605447; Big: 701); GC: 15
_ZN13InfoRecordIntC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_bPii.constprop.632 at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
_ZN9HighsInfo11initRecordsEv at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
_Z18debugHighsSolutionNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERK12HighsOptionsRK10HighsModelRK13HighsSolutionRK10HighsBasis16HighsModelStatusRK9HighsInfo at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
_ZN5Highs23returnFromOptimizeModelE11HighsStatusb at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
_ZN5Highs13optimizeModelEv at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
_ZN5Highs3runEv at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
Highs_run at /home/pkgeval/.julia/packages/HiGHS/yay5V/src/gen/libhighs.jl:328 [inlined]
#46 at /home/pkgeval/.julia/packages/HiGHS/yay5V/src/MOI_wrapper.jl:2258 [inlined]
disable_sigint at ./c.jl:167 [inlined]
optimize! at /home/pkgeval/.julia/packages/HiGHS/yay5V/src/MOI_wrapper.jl:2258
optimize! at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Bridges/bridge_optimizer.jl:367 [inlined]
optimize! at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/MathOptInterface.jl:122 [inlined]
optimize! at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Utilities/cachingoptimizer.jl:370
unknown function (ip: 0x74a57b0e1d12) at (unknown file)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
#optimize!#96 at /home/pkgeval/.julia/packages/JuMP/7eD71/src/optimizer_interface.jl:609
optimize! at /home/pkgeval/.julia/packages/JuMP/7eD71/src/optimizer_interface.jl:560 [inlined]
state_action_bellman at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:685 [inlined]
state_bellman! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:662 [inlined]
#_bellman_helper!#51 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:578
_bellman_helper! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:567 [inlined]
#bellman!#34 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:208 [inlined]
bellman! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:198 [inlined]
#step!#94 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:259 [inlined]
step! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:258 [inlined]
#_value_iteration!#93 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:205
_value_iteration! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:170 [inlined]
#solve#91 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:159 [inlined]
solve at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:158
unknown function (ip: 0x74a57abc3512) at (unknown file)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
top-level scope at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/base.jl:16
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_invoke at /source/src/gf.c:4127
ijl_eval_thunk at /source/src/toplevel.c:757
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
exec_options at ./client.jl:310
_start at ./client.jl:585
jfptr__start_43686.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
true_main at /source/src/jlapi.c:971
jl_repl_entrypoint at /source/src/jlapi.c:1138
main at /source/cli/loader_exe.c:58
unknown function (ip: 0x74a596a34249) at /lib/x86_64-linux-gnu/libc.so.6
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
unknown function (ip: (nil)) at (unknown file)
Allocations: 279405424 (Pool: 279403346; Big: 2078); GC: 123
terminate called without an active exception

[297] signal 6 (-6): Aborted
in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/factored.jl:374
unknown function (ip: 0x74a596a97ebc) at /lib/x86_64-linux-gnu/libc.so.6
gsignal at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
abort at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
__verbose_terminate_handler at /workspace/srcdir/gcc-14.2.0/libstdc++-v3/libsupc++/vterminate.cc:95
__terminate at /workspace/srcdir/gcc-14.2.0/libstdc++-v3/libsupc++/eh_terminate.cc:48
terminate at /workspace/srcdir/gcc-14.2.0/libstdc++-v3/libsupc++/eh_terminate.cc:58
_ZN17HighsTaskExecutor14ExecutorHandle7disposeEv at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
Highs_destroy at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
Highs_destroy at /home/pkgeval/.julia/packages/HiGHS/yay5V/src/gen/libhighs.jl:149
unknown function (ip: 0x74a57af91e32) at (unknown file)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
run_finalizer at /source/src/gc-common.c:180
jl_gc_run_finalizers_in_list at /source/src/gc-common.c:270
run_finalizers at /source/src/gc-common.c:316
ijl_atexit_hook at /source/src/init.c:296
jl_exit_thread0_cb at /source/src/signals-unix.c:678
jl_fake_signal_return at /opt/julia/bin/../lib/julia/libjulia-internal.so.1.14 (unknown line)
unknown function (ip: 0x74a596a92f13) at /lib/x86_64-linux-gnu/libc.so.6
unknown function (ip: 0x74a596a97cb2) at /lib/x86_64-linux-gnu/libc.so.6
__gthread_join at /workspace/srcdir/gcc_build/x86_64-linux-gnu/libstdc++-v3/include/x86_64-linux-gnu/bits/gthr-default.h:682 [inlined]
join at /workspace/srcdir/gcc-14.2.0/libstdc++-v3/src/c++11/thread.cc:134
_ZN5Highs20resetGlobalSchedulerEb at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
Highs_destroy at /home/pkgeval/.julia/artifacts/33492bbb3ce9a984f08ca11ba891b9f59c0c00f4/lib/libhighs.so (unknown line)
Highs_destroy at /home/pkgeval/.julia/packages/HiGHS/yay5V/src/gen/libhighs.jl:149 [inlined]
empty! at /home/pkgeval/.julia/packages/HiGHS/yay5V/src/MOI_wrapper.jl:367
empty! at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Bridges/bridge_optimizer.jl:383
empty! at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Utilities/cachingoptimizer.jl:343
unknown function (ip: 0x74a57b0adf32) at (unknown file)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
empty! at /home/pkgeval/.julia/packages/JuMP/7eD71/src/JuMP.jl:949
state_action_bellman at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:674 [inlined]
state_bellman! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:662 [inlined]
#_bellman_helper!#51 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:578
_bellman_helper! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:567 [inlined]
#bellman!#34 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:208 [inlined]
bellman! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:198 [inlined]
#step!#94 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:259 [inlined]
step! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:258 [inlined]
#_value_iteration!#93 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:205
_value_iteration! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:170 [inlined]
#solve#91 at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:159 [inlined]
solve at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/robust_value_iteration.jl:158
unknown function (ip: 0x74a57abc3512) at (unknown file)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined]
top-level scope at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/base/base.jl:16
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_invoke at /source/src/gf.c:4127
ijl_eval_thunk at /source/src/toplevel.c:757
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:550
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
eval_body at /source/src/interpreter.c:558
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
include_string at ./loading.jl:3150
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
_include at ./loading.jl:3210
include at ./Base.jl:310
IncludeInto at ./Base.jl:311
jfptr_IncludeInto_74259.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
do_call at /source/src/interpreter.c:123
eval_value at /source/src/interpreter.c:243
eval_stmt_value at /source/src/interpreter.c:194 [inlined]
eval_body at /source/src/interpreter.c:693
jl_interpret_toplevel_thunk at /source/src/interpreter.c:884
ijl_eval_thunk at /source/src/toplevel.c:765
jl_toplevel_eval_flex at /source/src/toplevel.c:712
jl_eval_toplevel_stmts at /source/src/toplevel.c:602
jl_toplevel_eval_flex at /source/src/toplevel.c:684
ijl_toplevel_eval at /source/src/toplevel.c:779
ijl_toplevel_eval_in at /source/src/toplevel.c:824
eval at ./boot.jl:489
exec_options at ./client.jl:310
_start at ./client.jl:585
jfptr__start_43686.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:4120 [inlined]
ijl_apply_generic at /source/src/gf.c:4317
jl_apply at /source/src/julia.h:2285 [inlined]
true_main at /source/src/jlapi.c:971
jl_repl_entrypoint at /source/src/jlapi.c:1138
main at /source/cli/loader_exe.c:58
unknown function (ip: 0x74a596a34249) at /lib/x86_64-linux-gnu/libc.so.6
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
Allocations: 279405424 (Pool: 279403346; Big: 2078); GC: 123

PkgEval terminated after 2724.6s: test duration exceeded the time limit