Package evaluation to test IntervalMDP on Julia 1.14.0-DEV.1384 (b34261b5d0*) started at 2025-12-18T19:04:47.436 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 8.82s ################################################################################ # 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.4 [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.0 [87dc4568] + HiGHS v1.20.1 [051c988a] + IntervalMDP v0.7.0 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.3.0 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.29.3 [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.0 [276daf66] + SpecialFunctions v2.6.1 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [ec057cc2] + StructUtils v2.6.0 [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.29+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.1+0 [a65dc6b1] + Xorg_libpciaccess_jll v0.18.1+0 [477f73a3] + libaec_jll v1.1.4+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.17.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.29+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 9.6s ################################################################################ # Precompilation # ERROR: LoadError: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Nothing) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:10 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 in expression starting at /PkgEval.jl/scripts/precompile.jl:6 caused by: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Base.DevNull) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:7 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 Precompilation failed after 13.08s ################################################################################ # Testing # Testing IntervalMDP Status `/tmp/jl_hhvjBM/Project.toml` [6e4b80f9] BenchmarkTools v1.6.3 [052768ef] CUDA v5.9.5 [0c68f7d7] GPUArrays v11.3.2 [051c988a] IntervalMDP v0.7.0 `~/.julia/packages/IntervalMDP/kfg3x` [b4f0291d] LazySets v5.1.0 [295af30f] Revise v3.12.3 [276daf66] SpecialFunctions v2.6.1 [2913bbd2] StatsBase v0.34.9 [37e2e46d] LinearAlgebra v1.13.0 [9a3f8284] Random v1.11.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_hhvjBM/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.0 [6e4b80f9] BenchmarkTools v1.6.3 [fa961155] CEnum v0.5.0 [179af706] CFTime v0.2.5 [96374032] CRlibm v1.0.2 [052768ef] CUDA v5.9.5 [1af6417a] CUDA_Runtime_Discovery v1.0.0 [da1fd8a2] CodeTracking v3.0.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [3da002f7] ColorTypes v0.12.1 [5ae59095] Colors v0.13.1 [1fbeeb36] CommonDataModel v0.4.2 [38540f10] CommonSolve v0.2.4 [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.5 [90fa49ef] ErrorfreeArithmetic v0.5.2 [e2ba6199] ExprTools v0.1.10 [fa42c844] FastRounding v0.3.1 [53c48c17] FixedPointNumbers v0.8.5 [f6369f11] ForwardDiff v1.3.0 [60bf3e95] GLPK v1.2.1 [0c68f7d7] GPUArrays v11.3.2 [46192b85] GPUArraysCore v0.2.0 [61eb1bfa] GPUCompiler v1.7.5 [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.3.0 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.29.3 [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.1 [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.0 [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.12.3 [5eaf0fd0] RoundingEmulator v0.2.1 [7e506255] ScopedValues v1.5.0 [6c6a2e73] Scratch v1.3.0 [91c51154] SentinelArrays v1.4.8 [3cc68bcd] SetRounding v0.2.1 [a2af1166] SortingAlgorithms v1.2.2 [276daf66] SpecialFunctions v2.6.1 [90137ffa] StaticArrays v1.9.15 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.8.0 [2913bbd2] StatsBase v0.34.9 [892a3eda] StringManipulation v0.4.2 [856f2bd8] StructTypes v1.11.0 [ec057cc2] StructUtils v2.6.0 [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.3.0+1 [4ee394cb] CUDA_Driver_jll v13.1.0+0 [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.9.1+6 [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.29+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.1+0 [a65dc6b1] Xorg_libpciaccess_jll v0.18.1+0 [1e29f10c] demumble_jll v1.3.0+0 [477f73a3] libaec_jll v1.1.4+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.17.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.29+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... ┌ Warning: The call to compilecache failed to create a usable precompiled cache file for IntervalMDP [051c988a-e73c-45a4-90ec-875cac0402c7] │ exception = Required dependency Base.PkgId(Base.UUID("d00139f3-1899-568f-a2f0-47f597d42d70"), "METIS_jll") failed to load from a cache file. └ @ Base loading.jl:2923 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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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:1961 [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:1961 [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:753 [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 118 running 1 of 1 signal (10): User defined signal 1 unknown function (ip: 0x7d9ce1fc90f0) at /lib/x86_64-linux-gnu/libc.so.6 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 ====================================================================================== 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 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x00007d9cc9e69e10 Total snapshots: 10. Utilization: 100% ╎10 @Base/…dingconstructs.jl:177 (::Base.Threads.var"#threading_run##0#thread… ╎ 10 @IntervalMDP/…hreading.jl:7 #54 ╎ 10 @IntervalMDP/…reading.jl:41 (::IntervalMDP.var"#54#55"{IntervalMDP.var"… ╎ 10 @IntervalMDP/…ellman.jl:607 macro expansion ╎ 10 @IntervalMDP/…ellman.jl:636 state_bellman! ╎ 5 @IntervalMDP/…llman.jl:674 state_action_bellman ╎ ╎ 5 @JuMP/src/JuMP.jl:949 empty!(model::JuMP.Model) ╎ ╎ 5 @MathOptInterface/….jl:343 empty!(m::MathOptInterface.Utilities.Ca… ╎ ╎ 5 @MathOptInterface/…jl:383 empty!(b::MathOptInterface.Bridges.Lazy… ╎ ╎ 5 @HiGHS/…OI_wrapper.jl:367 empty!(model::HiGHS.Optimizer) 4╎ ╎ 5 @HiGHS/…/libhighs.jl:149 Highs_destroy ╎ 5 @IntervalMDP/…llman.jl:685 state_action_bellman ╎ ╎ 5 @JuMP/…er_interface.jl:560 optimize! ╎ ╎ 5 @JuMP/…er_interface.jl:609 optimize!(model::JuMP.Model; ignore_opt… ╎ ╎ 1 @MathOptInterface/…jl:357 optimize!(m::MathOptInterface.Utilities… ╎ ╎ 1 @MathOptInterface/…jl:109 final_touch ╎ ╎ 1 @MathOptInterface/…l:133 final_touch ╎ ╎ ╎ 1 @MathOptInterface/…l:31 final_touch ╎ ╎ ╎ 1 @MathOptInterface/…l:295 broadcastcall(f::Base.Fix2{typeof(Ma… ╎ ╎ ╎ 1 @Base/operators.jl:1203 Fix ╎ ╎ ╎ 1 @Base/operators.jl:1203 #_#59 ╎ ╎ ╎ 1 @MathOptInterface/…:31 final_touch ╎ ╎ ╎ ╎ 1 @Compiler/…nfer.jl:1719 typeinf_ext_toplevel(mi::Core.Met… ╎ ╎ ╎ ╎ 1 @Compiler/…fer.jl:1710 typeinf_ext_toplevel ╎ ╎ ╎ ╎ 1 @Compiler/…fer.jl:1527 typeinf_ext(interp::Compiler.Nat… ╎ ╎ ╎ ╎ 1 @Compiler/…on.jl:4501 typeinf(interp::Compiler.NativeI… ╎ ╎ ╎ ╎ 1 @Compiler/…on.jl:4344 typeinf_local(interp::Compiler.… ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…on.jl:3795 abstract_eval_basic_statement ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…n.jl:3838 abstract_eval_basic_statement ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…n.jl:3439 abstract_eval_statement_expr(… ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:3075 abstract_eval_call ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:3057 abstract_call(interp::Compil… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:2897 abstract_call ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…jl:2904 abstract_call(interp::Compi… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…jl:2796 abstract_call_known(interp… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…jl:328 abstract_call_gf_by_type(i… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:247 (::Compiler.var"#infercall… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:177 (::Compiler.var"#handle1#… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:858 abstract_call_method_wit… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:889 abstract_call_method_wi… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:1340 const_prop_call(inter… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:4501 typeinf(interp::Comp… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:4414 typeinf_local(inter… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:4167 CurrentState ╎ ╎ 4 @MathOptInterface/…jl:370 optimize!(m::MathOptInterface.Utilities… ╎ ╎ 1 @MathOptInterface/…jl:121 optimize! ╎ ╎ 1 @MathOptInterface/…l:448 copy_to ╎ ╎ ╎ 1 @MathOptInterface/…l:385 default_copy_to(dest::MathOptInterfac… ╎ ╎ ╎ 1 @MathOptInterface/…l:383 empty!(b::MathOptInterface.Bridges.L… ╎ ╎ ╎ 1 @HiGHS/…_wrapper.jl:369 empty!(model::HiGHS.Optimizer) 1╎ ╎ ╎ 1 @HiGHS/…libhighs.jl:135 Highs_create ╎ ╎ 3 @MathOptInterface/…jl:122 optimize! ╎ ╎ 3 @MathOptInterface/…l:367 optimize! ╎ ╎ ╎ 3 @HiGHS/…I_wrapper.jl:2258 optimize!(model::HiGHS.Optimizer) ╎ ╎ ╎ 3 @Base/c.jl:167 disable_sigint ╎ ╎ ╎ 3 @HiGHS/…_wrapper.jl:2258 #46 3╎ ╎ ╎ 3 @HiGHS/…libhighs.jl:328 Highs_run Task 0x00007d9cc7ffc010 Total snapshots: 9. Utilization: 100% ╎9 @Base/client.jl:577 _start() ╎ 9 @Base/client.jl:310 exec_options(opts::Base.JLOptions) ╎ 9 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ 9 @Base/Base.jl:311 (::Base.IncludeInto)(fname::String) ╎ 9 @Base/Base.jl:310 include(mapexpr::Function, mod::Module, _path::Strin… ╎ 9 @Base/loading.jl:3184 _include(mapexpr::Function, mod::Module, _path:… ╎ ╎ 9 @Base/loading.jl:3124 include_string(mapexpr::typeof(identity), mod:… ╎ ╎ 9 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ ╎ 9 @Base/Base.jl:311 (::Base.IncludeInto)(fname::String) ╎ ╎ 9 @Base/Base.jl:310 include(mapexpr::Function, mod::Module, _path::… ╎ ╎ 9 @Base/loading.jl:3184 _include(mapexpr::Function, mod::Module, _… ╎ ╎ ╎ 9 @Base/loading.jl:3124 include_string(mapexpr::typeof(identity),… ╎ ╎ ╎ 9 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ ╎ ╎ 9 …t/sparse/sparse.jl:6 top-level scope ╎ ╎ ╎ 9 @Test/src/Test.jl:1961 macro expansion ╎ ╎ ╎ 9 @Base/Base.jl:311 (::Base.IncludeInto)(fname::String) ╎ ╎ ╎ ╎ 9 @Base/Base.jl:310 include(mapexpr::Function, mod::Module, … ╎ ╎ ╎ ╎ 9 @Base/loading.jl:3184 _include(mapexpr::Function, mod::Mo… ╎ ╎ ╎ ╎ 9 @Base/loading.jl:3124 include_string(mapexpr::typeof(ide… ╎ ╎ ╎ ╎ 9 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ ╎ ╎ ╎ 8 @IntervalMDP/….jl:198 kwcall(::@NamedTuple{upper_bound… ╎ ╎ ╎ ╎ ╎ 8 @IntervalMDP/…jl:198 bellman! ╎ ╎ ╎ ╎ ╎ 8 @IntervalMDP/…jl:208 #bellman!#34 ╎ ╎ ╎ ╎ ╎ 8 @IntervalMDP/…jl:567 _bellman_helper! ╎ ╎ ╎ ╎ ╎ 8 @IntervalMDP/…l:578 _bellman_helper!(workspace::In… ╎ ╎ ╎ ╎ ╎ 8 @IntervalMDP/…l:636 state_bellman! ╎ ╎ ╎ ╎ ╎ ╎ 3 @IntervalMDP/…:674 state_action_bellman ╎ ╎ ╎ ╎ ╎ ╎ 3 @JuMP/…JuMP.jl:949 empty!(model::JuMP.Model) ╎ ╎ ╎ ╎ ╎ ╎ 3 @MathOptInterface/…:343 empty!(m::MathOptInter… ╎ ╎ ╎ ╎ ╎ ╎ 3 @MathOptInterface/…:383 empty!(b::MathOptInte… ╎ ╎ ╎ ╎ ╎ ╎ 3 @HiGHS/…er.jl:367 empty!(model::HiGHS.Optimi… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @HiGHS/…s.jl:149 Highs_destroy ╎ ╎ ╎ ╎ ╎ ╎ 5 @IntervalMDP/…:685 state_action_bellman ╎ ╎ ╎ ╎ ╎ ╎ 5 @JuMP/…face.jl:560 optimize! ╎ ╎ ╎ ╎ ╎ ╎ 5 @JuMP/…face.jl:609 optimize!(model::JuMP.Model… ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:357 optimize!(m::MathOptI… ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:109 final_touch ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:133 final_touch ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:31 final_touch ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:295 broadcastcall(f::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…rs.jl:1203 Fix ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…rs.jl:1203 #_#59 ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:31 final_touch ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:1719 typeinf_ext_topleve… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:1710 typeinf_ext_toplev… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:1527 typeinf_ext(inter… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:4501 typeinf(interp::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Compiler/…l:4344 typeinf_local(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Compiler/…l:3795 abstract_eval_ba… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Compiler/…l:3838 abstract_eval_ba… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Compiler/…l:3439 abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Compiler/…l:3075 abstract_eval_ca… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 1 @Compiler/…l:3057 abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 1 @Compiler/…l:2897 abstract_call ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 1 @Compiler/…l:2904 abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Compiler/…l:2796 abstract_call_kn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 1 @Compiler/…l:328 abstract_call_gf_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 1 @Compiler/…l:247 (::Compiler.var"#… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +12 1 @Compiler/…l:177 (::Compiler.var"#… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +13 1 @Compiler/…l:858 abstract_call_met… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +14 1 @Compiler/…l:889 abstract_call_met… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +15 1 @Compiler/…l:1340 const_prop_call(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +16 1 @Compiler/…l:4508 typeinf(interp::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +17 1 @Compiler/…l:278 finish_nocycle(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +18 1 @Compiler/…l:1021 optimize(interp:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +19 1 @Compiler/…l:1048 run_passes_ipo_s… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +20 1 @Compiler/…l:1035 run_passes_ipo_s… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +21 1 @Compiler/…l:1332 slot2reg ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +22 1 @Compiler/…l:894 construct_ssa!(ci… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +23 1 @Compiler/…l:399 domsort_ssa!(ir::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +24 1 @Compiler/…l:266 Compiler.Instruct… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +25 1 @Base/…ot.jl:675 Array 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +26 1 @Base/…ot.jl:615 GenericMemory ╎ ╎ ╎ ╎ ╎ ╎ 4 @MathOptInterface/…:370 optimize!(m::MathOptI… ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:121 optimize! ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:448 copy_to ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:393 default_copy_to(de… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:251 _pass_constraints… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:432 pass_nonvariable… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:229 pass_nonvariabl… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:203 pass_nonvariab… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:192 _copy_constra… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:180 _copy_constr… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:241 map_indices ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:304 map_indices 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @MathOptInterface/…:0 ScalarAffine… ╎ ╎ ╎ ╎ ╎ ╎ 3 @MathOptInterface/…:122 optimize! ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @MathOptInterface/…:367 optimize! ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @HiGHS/…r.jl:2258 optimize!(model::HiGHS.O… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @Base/c.jl:167 disable_sigint ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @HiGHS/…r.jl:2258 #46 3╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @HiGHS/…s.jl:328 Highs_run ╎ ╎ ╎ ╎ 1 @IntervalMDP/….jl:196 IntervalMDP.ThreadedFactoredInte… ╎ ╎ ╎ ╎ ╎ 1 @Base/array.jl:828 collect(itr::Base.Generator{UnitRa… ╎ ╎ ╎ ╎ ╎ 1 @Base/…erator.jl:48 iterate ╎ ╎ ╎ ╎ ╎ 1 none:? #ThreadedFactoredIntervalMcCormickWorkspace#… ╎ ╎ ╎ ╎ ╎ 1 @IntervalMDP/…l:177 FactoredIntervalMcCormickWorks… ╎ ╎ ╎ ╎ ╎ 1 @JuMP/…/JuMP.jl:196 GenericModel ╎ ╎ ╎ ╎ ╎ ╎ 1 @JuMP/…JuMP.jl:204 JuMP.Model(optimizer_factory:… ╎ ╎ ╎ ╎ ╎ ╎ 1 @JuMP/…face.jl:495 set_optimizer ╎ ╎ ╎ ╎ ╎ ╎ 1 @JuMP/…face.jl:503 set_optimizer(model::JuMP.M… ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:162 kwcall(::@NamedTuple{… ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:190 instantiate(optimize… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:71 full_bridge_optimize… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:116 add_all_bridges(mo… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:409 add_bridge ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @MathOptInterface/…:444 has_bridge ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:2500 findfirst 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:2449 findnext(testf::Base… wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_52783.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] start_task at /source/src/task.c:1272 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 operator new at /workspace/srcdir/gcc-14.2.0/libstdc++-v3/libsupc++/new_op.cc:43 unknown function (ip: (nil)) at (unknown file) unknown function (ip: (nil)) at (unknown file) Allocations: 18073215 (Pool: 18072554; Big: 661); GC: 12 [118] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/sparse/factored.jl:42 pthread_create at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) __gthread_create at /workspace/srcdir/gcc_build/x86_64-linux-gnu/libstdc++-v3/include/x86_64-linux-gnu/bits/gthr-default.h:676 [inlined] _M_start_thread at /workspace/srcdir/gcc-14.2.0/libstdc++-v3/src/c++11/thread.cc:172 _ZN17HighsTaskExecutor10initializeEi.part.666 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: 0x7d9cafa7c162) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 #optimize!#96 at /home/pkgeval/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 optimize! at /home/pkgeval/.julia/packages/JuMP/e83v9/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:636 [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] bellman! at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/src/bellman.jl:198 unknown function (ip: 0x7d9cc6d26992) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 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:679 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 jl_toplevel_eval_flex at /source/src/toplevel.c:757 jl_eval_toplevel_stmts at /source/src/toplevel.c:600 jl_toplevel_eval_flex at /source/src/toplevel.c:698 ijl_toplevel_eval at /source/src/toplevel.c:769 ijl_toplevel_eval_in at /source/src/toplevel.c:814 eval at ./boot.jl:489 include_string at ./loading.jl:3124 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3184 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_65787.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] top-level scope at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/sparse/sparse.jl:6 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_invoke at /source/src/gf.c:4123 jl_toplevel_eval_flex at /source/src/toplevel.c:746 jl_eval_toplevel_stmts at /source/src/toplevel.c:600 jl_toplevel_eval_flex at /source/src/toplevel.c:698 ijl_toplevel_eval at /source/src/toplevel.c:769 ijl_toplevel_eval_in at /source/src/toplevel.c:814 eval at ./boot.jl:489 include_string at ./loading.jl:3124 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3184 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_65787.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 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:679 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 jl_toplevel_eval_flex at /source/src/toplevel.c:757 jl_eval_toplevel_stmts at /source/src/toplevel.c:600 jl_toplevel_eval_flex at /source/src/toplevel.c:698 ijl_toplevel_eval at /source/src/toplevel.c:769 ijl_toplevel_eval_in at /source/src/toplevel.c:814 eval at ./boot.jl:489 include_string at ./loading.jl:3124 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3184 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_65787.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 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:679 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 jl_toplevel_eval_flex at /source/src/toplevel.c:757 jl_eval_toplevel_stmts at /source/src/toplevel.c:600 jl_toplevel_eval_flex at /source/src/toplevel.c:698 ijl_toplevel_eval at /source/src/toplevel.c:769 ijl_toplevel_eval_in at /source/src/toplevel.c:814 eval at ./boot.jl:489 exec_options at ./client.jl:310 _start at ./client.jl:577 jfptr__start_62300.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 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: 0x7d9ce1f5a249) 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: 386537439 (Pool: 386534367; Big: 3072); GC: 149 PkgEval terminated after 2725.76s: test duration exceeded the time limit