Package evaluation to load NeuralNetworkReachability on Julia 1.14.0-DEV.2309 (6e1a27e459*) started at 2026-06-06T19:29:18.809 ################################################################################ # Set-up # Set-up completed after 0.14s ################################################################################ # Installation # Installing NeuralNetworkReachability... Resolving package versions... Installed Bzip2_jll ─────────────────── v1.0.9+0 Installed CodecZlib ─────────────────── v0.7.8 Installed DiffResults ───────────────── v1.1.0 Installed ExprTools ─────────────────── v0.1.10 Installed RecipesBase ───────────────── v1.3.4 Installed OpenBLASConsistentFPCSR_jll ─ v0.3.33+0 Installed OrderedCollections ────────── v1.8.2 Installed MacroTools ────────────────── v0.5.16 Installed ForwardDiff ───────────────── v1.3.3 Installed TranscodingStreams ────────── v0.11.3 Installed ReachabilityBase ──────────── v0.3.6 Installed Statistics ────────────────── v1.11.1 Installed CommonSubexpressions ──────── v0.3.1 Installed ControllerFormats ─────────── v0.2.7 Installed StructUtils ───────────────── v2.8.2 Installed CoreMath ──────────────────── v0.1.0 Installed StaticArraysCore ──────────── v1.4.4 Installed CodecBzip2 ────────────────── v0.8.5 Installed IrrationalConstants ───────── v0.2.6 Installed PrecompileTools ───────────── v1.3.4 Installed NaNMath ───────────────────── v1.1.3 Installed NeuralNetworkReachability ─── v0.1.14 Installed RoundingEmulator ──────────── v0.2.1 Installed CoreMath_jll ──────────────── v0.1.0+0 Installed OpenSpecFun_jll ───────────── v0.5.6+0 Installed Requires ──────────────────── v1.3.1 Installed DiffRules ─────────────────── v1.16.0 Installed LogExpFunctions ───────────── v0.3.29 Installed JSON ──────────────────────── v1.6.1 Installed Parsers ───────────────────── v2.8.5 Installed GLPK_jll ──────────────────── v5.0.1+1 Installed JuMP ──────────────────────── v1.30.1 Installed Reexport ──────────────────── v1.2.2 Installed SpecialFunctions ──────────── v2.8.0 Installed IntervalArithmetic ────────── v1.0.9 Installed LazySets ──────────────────── v6.0.3 Installed CRlibm_jll ────────────────── v1.0.1+0 Installed MutableArithmetics ────────── v1.8.0 Installed DocStringExtensions ───────── v0.9.5 Installed GLPK ──────────────────────── v1.2.1 Installed CRlibm ────────────────────── v1.0.2 Installed Preferences ───────────────── v1.5.2 Installed JLLWrappers ───────────────── v1.8.0 Installed MathOptInterface ──────────── v1.51.1 Installing 6 artifacts Installed artifact OpenSpecFun 194.9 KiB Installed artifact CRlibm 169.5 KiB Installed artifact Bzip2 503.5 KiB Installed artifact CoreMath 643.9 KiB Installed artifact GLPK 3.1 MiB Installed artifact OpenBLASConsistentFPCSR 10.1 MiB Updating `~/.julia/environments/v1.14/Project.toml` [5de1e908] + NeuralNetworkReachability v0.1.14 Updating `~/.julia/environments/v1.14/Manifest.toml` [96374032] + CRlibm v1.0.2 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [02ac4b2c] + ControllerFormats v0.2.7 [b7a15901] + CoreMath v0.1.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.16.0 [ffbed154] + DocStringExtensions v0.9.5 [e2ba6199] + ExprTools v0.1.10 [f6369f11] + ForwardDiff v1.3.3 [60bf3e95] + GLPK v1.2.1 [d1acc4aa] + IntervalArithmetic v1.0.9 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.6.1 [4076af6c] + JuMP v1.30.1 [b4f0291d] + LazySets v6.0.3 ⌅ [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.51.1 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.3 [5de1e908] + NeuralNetworkReachability v0.1.14 ⌅ [bac558e1] + OrderedCollections v1.8.2 [69de0a69] + Parsers v2.8.5 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [379f33d0] + ReachabilityBase v0.3.6 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [5eaf0fd0] + RoundingEmulator v0.2.1 [276daf66] + SpecialFunctions v2.8.0 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [ec057cc2] + StructUtils v2.8.2 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [4e9b3aee] + CRlibm_jll v1.0.1+0 [a38c48d9] + CoreMath_jll v0.1.0+0 ⌅ [e8aa6df9] + GLPK_jll v5.0.1+1 [6cdc7f73] + OpenBLASConsistentFPCSR_jll v0.3.33+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+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 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.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 [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.5.2+0 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.20.0+1 [e37daf67] + LibGit2_jll v1.9.4+0 [29816b5a] + LibSSH2_jll v1.11.101+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.6+0 [efcefdf7] + PCRE2_jll v10.47.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.69.0+0 [3f19e933] + p7zip_jll v17.8.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 16.3s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling project... 4.9 s ✓ MacroTools 0.6 s ✓ Reexport 1.1 s ✓ Statistics 2.6 s ✓ IrrationalConstants 0.9 s ✓ StaticArraysCore 152.9 s ✓ OrderedCollections 1.1 s ✓ DocStringExtensions 0.8 s ✓ RoundingEmulator 0.8 s ✓ ExprTools 55.4 s ✓ TranscodingStreams 1.1 s ✓ Requires 1.5 s ✓ NaNMath 3.1 s ✓ StructUtils 2.3 s ✓ Preferences 134.8 s ✓ MutableArithmetics 1.8 s ✓ CommonSubexpressions 43.9 s ✓ Statistics → SparseArraysExt 0.9 s ✓ DiffResults 1.9 s ✓ LogExpFunctions 21.1 s ✓ CodecZlib 47.1 s ✓ ReachabilityBase 1.8 s ✓ StructUtils → StructUtilsStaticArraysCoreExt 3.5 s ✓ JLLWrappers 3.2 s ✓ PrecompileTools 47.4 s ✓ ControllerFormats 3.6 s ✓ Bzip2_jll 3.7 s ✓ OpenBLASConsistentFPCSR_jll 3.7 s ✓ CRlibm_jll 3.7 s ✓ OpenSpecFun_jll 3.7 s ✓ CoreMath_jll 3.7 s ✓ GLPK_jll 5.3 s ✓ RecipesBase 40.1 s ✓ Parsers 38.2 s ✓ CodecBzip2 2.9 s ✓ CRlibm 82.6 s ✓ SpecialFunctions 2.7 s ✓ CoreMath 103.4 s ✓ JSON 1.5 s ✓ DiffRules 100.9 s ✓ IntervalArithmetic 97.6 s ✓ ForwardDiff 37.9 s ✓ IntervalArithmetic → IntervalArithmeticLinearAlgebraExt 36.8 s ✓ IntervalArithmetic → IntervalArithmeticIrrationalConstantsExt 36.2 s ✓ IntervalArithmetic → IntervalArithmeticDiffRulesExt 75.7 s ✓ IntervalArithmetic → IntervalArithmeticSparseArraysExt 38.8 s ✓ IntervalArithmetic → IntervalArithmeticRecipesBaseExt 381.6 s ✓ MathOptInterface 41.8 s ✓ IntervalArithmetic → IntervalArithmeticForwardDiffExt 346.7 s ✓ JuMP 77.9 s ✓ GLPK ┌ Info: JuliaLowering threw given input: │ code = │ quote │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:274 =# │ function array_constructor(::Type{CartesianProduct}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:274 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:275 =# │ return CartesianProductArray │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:279 =# │ function binary_constructor(::Type{CartesianProductArray}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:279 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:280 =# │ return CartesianProduct │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:284 =# │ function is_array_constructor(::Type{CartesianProductArray}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:285 =# │ return true │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:289 =# │ function concrete_function(::Type{<:CartesianProductArray}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:289 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:290 =# │ return concrete_function(CartesianProduct) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:294 =# │ function flatten(X::Union{<:CartesianProduct, <:CartesianProductArray}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:294 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:295 =# │ arr = flatten!([], X, CartesianProduct) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =# @inbounds if length(arr) == 1 │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:297 =# │ return arr[1] │ elseif #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:298 =# length(arr) == 2 │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:299 =# │ return CartesianProduct(2) │ else │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:301 =# │ return CartesianProductArray([Xi for Xi = arr]) │ end │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:306 =# │ function CartesianProduct!(X::LazySet{N}, Y::LazySet{N}) where N │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:306 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:308 =# │ return CartesianProduct(X, Y) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:310 =# │ function CartesianProduct!(X::LazySet{N}, arr::CartesianProductArray{N}) where N │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:311 =# │ push!(array(arr), X) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:312 =# │ return arr │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:314 =# │ function CartesianProduct!(arr::CartesianProductArray{N}, X::LazySet{N}) where N │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:315 =# │ push!(array(arr), X) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:316 =# │ return arr │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:318 =# │ function CartesianProduct!(arr1::CartesianProductArray{N}, arr2::CartesianProductArray{N}) where N │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:319 =# │ append!(array(arr1), array(arr2)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:320 =# │ return arr1 │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =# │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =# @__MODULE__(), :neutral) && hasmethod(neutral, (Type{CartesianProduct},)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# @array_neutral($(Expr(:escape, :CartesianProduct)), neutral($(Expr(:escape, :CartesianProduct))), $(Expr(:escape, :CartesianProductArray))) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =# │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =# @__MODULE__(), :neutral) && hasmethod(neutral, (Type{CartesianProductArray},)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# @array_neutral($(Expr(:escape, :CartesianProductArray)), neutral($(Expr(:escape, :CartesianProductArray))), $(Expr(:escape, :CartesianProductArray))) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =# │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =# @__MODULE__(), :absorbing) && hasmethod(absorbing, (Type{CartesianProduct},)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# @array_absorbing($(Expr(:escape, :CartesianProduct)), absorbing($(Expr(:escape, :CartesianProduct))), $(Expr(:escape, :CartesianProductArray))) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =# │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =# @__MODULE__(), :absorbing) && hasmethod(absorbing, (Type{CartesianProductArray},)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# @array_absorbing($(Expr(:escape, :CartesianProductArray)), absorbing($(Expr(:escape, :CartesianProductArray))), $(Expr(:escape, :CartesianProductArray))) │ end │ end │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [block] │ │ [function] │ │ [call] │ │ array_constructor :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProduct :: Identifier │ │ [block] │ │ [return] │ │ CartesianProductArray :: Identifier │ │ [function] │ │ [call] │ │ binary_constructor :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [return] │ │ CartesianProduct :: Identifier │ │ [function] │ │ [call] │ │ is_array_constructor :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [return] │ │ true :: Value │ │ [function] │ │ [call] │ │ concrete_function :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ [<:] │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ concrete_function :: Identifier │ │ CartesianProduct :: Identifier │ │ [function] │ │ [call] │ │ flatten :: Identifier │ │ [::] │ │ X :: Identifier │ │ [curly] │ │ Union :: Identifier │ │ [<:] │ │ CartesianProduct :: Identifier │ │ [<:] │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [=] │ │ arr :: Identifier │ │ [call] │ │ flatten! :: Identifier │ │ [vect] │ │ X :: Identifier │ │ CartesianProduct :: Identifier │ │ [macrocall] │ │ @inbounds :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =#) :: Value │ │ [if] │ │ [call] │ │ == :: Identifier │ │ [call] │ │ length :: Identifier │ │ arr :: Identifier │ │ 1 :: Value │ │ [block] │ │ [return] │ │ [ref] │ │ arr :: Identifier │ │ 1 :: Value │ │ [elseif] │ │ [block] │ │ [call] │ │ == :: Identifier │ │ [call] │ │ length :: Identifier │ │ arr :: Identifier │ │ 2 :: Value │ │ [block] │ │ [return] │ │ [call] │ │ CartesianProduct :: Identifier │ │ 2 :: Value │ │ [block] │ │ [return] │ │ [call] │ │ CartesianProductArray :: Identifier │ │ [comprehension] │ │ [generator] │ │ Xi :: Identifier │ │ [=] │ │ Xi :: Identifier │ │ arr :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ CartesianProduct! :: Identifier │ │ [::] │ │ X :: Identifier │ │ [curly] │ │ LazySet :: Identifier │ │ N :: Identifier │ │ [::] │ │ Y :: Identifier │ │ [curly] │ │ LazySet :: Identifier │ │ N :: Identifier │ │ N :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ CartesianProduct :: Identifier │ │ X :: Identifier │ │ Y :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ CartesianProduct! :: Identifier │ │ [::] │ │ X :: Identifier │ │ [curly] │ │ LazySet :: Identifier │ │ N :: Identifier │ │ [::] │ │ arr :: Identifier │ │ [curly] │ │ CartesianProductArray :: Identifier │ │ N :: Identifier │ │ N :: Identifier │ │ [block] │ │ [call] │ │ push! :: Identifier │ │ [call] │ │ array :: Identifier │ │ arr :: Identifier │ │ X :: Identifier │ │ [return] │ │ arr :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ CartesianProduct! :: Identifier │ │ [::] │ │ arr :: Identifier │ │ [curly] │ │ CartesianProductArray :: Identifier │ │ N :: Identifier │ │ [::] │ │ X :: Identifier │ │ [curly] │ │ LazySet :: Identifier │ │ N :: Identifier │ │ N :: Identifier │ │ [block] │ │ [call] │ │ push! :: Identifier │ │ [call] │ │ array :: Identifier │ │ arr :: Identifier │ │ X :: Identifier │ │ [return] │ │ arr :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ CartesianProduct! :: Identifier │ │ [::] │ │ arr1 :: Identifier │ │ [curly] │ │ CartesianProductArray :: Identifier │ │ N :: Identifier │ │ [::] │ │ arr2 :: Identifier │ │ [curly] │ │ CartesianProductArray :: Identifier │ │ N :: Identifier │ │ N :: Identifier │ │ [block] │ │ [call] │ │ append! :: Identifier │ │ [call] │ │ array :: Identifier │ │ arr1 :: Identifier │ │ [call] │ │ array :: Identifier │ │ arr2 :: Identifier │ │ [return] │ │ arr1 :: Identifier │ │ [if] │ │ [&&] │ │ [call] │ │ isdefined :: Identifier │ │ [macrocall] │ │ @__MODULE__ :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =#) :: Value │ │ [inert] │ │ neutral :: Identifier │ │ [call] │ │ hasmethod :: Identifier │ │ neutral :: Identifier │ │ [tuple] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProduct :: Identifier │ │ [block] │ │ [macrocall] │ │ @eval :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =#) :: Value │ │ [macrocall] │ │ @array_neutral :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =#) :: Value │ │ [escape] │ │ CartesianProduct :: Identifier │ │ [call] │ │ neutral :: Identifier │ │ [escape] │ │ CartesianProduct :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [if] │ │ [&&] │ │ [call] │ │ isdefined :: Identifier │ │ [macrocall] │ │ @__MODULE__ :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =#) :: Value │ │ [inert] │ │ neutral :: Identifier │ │ [call] │ │ hasmethod :: Identifier │ │ neutral :: Identifier │ │ [tuple] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [macrocall] │ │ @eval :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =#) :: Value │ │ [macrocall] │ │ @array_neutral :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =#) :: Value │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [call] │ │ neutral :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [if] │ │ [&&] │ │ [call] │ │ isdefined :: Identifier │ │ [macrocall] │ │ @__MODULE__ :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =#) :: Value │ │ [inert] │ │ absorbing :: Identifier │ │ [call] │ │ hasmethod :: Identifier │ │ absorbing :: Identifier │ │ [tuple] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProduct :: Identifier │ │ [block] │ │ [macrocall] │ │ @eval :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =#) :: Value │ │ [macrocall] │ │ @array_absorbing :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =#) :: Value │ │ [escape] │ │ CartesianProduct :: Identifier │ │ [call] │ │ absorbing :: Identifier │ │ [escape] │ │ CartesianProduct :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [if] │ │ [&&] │ │ [call] │ │ isdefined :: Identifier │ │ [macrocall] │ │ @__MODULE__ :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =#) :: Value │ │ [inert] │ │ absorbing :: Identifier │ │ [call] │ │ hasmethod :: Identifier │ │ absorbing :: Identifier │ │ [tuple] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [macrocall] │ │ @eval :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =#) :: Value │ │ [macrocall] │ │ @array_absorbing :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =#) :: Value │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [call] │ │ absorbing :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ │ st1 = nothing │ file = "none" │ line = 1 └ mod = LazySets ┌ Info: JuliaLowering threw given input: │ code = :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =# @declare_array_version CartesianProduct CartesianProductArray) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [macrocall] │ │ @declare_array_version :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =#) :: Value │ │ CartesianProduct :: Identifier │ │ CartesianProductArray :: Identifier │ │ │ st1 = nothing │ file = "/home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl" │ line = 69 └ mod = LazySets ERROR: LoadError: MacroExpansionError while expanding @declare_array_version in module LazySets: #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =# - Error expanding macro Caused by: MacroExpansionError: #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# - `escape` node in outer context Stacktrace:  [1] parent_layer(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, sl::Any, err_ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:12 [inlined]  [2] set_macro_arg_hygiene(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:218  [3] (::Base.JuliaLowering.var"#set_macro_arg_hygiene##0#set_macro_arg_hygiene##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:220 [inlined]  [4] mapchildren(f::Base.JuliaLowering.var"#set_macro_arg_hygiene##0#set_macro_arg_hygiene##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [5] set_macro_arg_hygiene(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:220  [6] prepare_macro_args(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer, mctx::Base.JuliaLowering.MacroContext, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:236  [7] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, outer_sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:304  [8] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:431  [9] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined]  [10] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [11] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461  [12] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined]  [13] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [14] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461  [15] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined]  [16] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [17] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461  [18] expand_forms_1(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, expr_compat_mode::Bool, macro_world::UInt64)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:485  [19] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:29  [20] eval(m::Module, e::Any)  @ Core boot.jl:521  [21] macro expansion  @ ~/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:272 [inlined]  [22] macro expansion  @ ~/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:238  [23] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, outer_sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:343  [24] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:431  [25] expand_forms_1(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, expr_compat_mode::Bool, macro_world::UInt64)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:485  [26] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:29  [27] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [28] top-level scope  @ ~/.julia/packages/LazySets/TGByG/src/LazySets.jl:259  [29] include(mod::Module, _path::String)  @ Base Base.jl:326  [30] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [31] top-level scope  @ stdin:5  [32] eval(m::Module, e::Any)  @ Core boot.jl:521  [33] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [34] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [35] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [36] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 in expression starting at /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazySets.jl:1 in expression starting at stdin:5 ✗ LazySets ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("b4f0291d-fe17-52bc-9479-3d1a343d9043"), "LazySets") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base module.jl:101  [11] eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [12] top-level scope  @ ~/.julia/packages/NeuralNetworkReachability/gAeGY/src/Util/Util.jl:3  [13] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [14] top-level scope  @ ~/.julia/packages/NeuralNetworkReachability/gAeGY/src/NeuralNetworkReachability.jl:5  [15] include(mod::Module, _path::String)  @ Base Base.jl:326  [16] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [17] top-level scope  @ stdin:5  [18] eval(m::Module, e::Any)  @ Core boot.jl:521  [19] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [20] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [21] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [22] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/src/Util/Util.jl:1 in expression starting at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/src/NeuralNetworkReachability.jl:1 in expression starting at stdin:5 ✗ NeuralNetworkReachability 50 dependencies successfully precompiled in 2280 seconds. 37 already precompiled. Precompilation completed after 2299.53s ################################################################################ # Loading # Loading NeuralNetworkReachability... ┌ Info: JuliaLowering threw given input: │ code = │ quote │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:274 =# │ function array_constructor(::Type{CartesianProduct}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:274 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:275 =# │ return CartesianProductArray │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:279 =# │ function binary_constructor(::Type{CartesianProductArray}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:279 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:280 =# │ return CartesianProduct │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:284 =# │ function is_array_constructor(::Type{CartesianProductArray}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:285 =# │ return true │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:289 =# │ function concrete_function(::Type{<:CartesianProductArray}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:289 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:290 =# │ return concrete_function(CartesianProduct) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:294 =# │ function flatten(X::Union{<:CartesianProduct, <:CartesianProductArray}) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:294 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:295 =# │ arr = flatten!([], X, CartesianProduct) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =# @inbounds if length(arr) == 1 │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:297 =# │ return arr[1] │ elseif #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:298 =# length(arr) == 2 │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:299 =# │ return CartesianProduct(2) │ else │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:301 =# │ return CartesianProductArray([Xi for Xi = arr]) │ end │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:306 =# │ function CartesianProduct!(X::LazySet{N}, Y::LazySet{N}) where N │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:306 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:308 =# │ return CartesianProduct(X, Y) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:310 =# │ function CartesianProduct!(X::LazySet{N}, arr::CartesianProductArray{N}) where N │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:311 =# │ push!(array(arr), X) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:312 =# │ return arr │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:314 =# │ function CartesianProduct!(arr::CartesianProductArray{N}, X::LazySet{N}) where N │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:315 =# │ push!(array(arr), X) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:316 =# │ return arr │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:318 =# │ function CartesianProduct!(arr1::CartesianProductArray{N}, arr2::CartesianProductArray{N}) where N │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:319 =# │ append!(array(arr1), array(arr2)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:320 =# │ return arr1 │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =# │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =# @__MODULE__(), :neutral) && hasmethod(neutral, (Type{CartesianProduct},)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# @array_neutral($(Expr(:escape, :CartesianProduct)), neutral($(Expr(:escape, :CartesianProduct))), $(Expr(:escape, :CartesianProductArray))) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =# │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =# @__MODULE__(), :neutral) && hasmethod(neutral, (Type{CartesianProductArray},)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# @array_neutral($(Expr(:escape, :CartesianProductArray)), neutral($(Expr(:escape, :CartesianProductArray))), $(Expr(:escape, :CartesianProductArray))) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =# │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =# @__MODULE__(), :absorbing) && hasmethod(absorbing, (Type{CartesianProduct},)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# @array_absorbing($(Expr(:escape, :CartesianProduct)), absorbing($(Expr(:escape, :CartesianProduct))), $(Expr(:escape, :CartesianProductArray))) │ end │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =# │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =# @__MODULE__(), :absorbing) && hasmethod(absorbing, (Type{CartesianProductArray},)) │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# @array_absorbing($(Expr(:escape, :CartesianProductArray)), absorbing($(Expr(:escape, :CartesianProductArray))), $(Expr(:escape, :CartesianProductArray))) │ end │ end │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [block] │ │ [function] │ │ [call] │ │ array_constructor :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProduct :: Identifier │ │ [block] │ │ [return] │ │ CartesianProductArray :: Identifier │ │ [function] │ │ [call] │ │ binary_constructor :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [return] │ │ CartesianProduct :: Identifier │ │ [function] │ │ [call] │ │ is_array_constructor :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [return] │ │ true :: Value │ │ [function] │ │ [call] │ │ concrete_function :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ [<:] │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ concrete_function :: Identifier │ │ CartesianProduct :: Identifier │ │ [function] │ │ [call] │ │ flatten :: Identifier │ │ [::] │ │ X :: Identifier │ │ [curly] │ │ Union :: Identifier │ │ [<:] │ │ CartesianProduct :: Identifier │ │ [<:] │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [=] │ │ arr :: Identifier │ │ [call] │ │ flatten! :: Identifier │ │ [vect] │ │ X :: Identifier │ │ CartesianProduct :: Identifier │ │ [macrocall] │ │ @inbounds :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =#) :: Value │ │ [if] │ │ [call] │ │ == :: Identifier │ │ [call] │ │ length :: Identifier │ │ arr :: Identifier │ │ 1 :: Value │ │ [block] │ │ [return] │ │ [ref] │ │ arr :: Identifier │ │ 1 :: Value │ │ [elseif] │ │ [block] │ │ [call] │ │ == :: Identifier │ │ [call] │ │ length :: Identifier │ │ arr :: Identifier │ │ 2 :: Value │ │ [block] │ │ [return] │ │ [call] │ │ CartesianProduct :: Identifier │ │ 2 :: Value │ │ [block] │ │ [return] │ │ [call] │ │ CartesianProductArray :: Identifier │ │ [comprehension] │ │ [generator] │ │ Xi :: Identifier │ │ [=] │ │ Xi :: Identifier │ │ arr :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ CartesianProduct! :: Identifier │ │ [::] │ │ X :: Identifier │ │ [curly] │ │ LazySet :: Identifier │ │ N :: Identifier │ │ [::] │ │ Y :: Identifier │ │ [curly] │ │ LazySet :: Identifier │ │ N :: Identifier │ │ N :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ CartesianProduct :: Identifier │ │ X :: Identifier │ │ Y :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ CartesianProduct! :: Identifier │ │ [::] │ │ X :: Identifier │ │ [curly] │ │ LazySet :: Identifier │ │ N :: Identifier │ │ [::] │ │ arr :: Identifier │ │ [curly] │ │ CartesianProductArray :: Identifier │ │ N :: Identifier │ │ N :: Identifier │ │ [block] │ │ [call] │ │ push! :: Identifier │ │ [call] │ │ array :: Identifier │ │ arr :: Identifier │ │ X :: Identifier │ │ [return] │ │ arr :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ CartesianProduct! :: Identifier │ │ [::] │ │ arr :: Identifier │ │ [curly] │ │ CartesianProductArray :: Identifier │ │ N :: Identifier │ │ [::] │ │ X :: Identifier │ │ [curly] │ │ LazySet :: Identifier │ │ N :: Identifier │ │ N :: Identifier │ │ [block] │ │ [call] │ │ push! :: Identifier │ │ [call] │ │ array :: Identifier │ │ arr :: Identifier │ │ X :: Identifier │ │ [return] │ │ arr :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ CartesianProduct! :: Identifier │ │ [::] │ │ arr1 :: Identifier │ │ [curly] │ │ CartesianProductArray :: Identifier │ │ N :: Identifier │ │ [::] │ │ arr2 :: Identifier │ │ [curly] │ │ CartesianProductArray :: Identifier │ │ N :: Identifier │ │ N :: Identifier │ │ [block] │ │ [call] │ │ append! :: Identifier │ │ [call] │ │ array :: Identifier │ │ arr1 :: Identifier │ │ [call] │ │ array :: Identifier │ │ arr2 :: Identifier │ │ [return] │ │ arr1 :: Identifier │ │ [if] │ │ [&&] │ │ [call] │ │ isdefined :: Identifier │ │ [macrocall] │ │ @__MODULE__ :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =#) :: Value │ │ [inert] │ │ neutral :: Identifier │ │ [call] │ │ hasmethod :: Identifier │ │ neutral :: Identifier │ │ [tuple] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProduct :: Identifier │ │ [block] │ │ [macrocall] │ │ @eval :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =#) :: Value │ │ [macrocall] │ │ @array_neutral :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =#) :: Value │ │ [escape] │ │ CartesianProduct :: Identifier │ │ [call] │ │ neutral :: Identifier │ │ [escape] │ │ CartesianProduct :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [if] │ │ [&&] │ │ [call] │ │ isdefined :: Identifier │ │ [macrocall] │ │ @__MODULE__ :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =#) :: Value │ │ [inert] │ │ neutral :: Identifier │ │ [call] │ │ hasmethod :: Identifier │ │ neutral :: Identifier │ │ [tuple] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [macrocall] │ │ @eval :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =#) :: Value │ │ [macrocall] │ │ @array_neutral :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =#) :: Value │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [call] │ │ neutral :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [if] │ │ [&&] │ │ [call] │ │ isdefined :: Identifier │ │ [macrocall] │ │ @__MODULE__ :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =#) :: Value │ │ [inert] │ │ absorbing :: Identifier │ │ [call] │ │ hasmethod :: Identifier │ │ absorbing :: Identifier │ │ [tuple] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProduct :: Identifier │ │ [block] │ │ [macrocall] │ │ @eval :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =#) :: Value │ │ [macrocall] │ │ @array_absorbing :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =#) :: Value │ │ [escape] │ │ CartesianProduct :: Identifier │ │ [call] │ │ absorbing :: Identifier │ │ [escape] │ │ CartesianProduct :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [if] │ │ [&&] │ │ [call] │ │ isdefined :: Identifier │ │ [macrocall] │ │ @__MODULE__ :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =#) :: Value │ │ [inert] │ │ absorbing :: Identifier │ │ [call] │ │ hasmethod :: Identifier │ │ absorbing :: Identifier │ │ [tuple] │ │ [curly] │ │ Type :: Identifier │ │ CartesianProductArray :: Identifier │ │ [block] │ │ [macrocall] │ │ @eval :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =#) :: Value │ │ [macrocall] │ │ @array_absorbing :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =#) :: Value │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [call] │ │ absorbing :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ [escape] │ │ CartesianProductArray :: Identifier │ │ │ st1 = nothing │ file = "none" │ line = 1 └ mod = LazySets ┌ Info: JuliaLowering threw given input: │ code = :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =# @declare_array_version CartesianProduct CartesianProductArray) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [macrocall] │ │ @declare_array_version :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =#) :: Value │ │ CartesianProduct :: Identifier │ │ CartesianProductArray :: Identifier │ │ │ st1 = nothing │ file = "/home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl" │ line = 69 └ mod = LazySets ERROR: LoadError: MacroExpansionError while expanding @declare_array_version in module LazySets: #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =# - Error expanding macro Caused by: MacroExpansionError: #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# - `escape` node in outer context Stacktrace:  [1] parent_layer(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, sl::Any, err_ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:12 [inlined]  [2] set_macro_arg_hygiene(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:218  [3] (::Base.JuliaLowering.var"#set_macro_arg_hygiene##0#set_macro_arg_hygiene##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:220 [inlined]  [4] mapchildren(f::Base.JuliaLowering.var"#set_macro_arg_hygiene##0#set_macro_arg_hygiene##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [5] set_macro_arg_hygiene(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:220  [6] prepare_macro_args(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer, mctx::Base.JuliaLowering.MacroContext, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:236  [7] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, outer_sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:304  [8] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:431  [9] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined]  [10] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [11] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461  [12] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined]  [13] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [14] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461  [15] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined]  [16] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [17] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461  [18] expand_forms_1(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, expr_compat_mode::Bool, macro_world::UInt64)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:485  [19] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:29  [20] eval(m::Module, e::Any)  @ Core boot.jl:521  [21] macro expansion  @ ~/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:272 [inlined]  [22] macro expansion  @ ~/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:238  [23] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, outer_sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:343  [24] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:431  [25] expand_forms_1(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, expr_compat_mode::Bool, macro_world::UInt64)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:485  [26] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:29  [27] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [28] top-level scope  @ ~/.julia/packages/LazySets/TGByG/src/LazySets.jl:259  [29] include(mod::Module, _path::String)  @ Base Base.jl:326  [30] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [31] top-level scope  @ stdin:5  [32] eval(m::Module, e::Any)  @ Core boot.jl:521  [33] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [34] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [35] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [36] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 in expression starting at /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazySets.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("b4f0291d-fe17-52bc-9479-3d1a343d9043"), "LazySets") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base module.jl:101  [11] eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [12] top-level scope  @ ~/.julia/packages/NeuralNetworkReachability/gAeGY/src/Util/Util.jl:3  [13] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [14] top-level scope  @ ~/.julia/packages/NeuralNetworkReachability/gAeGY/src/NeuralNetworkReachability.jl:5  [15] include(mod::Module, _path::String)  @ Base Base.jl:326  [16] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [17] top-level scope  @ stdin:5  [18] eval(m::Module, e::Any)  @ Core boot.jl:521  [19] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [20] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [21] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [22] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/src/Util/Util.jl:1 in expression starting at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/src/NeuralNetworkReachability.jl:1 in expression starting at stdin:5 2 dependencies had output during precompilation: ┌ LazySets │ ┌ Info: JuliaLowering threw given input: │ │ code = │ │ quote │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:274 =# │ │ function array_constructor(::Type{CartesianProduct}) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:274 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:275 =# │ │ return CartesianProductArray │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:279 =# │ │ function binary_constructor(::Type{CartesianProductArray}) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:279 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:280 =# │ │ return CartesianProduct │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:284 =# │ │ function is_array_constructor(::Type{CartesianProductArray}) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:285 =# │ │ return true │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:289 =# │ │ function concrete_function(::Type{<:CartesianProductArray}) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:289 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:290 =# │ │ return concrete_function(CartesianProduct) │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:294 =# │ │ function flatten(X::Union{<:CartesianProduct, <:CartesianProductArray}) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:294 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:295 =# │ │ arr = flatten!([], X, CartesianProduct) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =# @inbounds if length(arr) == 1 │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:297 =# │ │ return arr[1] │ │ elseif #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:298 =# length(arr) == 2 │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:299 =# │ │ return CartesianProduct(2) │ │ else │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:301 =# │ │ return CartesianProductArray([Xi for Xi = arr]) │ │ end │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:306 =# │ │ function CartesianProduct!(X::LazySet{N}, Y::LazySet{N}) where N │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:306 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:308 =# │ │ return CartesianProduct(X, Y) │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:310 =# │ │ function CartesianProduct!(X::LazySet{N}, arr::CartesianProductArray{N}) where N │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:311 =# │ │ push!(array(arr), X) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:312 =# │ │ return arr │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:314 =# │ │ function CartesianProduct!(arr::CartesianProductArray{N}, X::LazySet{N}) where N │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:315 =# │ │ push!(array(arr), X) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:316 =# │ │ return arr │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:318 =# │ │ function CartesianProduct!(arr1::CartesianProductArray{N}, arr2::CartesianProductArray{N}) where N │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:319 =# │ │ append!(array(arr1), array(arr2)) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:320 =# │ │ return arr1 │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =# │ │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =# @__MODULE__(), :neutral) && hasmethod(neutral, (Type{CartesianProduct},)) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# @array_neutral($(Expr(:escape, :CartesianProduct)), neutral($(Expr(:escape, :CartesianProduct))), $(Expr(:escape, :CartesianProductArray))) │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =# │ │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =# @__MODULE__(), :neutral) && hasmethod(neutral, (Type{CartesianProductArray},)) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =# @array_neutral($(Expr(:escape, :CartesianProductArray)), neutral($(Expr(:escape, :CartesianProductArray))), $(Expr(:escape, :CartesianProductArray))) │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =# │ │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =# @__MODULE__(), :absorbing) && hasmethod(absorbing, (Type{CartesianProduct},)) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =# @array_absorbing($(Expr(:escape, :CartesianProduct)), absorbing($(Expr(:escape, :CartesianProduct))), $(Expr(:escape, :CartesianProductArray))) │ │ end │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =# │ │ if isdefined(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =# @__MODULE__(), :absorbing) && hasmethod(absorbing, (Type{CartesianProductArray},)) │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# │ │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# @eval #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =# @array_absorbing($(Expr(:escape, :CartesianProductArray)), absorbing($(Expr(:escape, :CartesianProductArray))), $(Expr(:escape, :CartesianProductArray))) │ │ end │ │ end │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ │ [block] │ │ │ [function] │ │ │ [call] │ │ │ array_constructor :: Identifier │ │ │ [::] │ │ │ [curly] │ │ │ Type :: Identifier │ │ │ CartesianProduct :: Identifier │ │ │ [block] │ │ │ [return] │ │ │ CartesianProductArray :: Identifier │ │ │ [function] │ │ │ [call] │ │ │ binary_constructor :: Identifier │ │ │ [::] │ │ │ [curly] │ │ │ Type :: Identifier │ │ │ CartesianProductArray :: Identifier │ │ │ [block] │ │ │ [return] │ │ │ CartesianProduct :: Identifier │ │ │ [function] │ │ │ [call] │ │ │ is_array_constructor :: Identifier │ │ │ [::] │ │ │ [curly] │ │ │ Type :: Identifier │ │ │ CartesianProductArray :: Identifier │ │ │ [block] │ │ │ [return] │ │ │ true :: Value │ │ │ [function] │ │ │ [call] │ │ │ concrete_function :: Identifier │ │ │ [::] │ │ │ [curly] │ │ │ Type :: Identifier │ │ │ [<:] │ │ │ CartesianProductArray :: Identifier │ │ │ [block] │ │ │ [return] │ │ │ [call] │ │ │ concrete_function :: Identifier │ │ │ CartesianProduct :: Identifier │ │ │ [function] │ │ │ [call] │ │ │ flatten :: Identifier │ │ │ [::] │ │ │ X :: Identifier │ │ │ [curly] │ │ │ Union :: Identifier │ │ │ [<:] │ │ │ CartesianProduct :: Identifier │ │ │ [<:] │ │ │ CartesianProductArray :: Identifier │ │ │ [block] │ │ │ [=] │ │ │ arr :: Identifier │ │ │ [call] │ │ │ flatten! :: Identifier │ │ │ [vect] │ │ │ X :: Identifier │ │ │ CartesianProduct :: Identifier │ │ │ [macrocall] │ │ │ @inbounds :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:296 =#) :: Value │ │ │ [if] │ │ │ [call] │ │ │ == :: Identifier │ │ │ [call] │ │ │ length :: Identifier │ │ │ arr :: Identifier │ │ │ 1 :: Value │ │ │ [block] │ │ │ [return] │ │ │ [ref] │ │ │ arr :: Identifier │ │ │ 1 :: Value │ │ │ [elseif] │ │ │ [block] │ │ │ [call] │ │ │ == :: Identifier │ │ │ [call] │ │ │ length :: Identifier │ │ │ arr :: Identifier │ │ │ 2 :: Value │ │ │ [block] │ │ │ [return] │ │ │ [call] │ │ │ CartesianProduct :: Identifier │ │ │ 2 :: Value │ │ │ [block] │ │ │ [return] │ │ │ [call] │ │ │ CartesianProductArray :: Identifier │ │ │ [comprehension] │ │ │ [generator] │ │ │ Xi :: Identifier │ │ │ [=] │ │ │ Xi :: Identifier │ │ │ arr :: Identifier │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ CartesianProduct! :: Identifier │ │ │ [::] │ │ │ X :: Identifier │ │ │ [curly] │ │ │ LazySet :: Identifier │ │ │ N :: Identifier │ │ │ [::] │ │ │ Y :: Identifier │ │ │ [curly] │ │ │ LazySet :: Identifier │ │ │ N :: Identifier │ │ │ N :: Identifier │ │ │ [block] │ │ │ [return] │ │ │ [call] │ │ │ CartesianProduct :: Identifier │ │ │ X :: Identifier │ │ │ Y :: Identifier │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ CartesianProduct! :: Identifier │ │ │ [::] │ │ │ X :: Identifier │ │ │ [curly] │ │ │ LazySet :: Identifier │ │ │ N :: Identifier │ │ │ [::] │ │ │ arr :: Identifier │ │ │ [curly] │ │ │ CartesianProductArray :: Identifier │ │ │ N :: Identifier │ │ │ N :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ push! :: Identifier │ │ │ [call] │ │ │ array :: Identifier │ │ │ arr :: Identifier │ │ │ X :: Identifier │ │ │ [return] │ │ │ arr :: Identifier │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ CartesianProduct! :: Identifier │ │ │ [::] │ │ │ arr :: Identifier │ │ │ [curly] │ │ │ CartesianProductArray :: Identifier │ │ │ N :: Identifier │ │ │ [::] │ │ │ X :: Identifier │ │ │ [curly] │ │ │ LazySet :: Identifier │ │ │ N :: Identifier │ │ │ N :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ push! :: Identifier │ │ │ [call] │ │ │ array :: Identifier │ │ │ arr :: Identifier │ │ │ X :: Identifier │ │ │ [return] │ │ │ arr :: Identifier │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ CartesianProduct! :: Identifier │ │ │ [::] │ │ │ arr1 :: Identifier │ │ │ [curly] │ │ │ CartesianProductArray :: Identifier │ │ │ N :: Identifier │ │ │ [::] │ │ │ arr2 :: Identifier │ │ │ [curly] │ │ │ CartesianProductArray :: Identifier │ │ │ N :: Identifier │ │ │ N :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ append! :: Identifier │ │ │ [call] │ │ │ array :: Identifier │ │ │ arr1 :: Identifier │ │ │ [call] │ │ │ array :: Identifier │ │ │ arr2 :: Identifier │ │ │ [return] │ │ │ arr1 :: Identifier │ │ │ [if] │ │ │ [&&] │ │ │ [call] │ │ │ isdefined :: Identifier │ │ │ [macrocall] │ │ │ @__MODULE__ :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:323 =#) :: Value │ │ │ [inert] │ │ │ neutral :: Identifier │ │ │ [call] │ │ │ hasmethod :: Identifier │ │ │ neutral :: Identifier │ │ │ [tuple] │ │ │ [curly] │ │ │ Type :: Identifier │ │ │ CartesianProduct :: Identifier │ │ │ [block] │ │ │ [macrocall] │ │ │ @eval :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =#) :: Value │ │ │ [macrocall] │ │ │ @array_neutral :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =#) :: Value │ │ │ [escape] │ │ │ CartesianProduct :: Identifier │ │ │ [call] │ │ │ neutral :: Identifier │ │ │ [escape] │ │ │ CartesianProduct :: Identifier │ │ │ [escape] │ │ │ CartesianProductArray :: Identifier │ │ │ [if] │ │ │ [&&] │ │ │ [call] │ │ │ isdefined :: Identifier │ │ │ [macrocall] │ │ │ @__MODULE__ :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:328 =#) :: Value │ │ │ [inert] │ │ │ neutral :: Identifier │ │ │ [call] │ │ │ hasmethod :: Identifier │ │ │ neutral :: Identifier │ │ │ [tuple] │ │ │ [curly] │ │ │ Type :: Identifier │ │ │ CartesianProductArray :: Identifier │ │ │ [block] │ │ │ [macrocall] │ │ │ @eval :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =#) :: Value │ │ │ [macrocall] │ │ │ @array_neutral :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:329 =#) :: Value │ │ │ [escape] │ │ │ CartesianProductArray :: Identifier │ │ │ [call] │ │ │ neutral :: Identifier │ │ │ [escape] │ │ │ CartesianProductArray :: Identifier │ │ │ [escape] │ │ │ CartesianProductArray :: Identifier │ │ │ [if] │ │ │ [&&] │ │ │ [call] │ │ │ isdefined :: Identifier │ │ │ [macrocall] │ │ │ @__MODULE__ :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:334 =#) :: Value │ │ │ [inert] │ │ │ absorbing :: Identifier │ │ │ [call] │ │ │ hasmethod :: Identifier │ │ │ absorbing :: Identifier │ │ │ [tuple] │ │ │ [curly] │ │ │ Type :: Identifier │ │ │ CartesianProduct :: Identifier │ │ │ [block] │ │ │ [macrocall] │ │ │ @eval :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =#) :: Value │ │ │ [macrocall] │ │ │ @array_absorbing :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:335 =#) :: Value │ │ │ [escape] │ │ │ CartesianProduct :: Identifier │ │ │ [call] │ │ │ absorbing :: Identifier │ │ │ [escape] │ │ │ CartesianProduct :: Identifier │ │ │ [escape] │ │ │ CartesianProductArray :: Identifier │ │ │ [if] │ │ │ [&&] │ │ │ [call] │ │ │ isdefined :: Identifier │ │ │ [macrocall] │ │ │ @__MODULE__ :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:339 =#) :: Value │ │ │ [inert] │ │ │ absorbing :: Identifier │ │ │ [call] │ │ │ hasmethod :: Identifier │ │ │ absorbing :: Identifier │ │ │ [tuple] │ │ │ [curly] │ │ │ Type :: Identifier │ │ │ CartesianProductArray :: Identifier │ │ │ [block] │ │ │ [macrocall] │ │ │ @eval :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =#) :: Value │ │ │ [macrocall] │ │ │ @array_absorbing :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:340 =#) :: Value │ │ │ [escape] │ │ │ CartesianProductArray :: Identifier │ │ │ [call] │ │ │ absorbing :: Identifier │ │ │ [escape] │ │ │ CartesianProductArray :: Identifier │ │ │ [escape] │ │ │ CartesianProductArray :: Identifier │ │ │ │ │ st1 = nothing │ │ file = "none" │ │ line = 1 │ └ mod = LazySets │ ┌ Info: JuliaLowering threw given input: │ │ code = :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =# @declare_array_version CartesianProduct CartesianProductArray) │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ │ [macrocall] │ │ │ @declare_array_version :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =#) :: Value │ │ │ CartesianProduct :: Identifier │ │ │ CartesianProductArray :: Identifier │ │ │ │ │ st1 = nothing │ │ file = "/home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl" │ │ line = 69 │ └ mod = LazySets │ ERROR: LoadError: MacroExpansionError while expanding @declare_array_version in module LazySets: │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 =# - Error expanding macro │ Caused by: │ MacroExpansionError: │ #= /home/pkgeval/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:324 =# - `escape` node in outer context │ Stacktrace: │ [1] parent_layer(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, sl::Any, err_ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:12 [inlined] │ [2] set_macro_arg_hygiene(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:218 │ [3] (::Base.JuliaLowering.var"#set_macro_arg_hygiene##0#set_macro_arg_hygiene##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:220 [inlined] │ [4] mapchildren(f::Base.JuliaLowering.var"#set_macro_arg_hygiene##0#set_macro_arg_hygiene##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707 │ [5] set_macro_arg_hygiene(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:220 │ [6] prepare_macro_args(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer, mctx::Base.JuliaLowering.MacroContext, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:236 │ [7] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, outer_sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:304 │ [8] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:431 │ [9] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined] │ [10] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707 │ [11] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 │ [12] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined] │ [13] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707 │ [14] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 │ [15] (::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer})(e::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 [inlined] │ [16] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##2#expand_forms_1##3"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, Base.JuliaLowering.ScopeLayer}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707 │ [17] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:461 │ [18] expand_forms_1(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, expr_compat_mode::Bool, macro_world::UInt64) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:485 │ [19] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:29 │ [20] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [21] macro expansion │ @ ~/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:272 [inlined] │ [22] macro expansion │ @ ~/.julia/packages/LazySets/TGByG/src/Utils/macros.jl:238 │ [23] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, outer_sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:343 │ [24] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sl::Base.JuliaLowering.ScopeLayer) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:431 │ [25] expand_forms_1(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, expr_compat_mode::Bool, macro_world::UInt64) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:485 │ [26] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:29 │ [27] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:327 │ [28] top-level scope │ @ ~/.julia/packages/LazySets/TGByG/src/LazySets.jl:259 │ [29] include(mod::Module, _path::String) │ @ Base Base.jl:326 │ [30] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base loading.jl:3296 │ [31] top-level scope │ @ stdin:5 │ [32] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [33] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [34] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [35] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [36] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazyOperations/CartesianProductArray.jl:69 │ in expression starting at /home/pkgeval/.julia/packages/LazySets/TGByG/src/LazySets.jl:1 │ in expression starting at stdin:5 └ ┌ NeuralNetworkReachability │ [Output was shown above] └ ERROR: The following 2 packages failed to precompile: LazySets Failed to precompile LazySets [b4f0291d-fe17-52bc-9479-3d1a343d9043] to "/home/pkgeval/.julia/compiled/v1.14/LazySets/jl_g11A8h" (ProcessExited(1)). NeuralNetworkReachability Failed to precompile NeuralNetworkReachability [5de1e908-2f08-45bf-a571-ac88a54f7e7f] to "/home/pkgeval/.julia/compiled/v1.14/NeuralNetworkReachability/jl_hxTCk8" (ProcessExited(1)). Loading failed after 183.33s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --check-bounds=yes --pkgimages=existing -e 'using NeuralNetworkReachability'`, ProcessExited(1)) [1] Stacktrace: [1] pipeline_error(proc::Base.Process) @ Base process.jl:612 [inlined] [2] run(::Cmd; wait::Bool) @ Base process.jl:525 [3] run(::Cmd) @ Base process.jl:522 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:197 [5] include(mod::Module, _path::String) @ Base Base.jl:326 [6] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [7] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:188 PkgEval failed after 2523.33s: package fails to precompile