Package evaluation to test IntervalMDP on Julia 1.14.0-DEV.3106 (9d314127b9*) started at 2026-09-04T00:12:39.967 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.44s ################################################################################ # 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` [179af706] + CFTime v0.2.10 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.9 [1fbeeb36] + CommonDataModel v0.4.4 [38540f10] + CommonSolve v0.2.14 [bbf7d656] + CommonSubexpressions v0.3.1 [187b0558] + ConstructionBase v1.6.0 [864edb3b] + DataStructures v0.19.6 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.16.0 [3c3547ce] + DiskArrays v0.4.22 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.4.5 [87dc4568] + HiGHS v1.25.1 [051c988a] + IntervalMDP v0.7.0 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.7.1 [4076af6c] + JuMP v1.31.2 [8ac3fa9e] + LRUCache v1.6.2 [2ab3a3ac] + LogExpFunctions v1.0.1 [3da0fdf6] + MPIPreferences v0.1.12 [1914dd2f] + MacroTools v0.5.16 [8c4f8055] + MathOptIIS v0.2.0 [b8f27783] + MathOptInterface v1.53.0 [d8a4904e] + MutableArithmetics v1.8.0 [85f8d34a] + NCDatasets v0.14.15 [77ba4419] + NaNMath v1.1.4 [6fe1bfb0] + OffsetArrays v1.17.0 [bac558e1] + OrderedCollections v2.0.1 ⌅ [69de0a69] + Parsers v2.8.7 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [276daf66] + SpecialFunctions v2.9.0 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.5 [ec057cc2] + StructUtils v2.8.5 [3bb67fe8] + TranscodingStreams v0.11.3 [0b7ba130] + Blosc_jll v1.21.7+0 [6e34b625] + Bzip2_jll v1.0.9+0 [0234f1f7] + HDF5_jll v2.2.1+0 [8fd58aa0] + HiGHS_jll v1.15.1+3 [e33a78d0] + Hwloc_jll v2.14.0+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [5ced341a] + Lz4_jll v1.10.1+0 [b5ada748] + MPIABI_jll v1.0.0+0 [7cb0a576] + MPICH_jll v5.0.1+0 [f1f71cc9] + MPItrampoline_jll v5.5.6+0 [9237b28f] + MicrosoftMPI_jll v10.1.4+3 [7243133f] + NetCDF_jll v401.1000.101+0 [656ef2d0] + OpenBLAS32_jll v0.3.34+0 [fe0851c0] + OpenMPI_jll v5.0.11+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 ⌅ [02c8fc9c] + XML2_jll v2.13.9+0 [ffd25f8a] + XZ_jll v5.8.3+0 [a65dc6b1] + Xorg_libpciaccess_jll v0.19.0+0 ⌅ [2b3700d1] + aws_c_auth_jll v0.9.6+0 ⌅ [70f11efc] + aws_c_cal_jll v0.9.13+0 ⌅ [73048d1d] + aws_c_common_jll v0.12.6+0 ⌅ [73a04cd5] + aws_c_compression_jll v0.3.2+0 ⌅ [3254fc65] + aws_c_http_jll v0.10.15+0 ⌅ [13c41daa] + aws_c_io_jll v0.26.3+0 ⌅ [bd1f34fb] + aws_c_s3_jll v0.11.5+0 ⌅ [1282aa60] + aws_c_sdkutils_jll v0.2.4+1 ⌅ [b2a88e68] + aws_checksums_jll v0.2.10+0 [c4b69c83] + dlfcn_win32_jll v1.4.2+0 [477f73a3] + libaec_jll v1.1.7+0 [337d8026] + libzip_jll v1.11.4+0 [9aeb927a] + mpif_jll v1.0.0+0 [cddc5d3d] + s2n_tls_jll v1.7.8+0 [0dad84c5] + ArgTools v1.2.0 [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.14.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 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.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.5.7+0 [deac9b47] + LibCURL_jll v8.21.0+0 [e37daf67] + LibGit2_jll v1.9.7+0 [29816b5a] + LibSSH2_jll v1.11.104+0 [14a3606d] + MozillaCACerts_jll v2026.8.13 [4536629a] + OpenBLAS_jll v0.3.34+0 [05823500] + OpenLibm_jll v0.8.8+0 [458c3c95] + OpenSSL_jll v3.5.8+0 [efcefdf7] + PCRE2_jll v10.48.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.70.0+0 [3f19e933] + p7zip_jll v17.8.2+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 11.88s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... Fault at memory address: 0x10000000a [191] signal 11 (1): Segmentation fault in expression starting at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:3 __atomic_add at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/ext/atomicity.h:53:54 [inlined] __atomic_add_dispatch at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/ext/atomicity.h:96:19 [inlined] _M_add_ref_copy at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:139:41 [inlined] __shared_count at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:737:4 [inlined] __shared_ptr at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:1167:7 [inlined] shared_ptr at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr.h:129:7 [inlined] withContextDo]:: > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:50:14 [inlined] withModuleDo > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:117:6 [inlined] jl_emit_native_impl at /source/src/aotcompile.cpp:1049:32 compile_method_instance at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/jlgen.jl:784:0 (pc: 358) irgen at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/irgen.jl:4:0 (pc: 1) #emit_llvm#114 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:209:0 (pc: 23) emit_llvm at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:191:0 (pc: 1) #compile_unhooked#111 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:95:0 (pc: 11) compile_unhooked at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:80:0 [inlined] #compile#109 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:67:0 [inlined] compile at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:55:0 [inlined] #174 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:35:0 [inlined] #JuliaContext#108 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:34:0 (pc: 25) unknown function (ip: 0x7a479a4c3661) at (unknown file) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 JuliaContext at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:25:0 (pc: 1) unknown function (ip: 0x7a47e31688f2) at (unknown file) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 macro expansion at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:34:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/PrecompileTools/QUxvR/src/workloads.jl:70:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:25:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/PrecompileTools/QUxvR/src/workloads.jl:118:0 [inlined] top-level scope at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:115:0 (pc: 88) jl_invoke_oneshot at /source/src/gf.c:4631:23 ijl_eval_thunk at /source/src/toplevel.c:764:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) include_string at ./loading.jl:3291:0 (pc: 140) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 _include at ./loading.jl:3353:0 (pc: 123) include at ./Base.jl:335:0 (pc: 1) IncludeInto at ./Base.jl:336:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 jl_apply at /source/src/julia.h:2533:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:259:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:829:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 ijl_eval_thunk at /source/src/toplevel.c:772:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_eval_module_expr at /source/src/toplevel.c:266:5 [inlined] jl_toplevel_eval_flex at /source/src/toplevel.c:669:27 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) include_string at ./loading.jl:3291:0 (pc: 140) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 _include at ./loading.jl:3353:0 (pc: 123) include at ./Base.jl:334:0 (pc: 1) include_package_for_output at ./loading.jl:3468:0 (pc: 489) jfptr_include_package_for_output_3.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 jl_apply at /source/src/julia.h:2533:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:259:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:829:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 ijl_eval_thunk at /source/src/toplevel.c:772:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) include_string at ./loading.jl:3291:0 (pc: 140) include_string at ./loading.jl:3301:0 [inlined] __script_entry_include_string at ./client.jl:104:0 [inlined] exec_options at ./client.jl:382:0 (pc: 900) _start at ./client.jl:695:0 (pc: 217) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 jl_apply at /source/src/julia.h:2533:12 [inlined] true_main at /source/src/jlapi.c:989:29 jl_repl_entrypoint at /source/src/jlapi.c:1156:15 main at /source/cli/loader_exe.c:117:15 unknown function (ip: 0x7a48015a3249) 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: 105766864 (Pool: 105765197; Big: 1667); GC: 28 ✗ GPUCompiler 33.7 s ✓ LazySets 23.9 s ✓ IntervalMDP ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("61eb1bfa-7361-4325-ad38-22787b887f55"), "GPUCompiler") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) (cache not reused: 12 for dependency source file not found) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] require(into::Module, mod::Symbol) @ Base loading.jl:2694 [inlined] [3] top-level scope @ ~/.julia/packages/CUDA/FQwqy/src/CUDA.jl:3 [4] include(mod::Module, _path::String) @ Base Base.jl:334 [5] top-level scope @ stdin:5 in expression starting at /home/pkgeval/.julia/packages/CUDA/FQwqy/src/CUDA.jl:1 in expression starting at stdin:5 ✗ CUDA 10.8 s ✓ LazySets → LazySetsStaticArraysCoreExt 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) (cache not reused: 22 for dependency source file not found) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] require(into::Module, mod::Symbol) @ Base loading.jl:2694 [inlined] [3] top-level scope @ ~/.julia/packages/CUDA/FQwqy/ext/SpecialFunctionsExt.jl:5 [4] include(mod::Module, _path::String) @ Base Base.jl:334 [5] top-level scope @ stdin:5 in expression starting at /home/pkgeval/.julia/packages/CUDA/FQwqy/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) (cache not reused: 22 for dependency source file not found) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] require(into::Module, mod::Symbol) @ Base loading.jl:2694 [inlined] [3] top-level scope @ ~/.julia/packages/Atomix/7G0aL/ext/AtomixCUDAExt.jl:5 [4] include(mod::Module, _path::String) @ Base Base.jl:334 [5] top-level scope @ stdin:5 in expression starting at /home/pkgeval/.julia/packages/Atomix/7G0aL/ext/AtomixCUDAExt.jl:2 in expression starting at stdin:5 ✗ Atomix → AtomixCUDAExt 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) (cache not reused: 15 for different version of dependency already loaded, 7 for dependency source file not found) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] require(into::Module, mod::Symbol) @ Base loading.jl:2694 [inlined] [3] top-level scope @ ~/.julia/packages/IntervalMDP/kfg3x/ext/IntervalMDPCudaExt.jl:6 [4] include(mod::Module, _path::String) @ Base Base.jl:334 [5] top-level scope @ stdin:5 in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/ext/IntervalMDPCudaExt.jl:1 in expression starting at stdin:5 ✗ IntervalMDP → IntervalMDPCudaExt 3 dependencies successfully precompiled in 206 seconds. 196 already precompiled. 5 dependencies had output during precompilation: ┌ GPUCompiler │ Fault at memory address: 0x10000000a │ │ [191] signal 11 (1): Segmentation fault │ in expression starting at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:3 │ __atomic_add at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/ext/atomicity.h:53:54 [inlined] │ __atomic_add_dispatch at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/ext/atomicity.h:96:19 [inlined] │ _M_add_ref_copy at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:139:41 [inlined] │ __shared_count at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:737:4 [inlined] │ __shared_ptr at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:1167:7 [inlined] │ shared_ptr at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr.h:129:7 [inlined] │ withContextDo]:: > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:50:14 [inlined] │ withModuleDo > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:117:6 [inlined] │ jl_emit_native_impl at /source/src/aotcompile.cpp:1049:32 │ compile_method_instance at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/jlgen.jl:784:0 (pc: 358) │ irgen at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/irgen.jl:4:0 (pc: 1) │ #emit_llvm#114 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:209:0 (pc: 23) │ emit_llvm at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:191:0 (pc: 1) │ #compile_unhooked#111 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:95:0 (pc: 11) │ compile_unhooked at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:80:0 [inlined] │ #compile#109 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:67:0 [inlined] │ compile at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:55:0 [inlined] │ #174 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:35:0 [inlined] │ #JuliaContext#108 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:34:0 (pc: 25) │ unknown function (ip: 0x7a479a4c3661) at (unknown file) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ JuliaContext at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:25:0 (pc: 1) │ unknown function (ip: 0x7a47e31688f2) at (unknown file) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ macro expansion at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:34:0 [inlined] │ macro expansion at /home/pkgeval/.julia/packages/PrecompileTools/QUxvR/src/workloads.jl:70:0 [inlined] │ macro expansion at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:25:0 [inlined] │ macro expansion at /home/pkgeval/.julia/packages/PrecompileTools/QUxvR/src/workloads.jl:118:0 [inlined] │ top-level scope at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:115:0 (pc: 88) │ jl_invoke_oneshot at /source/src/gf.c:4631:23 │ ijl_eval_thunk at /source/src/toplevel.c:764:18 │ jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 │ jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 │ jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 │ ijl_toplevel_eval at /source/src/toplevel.c:786:12 │ ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 │ eval at ./boot.jl:618:0 (pc: 1) │ include_string at ./loading.jl:3291:0 (pc: 140) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ _include at ./loading.jl:3353:0 (pc: 123) │ include at ./Base.jl:335:0 (pc: 1) │ IncludeInto at ./Base.jl:336:0 (pc: 2) │ jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ jl_apply at /source/src/julia.h:2533:12 [inlined] │ do_call at /source/src/interpreter.c:123:26 │ eval_value at /source/src/interpreter.c:259:16 │ eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] │ eval_body at /source/src/interpreter.c:829:21 │ jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 │ ijl_eval_thunk at /source/src/toplevel.c:772:18 │ jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 │ jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 │ jl_eval_module_expr at /source/src/toplevel.c:266:5 [inlined] │ jl_toplevel_eval_flex at /source/src/toplevel.c:669:27 │ jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 │ jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 │ ijl_toplevel_eval at /source/src/toplevel.c:786:12 │ ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 │ eval at ./boot.jl:618:0 (pc: 1) │ include_string at ./loading.jl:3291:0 (pc: 140) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ _include at ./loading.jl:3353:0 (pc: 123) │ include at ./Base.jl:334:0 (pc: 1) │ include_package_for_output at ./loading.jl:3468:0 (pc: 489) │ jfptr_include_package_for_output_3.1 at /opt/julia/lib/julia/sys.so (unknown line) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ jl_apply at /source/src/julia.h:2533:12 [inlined] │ do_call at /source/src/interpreter.c:123:26 │ eval_value at /source/src/interpreter.c:259:16 │ eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] │ eval_body at /source/src/interpreter.c:829:21 │ jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 │ ijl_eval_thunk at /source/src/toplevel.c:772:18 │ jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 │ jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 │ jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 │ ijl_toplevel_eval at /source/src/toplevel.c:786:12 │ ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 │ eval at ./boot.jl:618:0 (pc: 1) │ include_string at ./loading.jl:3291:0 (pc: 140) │ include_string at ./loading.jl:3301:0 [inlined] │ __script_entry_include_string at ./client.jl:104:0 [inlined] │ exec_options at ./client.jl:382:0 (pc: 900) │ _start at ./client.jl:695:0 (pc: 217) │ jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ jl_apply at /source/src/julia.h:2533:12 [inlined] │ true_main at /source/src/jlapi.c:989:29 │ jl_repl_entrypoint at /source/src/jlapi.c:1156:15 │ main at /source/cli/loader_exe.c:117:15 │ unknown function (ip: 0x7a48015a3249) 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: 105766864 (Pool: 105765197; Big: 1667); GC: 28 └ ┌ 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) (cache not reused: 22 for dependency source file not found) │ Stacktrace: │ [1] error(s::String) │ @ Base error.jl:56 │ [2] require(into::Module, mod::Symbol) │ @ Base loading.jl:2694 [inlined] │ [3] top-level scope │ @ ~/.julia/packages/CUDA/FQwqy/ext/SpecialFunctionsExt.jl:5 │ [4] include(mod::Module, _path::String) │ @ Base Base.jl:334 │ [5] top-level scope │ @ stdin:5 │ in expression starting at /home/pkgeval/.julia/packages/CUDA/FQwqy/ext/SpecialFunctionsExt.jl:3 │ in expression starting at stdin:5 └ ┌ CUDA │ ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("61eb1bfa-7361-4325-ad38-22787b887f55"), "GPUCompiler") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) (cache not reused: 12 for dependency source file not found) │ Stacktrace: │ [1] error(s::String) │ @ Base error.jl:56 │ [2] require(into::Module, mod::Symbol) │ @ Base loading.jl:2694 [inlined] │ [3] top-level scope │ @ ~/.julia/packages/CUDA/FQwqy/src/CUDA.jl:3 │ [4] include(mod::Module, _path::String) │ @ Base Base.jl:334 │ [5] top-level scope │ @ stdin:5 │ in expression starting at /home/pkgeval/.julia/packages/CUDA/FQwqy/src/CUDA.jl:1 │ in expression starting at stdin:5 └ ┌ Atomix → AtomixCUDAExt │ 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) (cache not reused: 22 for dependency source file not found) │ Stacktrace: │ [1] error(s::String) │ @ Base error.jl:56 │ [2] require(into::Module, mod::Symbol) │ @ Base loading.jl:2694 [inlined] │ [3] top-level scope │ @ ~/.julia/packages/Atomix/7G0aL/ext/AtomixCUDAExt.jl:5 │ [4] include(mod::Module, _path::String) │ @ Base Base.jl:334 │ [5] top-level scope │ @ stdin:5 │ in expression starting at /home/pkgeval/.julia/packages/Atomix/7G0aL/ext/AtomixCUDAExt.jl:2 │ in expression starting at stdin:5 └ ┌ IntervalMDP → IntervalMDPCudaExt │ 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) (cache not reused: 15 for different version of dependency already loaded, 7 for dependency source file not found) │ Stacktrace: │ [1] error(s::String) │ @ Base error.jl:56 │ [2] require(into::Module, mod::Symbol) │ @ Base loading.jl:2694 [inlined] │ [3] top-level scope │ @ ~/.julia/packages/IntervalMDP/kfg3x/ext/IntervalMDPCudaExt.jl:6 │ [4] include(mod::Module, _path::String) │ @ Base Base.jl:334 │ [5] top-level scope │ @ stdin:5 │ in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/ext/IntervalMDPCudaExt.jl:1 │ in expression starting at stdin:5 └ ERROR: LoadError: The following 5 packages failed to precompile: GPUCompiler Failed to precompile GPUCompiler [61eb1bfa-7361-4325-ad38-22787b887f55] to "/home/pkgeval/.julia/compiled/v1.14/GPUCompiler/jl_6iO44H" (ProcessSignaled(11)). CUDA → SpecialFunctionsExt Failed to precompile SpecialFunctionsExt [f4449fab-6dff-5571-a472-e6529facbddf] to "/home/pkgeval/.julia/compiled/v1.14/SpecialFunctionsExt/jl_ddxw5v" (ProcessExited(1)). CUDA Failed to precompile CUDA [052768ef-5323-5732-b1bb-66c8b64840ba] to "/home/pkgeval/.julia/compiled/v1.14/CUDA/jl_cEJaBy" (ProcessExited(1)). Atomix → AtomixCUDAExt Failed to precompile AtomixCUDAExt [ce415717-2381-5707-99cb-8f08807515f2] to "/home/pkgeval/.julia/compiled/v1.14/AtomixCUDAExt/jl_Rz8XuL" (ProcessExited(1)). IntervalMDP → IntervalMDPCudaExt Failed to precompile IntervalMDPCudaExt [462db4cb-6f8c-573c-8729-ab997cacfcb2] to "/home/pkgeval/.julia/compiled/v1.14/IntervalMDPCudaExt/jl_Xbk8LL" (ProcessExited(1)). in expression starting at /PkgEval.jl/scripts/precompile.jl:34 Precompilation failed after 247.24s ################################################################################ # Testing # Testing IntervalMDP Status `/tmp/jl_jEGXGB/Project.toml` [6e4b80f9] BenchmarkTools v1.8.0 ⌅ [052768ef] CUDA v5.11.3 [0c68f7d7] GPUArrays v11.5.13 [051c988a] IntervalMDP v0.7.0 `~/.julia/packages/IntervalMDP/kfg3x/` [b4f0291d] LazySets v7.0.0 [295af30f] Revise v3.17.0 [276daf66] SpecialFunctions v2.9.0 [2913bbd2] StatsBase v0.34.13 [37e2e46d] LinearAlgebra v1.14.0 [9a3f8284] Random v1.11.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_jEGXGB/Manifest.toml` [621f4979] AbstractFFTs v1.5.0 [79e6a3ab] Adapt v4.7.0 [66dad0bd] AliasTables v1.1.3 [a9b6321e] Atomix v1.1.3 [ab4f0b2a] BFloat16s v0.6.1 [6e4b80f9] BenchmarkTools v1.8.0 [fa961155] CEnum v0.5.0 [179af706] CFTime v0.2.10 [96374032] CRlibm v1.0.2 ⌅ [052768ef] CUDA v5.11.3 [1af6417a] CUDA_Runtime_Discovery v2.1.1 [da1fd8a2] CodeTracking v3.0.2 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.9 [1fbeeb36] CommonDataModel v0.4.4 [38540f10] CommonSolve v0.2.14 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [807dbc54] Compiler v0.1.1 [187b0558] ConstructionBase v1.6.0 [b7a15901] CoreMath v0.1.0 [a8cc5b0e] Crayons v4.2.0 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.19.6 [e2d170a0] DataValueInterfaces v1.0.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.16.0 [3c3547ce] DiskArrays v0.4.22 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.11 [f6369f11] ForwardDiff v1.4.5 [60bf3e95] GLPK v1.2.1 [0c68f7d7] GPUArrays v11.5.13 [46192b85] GPUArraysCore v0.2.0 ⌅ [61eb1bfa] GPUCompiler v1.17.1 ⌅ [096a3bc2] GPUToolbox v1.1.1 [076d061b] HashArrayMappedTries v0.2.0 [87dc4568] HiGHS v1.25.1 [d1acc4aa] IntervalArithmetic v1.0.11 [051c988a] IntervalMDP v0.7.0 `~/.julia/packages/IntervalMDP/kfg3x/` [92d709cd] IrrationalConstants v0.2.6 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.7.1 [4076af6c] JuMP v1.31.2 [aa1ae85d] JuliaInterpreter v0.11.4 [63c18a36] KernelAbstractions v0.9.42 [929cbde3] LLVM v9.13.1 [8b046642] LLVMLoopInfo v1.0.0 [8ac3fa9e] LRUCache v1.6.2 [b964fa9f] LaTeXStrings v1.4.1 [b4f0291d] LazySets v7.0.0 [2ab3a3ac] LogExpFunctions v1.0.1 [6f1432cf] LoweredCodeUtils v3.8.0 [3da0fdf6] MPIPreferences v0.1.12 [1914dd2f] MacroTools v0.5.16 [8c4f8055] MathOptIIS v0.2.0 [b8f27783] MathOptInterface v1.53.0 [e1d29d7a] Missings v1.2.0 [d8a4904e] MutableArithmetics v1.8.0 [85f8d34a] NCDatasets v0.14.15 [5da4648a] NVTX v1.0.3 [77ba4419] NaNMath v1.1.4 [6fe1bfb0] OffsetArrays v1.17.0 [bac558e1] OrderedCollections v2.0.1 ⌅ [69de0a69] Parsers v2.8.7 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [08abe8d2] PrettyTables v3.4.8 [43287f4e] PtrArrays v1.4.0 [74087812] Random123 v1.7.1 [e6cf234a] RandomNumbers v1.6.0 [379f33d0] ReachabilityBase v0.3.6 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [295af30f] Revise v3.17.0 [5eaf0fd0] RoundingEmulator v0.2.1 [7e506255] ScopedValues v1.6.2 [6c6a2e73] Scratch v1.3.0 [a2af1166] SortingAlgorithms v1.2.3 [276daf66] SpecialFunctions v2.9.0 [90137ffa] StaticArrays v1.9.20 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.5 [82ae8749] StatsAPI v1.8.0 [2913bbd2] StatsBase v0.34.13 ⌅ [892a3eda] StringManipulation v0.5.0 [ec057cc2] StructUtils v2.8.5 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.14.0 [e689c965] Tracy v0.1.6 [3bb67fe8] TranscodingStreams v0.11.3 [013be700] UnsafeAtomics v0.3.2 [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.4+1 [4ee394cb] CUDA_Driver_jll v13.3.4+0 ⌅ [76a88914] CUDA_Runtime_jll v0.21.0+1 [a38c48d9] CoreMath_jll v0.1.0+0 ⌅ [e8aa6df9] GLPK_jll v5.0.1+1 [0234f1f7] HDF5_jll v2.2.1+0 [8fd58aa0] HiGHS_jll v1.15.1+3 [e33a78d0] Hwloc_jll v2.14.0+0 [9c1d0b0a] JuliaNVTXCallbacks_jll v0.2.1+0 [dad2f222] LLVMExtra_jll v0.0.47+0 [ad6e5548] LibTracyClient_jll v0.13.1+0 [94ce4f54] Libiconv_jll v1.18.0+0 [5ced341a] Lz4_jll v1.10.1+0 [b5ada748] MPIABI_jll v1.0.0+0 [7cb0a576] MPICH_jll v5.0.1+0 [f1f71cc9] MPItrampoline_jll v5.5.6+0 [9237b28f] MicrosoftMPI_jll v10.1.4+3 [e98f9f5b] NVTX_jll v3.2.2+0 [7243133f] NetCDF_jll v401.1000.101+0 [656ef2d0] OpenBLAS32_jll v0.3.34+0 [6cdc7f73] OpenBLASConsistentFPCSR_jll v0.3.34+0 [fe0851c0] OpenMPI_jll v5.0.11+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 ⌅ [02c8fc9c] XML2_jll v2.13.9+0 [ffd25f8a] XZ_jll v5.8.3+0 [a65dc6b1] Xorg_libpciaccess_jll v0.19.0+0 ⌅ [2b3700d1] aws_c_auth_jll v0.9.6+0 ⌅ [70f11efc] aws_c_cal_jll v0.9.13+0 ⌅ [73048d1d] aws_c_common_jll v0.12.6+0 ⌅ [73a04cd5] aws_c_compression_jll v0.3.2+0 ⌅ [3254fc65] aws_c_http_jll v0.10.15+0 ⌅ [13c41daa] aws_c_io_jll v0.26.3+0 ⌅ [bd1f34fb] aws_c_s3_jll v0.11.5+0 ⌅ [1282aa60] aws_c_sdkutils_jll v0.2.4+1 ⌅ [b2a88e68] aws_checksums_jll v0.2.10+0 [1e29f10c] demumble_jll v1.3.0+0 [c4b69c83] dlfcn_win32_jll v1.4.2+0 [477f73a3] libaec_jll v1.1.7+0 [337d8026] libzip_jll v1.11.4+0 [9aeb927a] mpif_jll v1.0.0+0 [cddc5d3d] s2n_tls_jll v1.7.8+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [8bf52ea8] CRC32c 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.14.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.13.0 [9e88b42a] Serialization 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.5.7+0 [781609d7] GMP_jll v6.3.0+5 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.7+0 [29816b5a] LibSSH2_jll v1.11.104+0 [14a3606d] MozillaCACerts_jll v2026.8.13 [4536629a] OpenBLAS_jll v0.3.34+0 [05823500] OpenLibm_jll v0.8.8+0 [458c3c95] OpenSSL_jll v3.5.8+0 [efcefdf7] PCRE2_jll v10.48.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.70.0+0 [3f19e933] p7zip_jll v17.8.2+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... 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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [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:2247 [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:2247 [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:784 [inlined] ┌ Warning: `disable_sigint` no longer defers Ctrl-C: SIGINT is delivered as a cancellation of the current ^C scope and observed at cancellation points regardless of the sigatomic region this establishes. Shield a region from cancellation by scoping `Base.CANCEL_TOKEN => nothing` over it instead. │ caller = optimize!(model::HiGHS.Optimizer) at MOI_wrapper.jl:2314 └ @ HiGHS ~/.julia/packages/HiGHS/erykA/src/MOI_wrapper.jl:2314 data/intervalmdp.jl: Error During Test at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/data/data.jl:5 Got exception outside of a @test LoadError: NetCDF error: Permission denied (NetCDF error code: 13) Stacktrace: [1] check(code::Int32) @ NCDatasets ~/.julia/packages/NCDatasets/umdPP/src/errorhandling.jl:25 [inlined] [2] macro expansion @ ~/.julia/packages/NCDatasets/umdPP/src/netcdf_c.jl:266 [inlined] [3] (::NCDatasets.var"#nc_create##0#nc_create##1"{String, UInt16})() @ NCDatasets ~/.julia/packages/NCDatasets/umdPP/src/lock.jl:9 [4] lock(f::NCDatasets.var"#nc_create##0#nc_create##1"{String, UInt16}, l::ReentrantLock; cancel::Base.UseDefaultToken) @ Base lock.jl:394 [5] lock(f::Function, l::ReentrantLock) @ Base lock.jl:391 [6] nc_create(path::String, cmode::Integer) @ NCDatasets ~/.julia/packages/NCDatasets/umdPP/src/lock.jl:8 [inlined] [7] NCDatasets.NCDataset(filename::String, mode::String; format::Symbol, share::Bool, diskless::Bool, persist::Bool, memory::Nothing, maskingvalue::Missing, attrib::Vector{Any}) @ NCDatasets ~/.julia/packages/NCDatasets/umdPP/src/dataset.jl:267 [8] NCDatasets.NCDataset(filename::String, mode::String) @ NCDatasets ~/.julia/packages/NCDatasets/umdPP/src/dataset.jl:241 [inlined] [9] NCDatasets.NCDataset(::IntervalMDP.Data.var"#36#37"{Int64, FactoredRobustMarkovDecisionProcess{1, 1, Tuple{Marginal{IntervalAmbiguitySets{Float64, SparseArrays.FixedSparseCSC{Float64, Int32}}, 1, 1}}, AllAvailableActions{1}, AllStates}}, ::String, ::String; kwargs::@Kwargs{}) @ NCDatasets ~/.julia/packages/NCDatasets/umdPP/src/dataset.jl:286 [10] NCDatasets.NCDataset(::IntervalMDP.Data.var"#36#37"{Int64, FactoredRobustMarkovDecisionProcess{1, 1, Tuple{Marginal{IntervalAmbiguitySets{Float64, SparseArrays.FixedSparseCSC{Float64, Int32}}, 1, 1}}, AllAvailableActions{1}, AllStates}}, ::String, ::String) @ NCDatasets ~/.julia/packages/NCDatasets/umdPP/src/dataset.jl:285 [inlined] [11] _write_intervalmdp_jl_model(model_path::String, mdp::FactoredRobustMarkovDecisionProcess{1, 1, Tuple{Marginal{IntervalAmbiguitySets{Float64, SparseArrays.FixedSparseCSC{Float64, Int32}}, 1, 1}}, AllAvailableActions{1}, AllStates}, ::IntervalMDP.IsIMDP; deflate_level::Int64) @ IntervalMDP.Data ~/.julia/packages/IntervalMDP/kfg3x/src/Data/intervalmdp.jl:190 [inlined] [12] write_intervalmdp_jl_model(model_path::String, mdp::FactoredRobustMarkovDecisionProcess{1, 1, Tuple{Marginal{IntervalAmbiguitySets{Float64, SparseArrays.FixedSparseCSC{Float64, Int32}}, 1, 1}}, AllAvailableActions{1}, AllStates}; deflate_level::Int64) @ IntervalMDP.Data ~/.julia/packages/IntervalMDP/kfg3x/src/Data/intervalmdp.jl:176 [inlined] [13] top-level scope @ ~/.julia/packages/IntervalMDP/kfg3x/test/data/intervalmdp.jl:5 [14] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:335 [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [16] top-level scope @ ~/.julia/packages/IntervalMDP/kfg3x/test/data/data.jl:5 in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/data/intervalmdp.jl:5 Fault at memory address: 0x10000000a [414] signal 11 (1): Segmentation fault in expression starting at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:3 __atomic_add at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/ext/atomicity.h:53:54 [inlined] __atomic_add_dispatch at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/ext/atomicity.h:96:19 [inlined] _M_add_ref_copy at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:139:41 [inlined] __shared_count at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:737:4 [inlined] __shared_ptr at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:1167:7 [inlined] shared_ptr at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr.h:129:7 [inlined] withContextDo]:: > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:50:14 [inlined] withModuleDo > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:117:6 [inlined] jl_emit_native_impl at /source/src/aotcompile.cpp:1049:32 compile_method_instance at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/jlgen.jl:784:0 (pc: 358) irgen at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/irgen.jl:4:0 (pc: 1) #emit_llvm#114 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:209:0 (pc: 23) emit_llvm at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:191:0 (pc: 1) #compile_unhooked#111 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:95:0 (pc: 11) compile_unhooked at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:80:0 [inlined] #compile#109 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:67:0 [inlined] compile at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:55:0 [inlined] #174 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:35:0 [inlined] #JuliaContext#108 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:34:0 (pc: 25) unknown function (ip: 0x71cf392c3661) at (unknown file) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 JuliaContext at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:25:0 (pc: 1) unknown function (ip: 0x71cf83967a92) at (unknown file) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 macro expansion at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:34:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/PrecompileTools/QUxvR/src/workloads.jl:70:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:25:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/PrecompileTools/QUxvR/src/workloads.jl:118:0 [inlined] top-level scope at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:115:0 (pc: 88) jl_invoke_oneshot at /source/src/gf.c:4631:23 ijl_eval_thunk at /source/src/toplevel.c:764:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) include_string at ./loading.jl:3291:0 (pc: 140) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 _include at ./loading.jl:3353:0 (pc: 123) include at ./Base.jl:335:0 (pc: 1) IncludeInto at ./Base.jl:336:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 jl_apply at /source/src/julia.h:2533:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:259:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:829:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 ijl_eval_thunk at /source/src/toplevel.c:772:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_eval_module_expr at /source/src/toplevel.c:266:5 [inlined] jl_toplevel_eval_flex at /source/src/toplevel.c:669:27 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) include_string at ./loading.jl:3291:0 (pc: 140) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 _include at ./loading.jl:3353:0 (pc: 123) include at ./Base.jl:334:0 (pc: 1) include_package_for_output at ./loading.jl:3468:0 (pc: 489) jfptr_include_package_for_output_3.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 jl_apply at /source/src/julia.h:2533:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:259:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:829:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 ijl_eval_thunk at /source/src/toplevel.c:772:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) include_string at ./loading.jl:3291:0 (pc: 140) include_string at ./loading.jl:3301:0 [inlined] __script_entry_include_string at ./client.jl:104:0 [inlined] exec_options at ./client.jl:382:0 (pc: 900) _start at ./client.jl:695:0 (pc: 217) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4590:23 [inlined] ijl_apply_generic at /source/src/gf.c:4838:12 jl_apply at /source/src/julia.h:2533:12 [inlined] true_main at /source/src/jlapi.c:989:29 jl_repl_entrypoint at /source/src/jlapi.c:1156:15 main at /source/cli/loader_exe.c:117:15 unknown function (ip: 0x71cfa00fe249) 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: 99242702 (Pool: 99241115; Big: 1587); GC: 27 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("61eb1bfa-7361-4325-ad38-22787b887f55"), "GPUCompiler") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) (cache not reused: 12 for dependency source file not found) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] require(into::Module, mod::Symbol) @ Base loading.jl:2694 [inlined] [3] top-level scope @ ~/.julia/packages/CUDA/FQwqy/src/CUDA.jl:3 [4] include(mod::Module, _path::String) @ Base Base.jl:334 [5] top-level scope @ stdin:5 in expression starting at /home/pkgeval/.julia/packages/CUDA/FQwqy/src/CUDA.jl:1 in expression starting at stdin:5 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) (cache not reused: 22 for dependency source file not found) Stacktrace: [1] error(s::String) @ Base error.jl:56 [2] require(into::Module, mod::Symbol) @ Base loading.jl:2694 [inlined] [3] top-level scope @ ~/.julia/packages/Atomix/7G0aL/ext/AtomixCUDAExt.jl:5 [4] include(mod::Module, _path::String) @ Base Base.jl:334 [5] top-level scope @ stdin:5 in expression starting at /home/pkgeval/.julia/packages/Atomix/7G0aL/ext/AtomixCUDAExt.jl:2 in expression starting at stdin:5 3 dependencies had output during precompilation: ┌ GPUCompiler │ Fault at memory address: 0x10000000a │ │ [414] signal 11 (1): Segmentation fault │ in expression starting at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:3 │ __atomic_add at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/ext/atomicity.h:53:54 [inlined] │ __atomic_add_dispatch at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/ext/atomicity.h:96:19 [inlined] │ _M_add_ref_copy at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:139:41 [inlined] │ __shared_count at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:737:4 [inlined] │ __shared_ptr at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr_base.h:1167:7 [inlined] │ shared_ptr at /usr/local/x86_64-linux-gnu/include/c++/9.1.0/bits/shared_ptr.h:129:7 [inlined] │ withContextDo]:: > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:50:14 [inlined] │ withModuleDo > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:117:6 [inlined] │ jl_emit_native_impl at /source/src/aotcompile.cpp:1049:32 │ compile_method_instance at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/jlgen.jl:784:0 (pc: 358) │ irgen at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/irgen.jl:4:0 (pc: 1) │ #emit_llvm#114 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:209:0 (pc: 23) │ emit_llvm at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:191:0 (pc: 1) │ #compile_unhooked#111 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:95:0 (pc: 11) │ compile_unhooked at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:80:0 [inlined] │ #compile#109 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:67:0 [inlined] │ compile at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:55:0 [inlined] │ #174 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:35:0 [inlined] │ #JuliaContext#108 at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:34:0 (pc: 25) │ unknown function (ip: 0x71cf392c3661) at (unknown file) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ JuliaContext at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/driver.jl:25:0 (pc: 1) │ unknown function (ip: 0x71cf83967a92) at (unknown file) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ macro expansion at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:34:0 [inlined] │ macro expansion at /home/pkgeval/.julia/packages/PrecompileTools/QUxvR/src/workloads.jl:70:0 [inlined] │ macro expansion at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:25:0 [inlined] │ macro expansion at /home/pkgeval/.julia/packages/PrecompileTools/QUxvR/src/workloads.jl:118:0 [inlined] │ top-level scope at /home/pkgeval/.julia/packages/GPUCompiler/Avrep/src/precompile.jl:115:0 (pc: 88) │ jl_invoke_oneshot at /source/src/gf.c:4631:23 │ ijl_eval_thunk at /source/src/toplevel.c:764:18 │ jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 │ jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 │ jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 │ ijl_toplevel_eval at /source/src/toplevel.c:786:12 │ ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 │ eval at ./boot.jl:618:0 (pc: 1) │ include_string at ./loading.jl:3291:0 (pc: 140) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ _include at ./loading.jl:3353:0 (pc: 123) │ include at ./Base.jl:335:0 (pc: 1) │ IncludeInto at ./Base.jl:336:0 (pc: 2) │ jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ jl_apply at /source/src/julia.h:2533:12 [inlined] │ do_call at /source/src/interpreter.c:123:26 │ eval_value at /source/src/interpreter.c:259:16 │ eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] │ eval_body at /source/src/interpreter.c:829:21 │ jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 │ ijl_eval_thunk at /source/src/toplevel.c:772:18 │ jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 │ jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 │ jl_eval_module_expr at /source/src/toplevel.c:266:5 [inlined] │ jl_toplevel_eval_flex at /source/src/toplevel.c:669:27 │ jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 │ jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 │ ijl_toplevel_eval at /source/src/toplevel.c:786:12 │ ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 │ eval at ./boot.jl:618:0 (pc: 1) │ include_string at ./loading.jl:3291:0 (pc: 140) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ _include at ./loading.jl:3353:0 (pc: 123) │ include at ./Base.jl:334:0 (pc: 1) │ include_package_for_output at ./loading.jl:3468:0 (pc: 489) │ jfptr_include_package_for_output_3.1 at /opt/julia/lib/julia/sys.so (unknown line) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ jl_apply at /source/src/julia.h:2533:12 [inlined] │ do_call at /source/src/interpreter.c:123:26 │ eval_value at /source/src/interpreter.c:259:16 │ eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] │ eval_body at /source/src/interpreter.c:829:21 │ jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 │ ijl_eval_thunk at /source/src/toplevel.c:772:18 │ jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 │ jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 │ jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 │ ijl_toplevel_eval at /source/src/toplevel.c:786:12 │ ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 │ eval at ./boot.jl:618:0 (pc: 1) │ include_string at ./loading.jl:3291:0 (pc: 140) │ include_string at ./loading.jl:3301:0 [inlined] │ __script_entry_include_string at ./client.jl:104:0 [inlined] │ exec_options at ./client.jl:382:0 (pc: 900) │ _start at ./client.jl:695:0 (pc: 217) │ jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) │ _jl_invoke at /source/src/gf.c:4590:23 [inlined] │ ijl_apply_generic at /source/src/gf.c:4838:12 │ jl_apply at /source/src/julia.h:2533:12 [inlined] │ true_main at /source/src/jlapi.c:989:29 │ jl_repl_entrypoint at /source/src/jlapi.c:1156:15 │ main at /source/cli/loader_exe.c:117:15 │ unknown function (ip: 0x71cfa00fe249) 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: 99242702 (Pool: 99241115; Big: 1587); GC: 27 └ ┌ CUDA │ [Output was shown above] └ ┌ Atomix → AtomixCUDAExt │ 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) (cache not reused: 22 for dependency source file not found) │ Stacktrace: │ [1] error(s::String) │ @ Base error.jl:56 │ [2] require(into::Module, mod::Symbol) │ @ Base loading.jl:2694 [inlined] │ [3] top-level scope │ @ ~/.julia/packages/Atomix/7G0aL/ext/AtomixCUDAExt.jl:5 │ [4] include(mod::Module, _path::String) │ @ Base Base.jl:334 │ [5] top-level scope │ @ stdin:5 │ in expression starting at /home/pkgeval/.julia/packages/Atomix/7G0aL/ext/AtomixCUDAExt.jl:2 │ in expression starting at stdin:5 └ cuda: Error During Test at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/runtests.jl:7 Got exception outside of a @test LoadError: The following 3 packages failed to precompile: GPUCompiler Failed to precompile GPUCompiler [61eb1bfa-7361-4325-ad38-22787b887f55] to "/home/pkgeval/.julia/compiled/v1.14/GPUCompiler/jl_W9gH2G" (ProcessSignaled(11)). CUDA Failed to precompile CUDA [052768ef-5323-5732-b1bb-66c8b64840ba] to "/home/pkgeval/.julia/compiled/v1.14/CUDA/jl_6v2HxJ" (ProcessExited(1)). Atomix → AtomixCUDAExt Failed to precompile AtomixCUDAExt [ce415717-2381-5707-99cb-8f08807515f2] to "/home/pkgeval/.julia/compiled/v1.14/AtomixCUDAExt/jl_gKh6pm" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/cuda/cuda.jl:1 Test Summary: | Pass Fail Error Total Time IntervalMDP.jl | 2913 11 2 2926 18m52.4s base | 1634 11 1645 11m10.3s base/probabilities.jl | 89 89 1m13.4s base/bellman.jl | 18 18 13.6s base/vi.jl | 117 117 24.4s base/imdp.jl | 501 501 53.3s base/synthesis.jl | 59 59 6.6s base/specification.jl | 225 11 236 28.0s getters | 88 11 99 17.5s DFA reachability | 12 12 0.6s DFA safety | 12 12 0.5s reachability | 15 3 18 15.0s reach-avoid | 18 6 24 0.5s safety | 10 2 12 0.2s reward | 16 16 0.6s expected exit time | 5 5 0.1s specification | 24 24 0.3s errors | 113 113 9.3s base/factored.jl | 353 353 6m33.6s base/labelling.jl | 48 48 5.5s base/dfa.jl | 17 17 2.8s base/product.jl | 207 207 1m08.6s sparse | 1089 1089 5m07.1s sparse/probabilities.jl | 87 87 40.7s sparse/bellman.jl | 18 18 18.8s sparse/vi.jl | 117 117 12.8s sparse/imdp.jl | 495 495 1m20.4s sparse/synthesis.jl | 59 59 6.9s sparse/factored.jl | 313 313 2m27.3s data | 190 1 191 29.6s data/bmdp_tool.jl | 20 20 11.9s data/prism.jl | 170 170 8.5s data/intervalmdp.jl | 1 1 9.0s cuda | 1 1 2m05.2s RNG of the outermost testset: Random.Xoshiro(0x3aa56ec98a8b8d0c, 0x2937e28096d00094, 0xd26ec266a95941bf, 0xb10871b66f966fac, 0xa9b1fe49aad6e537) ERROR: LoadError: Some tests did not pass: 2913 passed, 11 failed, 2 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/IntervalMDP/kfg3x/test/runtests.jl:3 Testing failed after 1163.29s ERROR: LoadError: Package IntervalMDP errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3298 [3] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:587 [4] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1476.01s: package fails to precompile