Package evaluation of IntervalMDP on Julia 1.13.0-DEV.853 (3e868b27cf*) started at 2025-07-17T01:56:50.120 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.96s ################################################################################ # Installation # Installing IntervalMDP... Resolving package versions... Installed IntervalMDP ─ v0.6.0 Updating `~/.julia/environments/v1.13/Project.toml` [051c988a] + IntervalMDP v0.6.0 Updating `~/.julia/environments/v1.13/Manifest.toml` ⌅ [179af706] + CFTime v0.1.4 [1fbeeb36] + CommonDataModel v0.3.8 [38540f10] + CommonSolve v0.2.4 [34da2185] + Compat v4.17.0 [187b0558] + ConstructionBase v1.6.0 [864edb3b] + DataStructures v0.18.22 [3c3547ce] + DiskArrays v0.4.14 [051c988a] + IntervalMDP v0.6.0 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 [8ac3fa9e] + LRUCache v1.6.2 [3da0fdf6] + MPIPreferences v0.1.11 [85f8d34a] + NCDatasets v0.14.8 [6fe1bfb0] + OffsetArrays v1.17.0 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [10745b16] + Statistics v1.11.1 [0b7ba130] + Blosc_jll v1.21.7+0 [6e34b625] + Bzip2_jll v1.0.9+0 [0234f1f7] + HDF5_jll v1.14.6+0 [e33a78d0] + Hwloc_jll v2.12.1+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [5ced341a] + Lz4_jll v1.10.1+0 [7cb0a576] + MPICH_jll v4.3.1+0 [f1f71cc9] + MPItrampoline_jll v5.5.4+0 [9237b28f] + MicrosoftMPI_jll v10.1.4+3 [7243133f] + NetCDF_jll v401.900.300+0 [fe0851c0] + OpenMPI_jll v5.0.8+0 ⌅ [02c8fc9c] + XML2_jll v2.13.6+1 [ffd25f8a] + XZ_jll v5.8.1+0 [477f73a3] + libaec_jll v1.1.3+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.12.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.13.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] + LibCURL_jll v8.14.1+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.5.20 [4536629a] + OpenBLAS_jll v0.3.29+0 [458c3c95] + OpenSSL_jll v3.5.1+0 [efcefdf7] + PCRE2_jll v10.45.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.13.1+0 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 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 11.13s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... ERROR: LoadError: The following 1 direct dependency failed to precompile: IntervalMDP Error: Missing source file for Base.PkgId(UUID("051c988a-e73c-45a4-90ec-875cac0402c7"), "IntervalMDP" in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 29.78s ################################################################################ # Testing # Testing IntervalMDP Status `/tmp/jl_Xy7ixT/Project.toml` [6e4b80f9] BenchmarkTools v1.6.0 [052768ef] CUDA v5.8.2 [051c988a] IntervalMDP v0.6.0 `~/.julia/packages/IntervalMDP/15smo` [b4f0291d] LazySets v4.0.1 [295af30f] Revise v3.8.0 [276daf66] SpecialFunctions v2.5.1 [2913bbd2] StatsBase v0.34.5 [37e2e46d] LinearAlgebra v1.12.0 [9a3f8284] Random v1.11.0 [2f01184e] SparseArrays v1.12.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_Xy7ixT/Manifest.toml` [621f4979] AbstractFFTs v1.5.0 [79e6a3ab] Adapt v4.3.0 [66dad0bd] AliasTables v1.1.3 [a9b6321e] Atomix v1.1.1 [ab4f0b2a] BFloat16s v0.5.1 [6e4b80f9] BenchmarkTools v1.6.0 [fa961155] CEnum v0.5.0 ⌅ [179af706] CFTime v0.1.4 [96374032] CRlibm v1.0.2 [052768ef] CUDA v5.8.2 ⌅ [1af6417a] CUDA_Runtime_Discovery v0.3.5 [da1fd8a2] CodeTracking v1.3.9 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [3da002f7] ColorTypes v0.12.1 [5ae59095] Colors v0.13.1 [1fbeeb36] CommonDataModel v0.3.8 [38540f10] CommonSolve v0.2.4 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.17.0 [807dbc54] Compiler v0.1.1 [187b0558] ConstructionBase v1.6.0 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [3c3547ce] DiskArrays v0.4.14 [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.0.1 [60bf3e95] GLPK v1.2.1 [0c68f7d7] GPUArrays v11.2.3 [46192b85] GPUArraysCore v0.2.0 [61eb1bfa] GPUCompiler v1.6.1 [096a3bc2] GPUToolbox v0.2.0 [076d061b] HashArrayMappedTries v0.2.0 [842dd82b] InlineStrings v1.4.4 ⌅ [d1acc4aa] IntervalArithmetic v0.21.2 [051c988a] IntervalMDP v0.6.0 `~/.julia/packages/IntervalMDP/15smo` [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.4 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.26.0 [aa1ae85d] JuliaInterpreter v0.10.3 [63c18a36] KernelAbstractions v0.9.37 [929cbde3] LLVM v9.4.2 [8b046642] LLVMLoopInfo v1.0.0 [8ac3fa9e] LRUCache v1.6.2 [b964fa9f] LaTeXStrings v1.4.0 [b4f0291d] LazySets v4.0.1 [2ab3a3ac] LogExpFunctions v0.3.29 [6f1432cf] LoweredCodeUtils v3.4.2 [3da0fdf6] MPIPreferences v0.1.11 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.42.0 [e1d29d7a] Missings v1.2.0 [d8a4904e] MutableArithmetics v1.6.4 [85f8d34a] NCDatasets v0.14.8 [5da4648a] NVTX v1.0.0 [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.2 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [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.8.0 [5eaf0fd0] RoundingEmulator v0.2.1 [7e506255] ScopedValues v1.4.0 [6c6a2e73] Scratch v1.3.0 [91c51154] SentinelArrays v1.4.8 [3cc68bcd] SetRounding v0.2.1 [a2af1166] SortingAlgorithms v1.2.1 [276daf66] SpecialFunctions v2.5.1 [90137ffa] StaticArrays v1.9.14 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.5 [892a3eda] StringManipulation v0.4.1 [856f2bd8] StructTypes v1.11.0 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [e689c965] Tracy v0.1.5 [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 ⌅ [4ee394cb] CUDA_Driver_jll v0.13.1+0 ⌅ [76a88914] CUDA_Runtime_jll v0.17.1+0 [e8aa6df9] GLPK_jll v5.0.1+1 [0234f1f7] HDF5_jll v1.14.6+0 [e33a78d0] Hwloc_jll v2.12.1+0 [9c1d0b0a] JuliaNVTXCallbacks_jll v0.2.1+0 [dad2f222] LLVMExtra_jll v0.0.37+2 [ad6e5548] LibTracyClient_jll v0.9.1+6 [94ce4f54] Libiconv_jll v1.18.0+0 [5ced341a] Lz4_jll v1.10.1+0 [7cb0a576] MPICH_jll v4.3.1+0 [f1f71cc9] MPItrampoline_jll v5.5.4+0 [9237b28f] MicrosoftMPI_jll v10.1.4+3 [e98f9f5b] NVTX_jll v3.2.1+0 [7243133f] NetCDF_jll v401.900.300+0 [fe0851c0] OpenMPI_jll v5.0.8+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 ⌅ [02c8fc9c] XML2_jll v2.13.6+1 [ffd25f8a] XZ_jll v5.8.1+0 [1e29f10c] demumble_jll v1.3.0+0 [477f73a3] libaec_jll v1.1.3+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.12.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.12.0 [f489334b] StyledStrings v1.11.0 [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.14.1+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.5.20 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.5.1+0 [efcefdf7] PCRE2_jll v10.45.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.13.1+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Precompiling packages... 15904.9 ms ✓ NCDatasets 8931.9 ms ✓ IntervalMDP 2 dependencies successfully precompiled in 55 seconds. 69 already precompiled. Precompiling packages... 3306.5 ms ✓ BenchmarkTools 9961.9 ms ✓ IntervalArithmetic 86175.6 ms ✓ MathOptInterface 70357.5 ms ✓ JuMP 12543.9 ms ✓ GLPK 49777.9 ms ✓ LazySets 6 dependencies successfully precompiled in 233 seconds. 83 already precompiled. Precompiling packages... 1694.5 ms ✓ demumble_jll 1795.8 ms ✓ CUDA_Driver_jll 1524.1 ms ✓ JuliaNVTXCallbacks_jll 5893.8 ms ✓ LLVM → BFloat16sExt 16365.0 ms ✓ GPUArrays 6355.9 ms ✓ CUDA_Runtime_jll 3399.1 ms ✓ NVTX Info Given CUDA was explicitly requested, output will be shown live  WARNING: Constructor for type "Int" was extended in `CUDA` without explicit qualification or import.  NOTE: Assumed "Int" refers to `Base.Int`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function Int end`.  Hint: To silence the warning, qualify `Int` as `Base.Int` in the method signature or explicitly `import Base: Int`. WARNING: Constructor for type "UInt" was extended in `CUDA` without explicit qualification or import.  NOTE: Assumed "UInt" refers to `Base.UInt`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function UInt end`.  Hint: To silence the warning, qualify `UInt` as `Base.UInt` in the method signature or explicitly `import Base: UInt`. WARNING: Constructor for type "BroadcastStyle" was extended in `CUDA` without explicit qualification or import.  NOTE: Assumed "BroadcastStyle" refers to `Broadcast.BroadcastStyle`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function BroadcastStyle end`.  Hint: To silence the warning, qualify `BroadcastStyle` as `Broadcast.BroadcastStyle` in the method signature or explicitly `import Broadcast: BroadcastStyle`. WARNING: Constructor for type "CuArray" was extended in `CUBLAS` without explicit qualification or import.  NOTE: Assumed "CuArray" refers to `CUDA.CuArray`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function CuArray end`.  Hint: To silence the warning, qualify `CuArray` as `CUDA.CuArray` in the method signature or explicitly `import CUDA: CuArray`. WARNING: Constructor for type "SparseVector" was extended in `CUSPARSE` without explicit qualification or import.  NOTE: Assumed "SparseVector" refers to `SparseArrays.SparseVector`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function SparseVector end`.  Hint: To silence the warning, qualify `SparseVector` as `SparseArrays.SparseVector` in the method signature or explicitly `import SparseArrays: SparseVector`. WARNING: Constructor for type "SparseMatrixCSC" was extended in `CUSPARSE` without explicit qualification or import.  NOTE: Assumed "SparseMatrixCSC" refers to `SparseArrays.SparseMatrixCSC`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function SparseMatrixCSC end`.  Hint: To silence the warning, qualify `SparseMatrixCSC` as `SparseArrays.SparseMatrixCSC` in the method signature or explicitly `import SparseArrays: SparseMatrixCSC`. WARNING: Constructor for type "CuVector" was extended in `CUSPARSE` without explicit qualification or import.  NOTE: Assumed "CuVector" refers to `CUDA.CuVector`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function CuVector end`.  Hint: To silence the warning, qualify `CuVector` as `CUDA.CuVector` in the method signature or explicitly `import CUDA: CuVector`. WARNING: Constructor for type "CuMatrix" was extended in `CUSOLVER` without explicit qualification or import.  NOTE: Assumed "CuMatrix" refers to `CUDA.CuMatrix`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function CuMatrix end`.  Hint: To silence the warning, qualify `CuMatrix` as `CUDA.CuMatrix` in the method signature or explicitly `import CUDA: CuMatrix`. WARNING: Constructor for type "CuArray" was extended in `CUSOLVER` without explicit qualification or import.  NOTE: Assumed "CuArray" refers to `CUDA.CuArray`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function CuArray end`.  Hint: To silence the warning, qualify `CuArray` as `CUDA.CuArray` in the method signature or explicitly `import CUDA: CuArray`. 182728.4 ms ✓ CUDA 42738.0 ms ✓ Atomix → AtomixCUDAExt 9 dependencies successfully precompiled in 263 seconds. 95 already precompiled. 1 dependency had output during precompilation: ┌ CUDA │ [Output was shown above] └ Precompiling packages... 49905.1 ms ✓ CUDA → SpecialFunctionsExt 1 dependency successfully precompiled in 51 seconds. 110 already precompiled. Precompiling packages... 53803.3 ms ✓ IntervalMDP → IntervalMDPCudaExt 1 dependency successfully precompiled in 55 seconds. 138 already precompiled. Test Summary: | Pass Total Time IntervalMDP.jl | 1099 1099 19m31.6s base | 673 673 10m11.9s base/bellman.jl | 18 18 1m46.7s base/vi.jl | 31 31 9.4s base/imdp.jl | 159 159 7.1s base/synthesis.jl | 59 59 8.3s base/specification.jl | 174 174 14.4s base/orthogonal.jl | 116 116 6m04.5s base/mixture.jl | 30 30 54.1s base/labelling.jl | 25 25 4.8s base/dfa.jl | 17 17 2.4s base/product.jl | 44 44 40.0s sparse | 204 204 1m08.9s sparse/bellman.jl | 18 18 23.5s sparse/vi.jl | 27 27 3.4s sparse/imdp.jl | 92 92 9.2s sparse/synthesis.jl | 43 43 7.8s sparse/orthogonal.jl | 24 24 24.8s data | 218 218 48.1s data/bmdp_tool.jl | 12 12 15.7s data/prism.jl | 158 158 8.7s data/intervalmdp.jl | 48 48 23.7s cuda | 4 4 7m22.8s cuda/adapt | 4 4 3.4s Testing IntervalMDP tests passed Testing completed after 1187.31s PkgEval succeeded after 1267.12s