Package evaluation to test NeuralNetworkReachability on Julia 1.14.0-DEV.2275 (3ea3bac2a3*) started at 2026-06-02T23:13:10.790 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.11s ################################################################################ # Installation # Installing NeuralNetworkReachability... Resolving package versions... 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.0 [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.4 [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 5.78s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 5.4 s ✓ ControllerFormats 4.8 s ✓ CarlemanLinearization 10.4 s ✓ MathematicalSystems 17.4 s ✓ DifferentiationInterface → DifferentiationInterfaceSymbolicsExt 11.8 s ✓ TaylorModels 26.1 s ✓ ReversePropagation 12.8 s ✓ NeuralNetworkReachability 12.2 s ✓ MathematicalSystems → LazySetsExt 7.5 s ✓ HybridSystems 20.6 s ✓ IntervalConstraintProgramming 32.7 s ✓ ReachabilityAnalysis 12.0 s ✓ NeuralNetworkReachability → IntervalConstraintProgrammingExt 35.3 s ✓ NeuralNetworkReachability → ReachabilityAnalysisExt 13 dependencies successfully precompiled in 211 seconds. 252 already precompiled. Precompilation completed after 239.64s ################################################################################ # Testing # Testing NeuralNetworkReachability Status `/tmp/jl_atRajv/Project.toml` [4c88cf16] Aqua v0.8.15 [3391f64e] CDDLib v0.10.2 [02ac4b2c] ControllerFormats v0.2.7 [7d51a73a] ExplicitImports v1.15.0 [138f1668] IntervalConstraintProgramming v0.15.0 [b4f0291d] LazySets v6.0.3 [5de1e908] NeuralNetworkReachability v0.1.14 [429524aa] Optim v2.1.0 [67491407] Polyhedra v0.8.1 [1e97bd63] ReachabilityAnalysis v0.31.1 [92b13dbe] TaylorIntegration v0.18.10 [314ce334] TaylorModels v0.10.1 [8dfed614] Test v1.11.0 Status `/tmp/jl_atRajv/Manifest.toml` [47edcb42] ADTypes v1.22.0 [6e696c72] AbstractPlutoDingetjes v1.4.0 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.44 [79e6a3ab] Adapt v4.6.0 [4c88cf16] Aqua v0.8.15 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.25.0 [15f4f7f2] AutoHashEquals v2.2.0 [e2ed5e7c] Bijections v0.2.2 [d3bc4f2e] BranchAndPrune v0.2.2 [3391f64e] CDDLib v0.10.2 [96374032] CRlibm v1.0.2 [4803f6b2] CarlemanLinearization v0.4.1 [082447d4] ChainRules v1.73.0 [d360d2e6] ChainRulesCore v1.26.1 [0b6fb165] ChunkCodecCore v1.0.1 [4c0bbee4] ChunkCodecLibZlib v1.0.0 [55437552] ChunkCodecLibZstd v1.0.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [08986516] Collects v1.1.0 ⌅ [861a8166] Combinatorics v1.0.2 [38540f10] CommonSolve v0.2.7 [bbf7d656] CommonSubexpressions v0.3.1 [f70d9fcc] CommonWorldInvalidations v1.0.0 [34da2185] Compat v4.18.1 [b152e2b5] CompositeTypes v0.1.4 [a33af91c] CompositionsBase v0.1.2 [187b0558] ConstructionBase v1.6.0 [02ac4b2c] ControllerFormats v0.2.7 [b7a15901] CoreMath v0.1.0 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.19.5 [e2d170a0] DataValueInterfaces v1.0.0 [85a47980] Dictionaries v0.4.6 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.16.0 [a0c0ee7d] DifferentiationInterface v0.7.18 [ffbed154] DocStringExtensions v0.9.5 [5b8099bc] DomainSets v0.8.0 [7c1d4256] DynamicPolynomials v0.6.6 [4e289a0a] EnumX v1.0.7 [6912e4f1] Espresso v0.6.4 [7d51a73a] ExplicitImports v1.15.0 [e2ba6199] ExprTools v0.1.10 [55351af7] ExproniconLite v0.10.14 [5789e2e9] FileIO v1.19.0 [1a297f60] FillArrays v1.16.0 [6a86dc24] FiniteDiff v2.31.0 [3821ddf9] FixedSizeArrays v1.3.0 [f6369f11] ForwardDiff v1.3.3 [a85aefff] FunctionMaps v0.1.2 [60bf3e95] GLPK v1.2.1 [46192b85] GPUArraysCore v0.2.0 ⌅ [14197337] GenericLinearAlgebra v0.3.19 [86223c79] Graphs v1.14.0 [076d061b] HashArrayMappedTries v0.2.0 [2207ec0c] HybridSystems v0.4.4 [313cdc1a] Indexing v1.1.1 [d25df0c9] Inflate v0.1.5 [18e54dd8] IntegerMathUtils v0.1.3 [d1acc4aa] IntervalArithmetic v1.0.9 [43d83c95] IntervalBoxes v0.3.1 [138f1668] IntervalConstraintProgramming v0.15.0 [15111844] IntervalContractors v0.6.0 [5c1f47dc] IntervalMatrices v0.12.1 ⌅ [d2bf35a9] IntervalRootFinding v0.6.3 [8197267c] IntervalSets v0.7.14 [3587e190] InverseFunctions v0.1.17 [92d709cd] IrrationalConstants v0.2.6 [82899510] IteratorInterfaceExtensions v1.0.0 [033835bb] JLD2 v0.6.4 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.0 [ae98c720] Jieko v0.2.1 [4076af6c] JuMP v1.30.1 [b4f0291d] LazySets v6.0.3 [d3d80556] LineSearches v7.7.1 ⌅ [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [dbb5928d] MappedArrays v0.4.3 [b8f27783] MathOptInterface v1.51.1 [d14a8603] MathematicalSystems v0.14.4 [2e0e35c7] Moshi v0.3.8 [102ac46a] MultivariatePolynomials v0.5.19 [d8a4904e] MutableArithmetics v1.8.0 [d41bc354] NLSolversBase v8.0.0 [77ba4419] NaNMath v1.1.3 [5de1e908] NeuralNetworkReachability v0.1.14 [429524aa] Optim v2.1.0 ⌅ [bac558e1] OrderedCollections v1.8.2 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.4 [eebad327] PkgVersion v0.3.3 [67491407] Polyhedra v0.8.1 [85a6dd25] PositiveFactorizations v0.2.4 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [1e97bd63] ReachabilityAnalysis v0.31.1 [379f33d0] ReachabilityBase v0.3.6 [988b38a3] ReadOnlyArrays v0.2.0 [c1ae055f] RealDot v0.1.0 [3cdcf5f2] RecipesBase v1.3.4 [731186ca] RecursiveArrayTools v4.3.0 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [527681c1] ReversePropagation v0.4.1 [5eaf0fd0] RoundingEmulator v0.2.1 [7e49a35a] RuntimeGeneratedFunctions v0.5.19 [431bcebd] SciMLPublic v1.0.1 [7e506255] ScopedValues v1.6.2 [efcf1570] Setfield v1.1.2 [699a6c99] SimpleTraits v0.9.6 [dc90abb0] SparseInverseSubset v0.1.2 [276daf66] SpecialFunctions v2.8.0 [0c0c59c1] StarAlgebras v0.3.0 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [09ab397b] StructArrays v0.7.3 [ec057cc2] StructUtils v2.8.2 [2efcf032] SymbolicIndexingInterface v0.3.48 [19f23fe9] SymbolicLimits v1.1.0 [d1185830] SymbolicUtils v4.33.2 [0c5d862f] Symbolics v7.25.0 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [ed4db957] TaskLocalValues v0.1.3 [92b13dbe] TaylorIntegration v0.18.10 [314ce334] TaylorModels v0.10.1 ⌅ [6aa5eb33] TaylorSeries v0.21.10 [8ea1fca8] TermInterface v2.0.0 [3bb67fe8] TranscodingStreams v0.11.3 [3a884ed6] UnPack v1.0.2 [d30d5f5c] WeakCacheSets v0.1.0 [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 ⌅ [f07e07eb] cddlib_jll v0.94.14+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [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 [4607b0f0] SuiteSparse [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. Testing Running tests... Test Summary: | Pass Total Time Optional dependencies (not loaded) | 3 3 5.6s Test Summary: | Pass Total Time Util | 3 3 1.2s Internal error: during type inference of isequivalent(LazySets.ZonotopeModule.Zonotope{Float64, Array{Float64, 1}, Array{Float64, 2}}, LazySets.ZonotopeModule.Zonotope{Float64, Array{Float64, 1}, Array{Float64, 2}}) Encountered unexpected error in runtime: AssertionError(msg="invalid `cache_argtypes` for `mi`") constprop_cache_lookup at ./../usr/share/julia/Compiler/src/inferenceresult.jl:223:0 (pc: 238) const_prop_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:1424:0 (pc: 175) abstract_call_method_with_const_args at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:951:0 (pc: 135) abstract_call_method_with_const_args at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:919:0 [inlined] handle1 at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:189:0 (pc: 137) infercalls at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:259:0 (pc: 174) abstract_call_gf_by_type at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:339:0 (pc: 120) abstract_call_known at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2999:0 (pc: 1653) abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3107:0 (pc: 390) infercalls at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2028:0 (pc: 1636) abstract_apply at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2048:0 (pc: 371) abstract_call_known at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2851:0 (pc: 29) abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3107:0 (pc: 390) abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3100:0 [inlined] abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3251:0 (pc: 152) abstract_eval_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3269:0 [inlined] abstract_eval_statement_expr at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3639:0 (pc: 11) abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4046:0 [inlined] abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4003:0 [inlined] typeinf_local at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4587:0 (pc: 3639) jfptr_typeinf_local_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 typeinf at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4865:0 (pc: 462) typeinf_ext at ./../usr/share/julia/Compiler/src/typeinfer.jl:1537:0 (pc: 150) typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1722:0 [inlined] typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1731:0 (pc: 12) jfptr_typeinf_ext_toplevel_3.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] jl_type_infer at /source/src/gf.c:463:35 jl_compile_method_internal at /source/src/gf.c:3656:24 _jl_invoke at /source/src/gf.c:4121:16 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] jl_f__apply_iterate at /source/src/builtins.c:897:26 eval_test_function at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:407:0 unknown function (ip: 0x78edc775ed79) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:781:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/test/ForwardAlgorithms/forward.jl:13:0 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:0 [inlined] top-level scope at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/test/ForwardAlgorithms/forward.jl:2:0 (pc: 455) jl_invoke_oneshot at /source/src/gf.c:4164:23 ijl_eval_thunk at /source/src/toplevel.c:760:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:327:0 (pc: 1) IncludeInto at ./Base.jl:328:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:706:13 eval_body at /source/src/interpreter.c:563:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 macro expansion at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/test/runtests.jl:39:0 (pc: 1) [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:0 (pc: 15) [inlined] top-level scope at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/test/runtests.jl:39:0 (pc: 147) ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:327:0 (pc: 1) IncludeInto at ./Base.jl:328:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:706:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 top-level scope at none:6:0 (pc: 2) ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) exec_options at ./client.jl:321:0 (pc: 425) _start at ./client.jl:596:0 (pc: 294) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] true_main at /source/src/jlapi.c:971:29 jl_repl_entrypoint at /source/src/jlapi.c:1138:15 main at /source/cli/loader_exe.c:58:15 unknown function (ip: 0x78ee06396249) 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 [52] signal 6 (-6): Aborted in expression starting at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/test/ForwardAlgorithms/forward.jl:1 unknown function (ip: 0x78ee063f9ebc) at /lib/x86_64-linux-gnu/libc.so.6 gsignal at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) abort at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) jl_type_infer at /source/src/gf.c:482:9 jl_compile_method_internal at /source/src/gf.c:3656:24 _jl_invoke at /source/src/gf.c:4121:16 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] jl_f__apply_iterate at /source/src/builtins.c:897:26 eval_test_function at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:407:0 unknown function (ip: 0x78edc775ed79) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:781:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/test/ForwardAlgorithms/forward.jl:13:0 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:0 [inlined] top-level scope at /home/pkgeval/.julia/packages/NeuralNetworkReachability/gAeGY/test/ForwardAlgorithms/forward.jl:2:0 (pc: 455) jl_invoke_oneshot at /source/src/gf.c:4164:23 ijl_eval_thunk at /source/src/toplevel.c:760:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:327:0 (pc: 1) IncludeInto at ./Base.jl:328:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:706:13 eval_body at /source/src/interpreter.c:563:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:327:0 (pc: 1) IncludeInto at ./Base.jl:328:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:706:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) exec_options at ./client.jl:321:0 (pc: 425) _start at ./client.jl:596:0 (pc: 294) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] true_main at /source/src/jlapi.c:971:29 jl_repl_entrypoint at /source/src/jlapi.c:1138:15 main at /source/cli/loader_exe.c:58:15 unknown function (ip: 0x78ee06396249) 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: 38503401 (Pool: 38502924; Big: 477); GC: 15 Testing failed after 64.09s ERROR: LoadError: Package NeuralNetworkReachability errored during testing (received signal: 6) 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:3247 [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 [8] include(mod::Module, _path::String) @ Base Base.jl:326 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval crashed after 343.81s: an internal error was encountered ################################################################################ # Bug reporting # The package crashed during testing (reason=internal), but PkgEval was unable to reproduce the crash under rr (status=crash, reason=abort). For debugging, here is the tail end of the rr log: > [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 > [4607b0f0] SuiteSparse > [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. > Testing Running tests... > Activating project at `~/.julia/environments/pkgeval` > Activating project at `/tmp/jl_yeLzF4` > Warning Some loaded packages differ from the active environment, which may affect reproducibility and trigger recompilation: > JSON: loaded v0.21.4, environment specifies v1.6.0 > Switching execution to under rr > [FATAL src/Task.cc:3848:spawn() errno: EPERM] PTRACE_SEIZE failed for tid 29; child probably died before reaching SIGSTOP > Child's message: > === Start rr backtrace: > /home/pkgeval/.julia/artifacts/c73480318b081035ff316b4c4cc797feb1dcd626/bin/rr[0x556001] > /home/pkgeval/.julia/artifacts/c73480318b081035ff316b4c4cc797feb1dcd626/bin/rr[0x695feb] > /home/pkgeval/.julia/artifacts/c73480318b081035ff316b4c4cc797feb1dcd626/bin/rr(_ZN2rr4Task5spawnERNS_7SessionERNS_8ScopedFdEPS3_S5_PiRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorISC_SaISC_EESJ_i+0xbf0)[0x64f170] > /home/pkgeval/.julia/artifacts/c73480318b081035ff316b4c4cc797feb1dcd626/bin/rr(_ZN2rr13RecordSessionC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIS6_SaIS6_EESD_RKNS_20DisableCPUIDFeaturesENS0_16SyscallBufferingEiNS_7BindCPUES8_PKNS_9TraceUuidEbbbb+0x317)[0x58b4b7] > /home/pkgeval/.julia/artifacts/c73480318b081035ff316b4c4cc797feb1dcd626/bin/rr(_ZN2rr13RecordSession6createERKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS7_EESB_RKNS_20DisableCPUIDFeaturesENS0_16SyscallBufferingEhNS_7BindCPUERKS7_PKNS_9TraceUuidEbbbbbb+0xc1e)[0x58c98e] > /home/pkgeval/.julia/artifacts/c73480318b081035ff316b4c4cc797feb1dcd626/bin/rr(_ZN2rr13RecordCommand3runERSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS7_EE+0x66f)[0x57eb7f] > /home/pkgeval/.julia/artifacts/c73480318b081035ff316b4c4cc797feb1dcd626/bin/rr(main+0x181)[0x4d5e61] > /lib/x86_64-linux-gnu/libc.so.6(+0x2724a)[0x7ce8f3f6d24a] > /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85)[0x7ce8f3f6d305] > /home/pkgeval/.julia/artifacts/c73480318b081035ff316b4c4cc797feb1dcd626/bin/rr[0x4d8955] > === End rr backtrace > > Testing failed after 27.08s > > ERROR: LoadError: Package NeuralNetworkReachability errored during testing (received signal: 6) > 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:3247 > [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:221 > [8] include(mod::Module, _path::String) > @ Base Base.jl:326 > [9] exec_options(opts::Base.JLOptions) > @ Base client.jl:355 > [10] _start() > @ Base client.jl:596 > in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 > > PkgEval crashed after 102.79s: the process was aborted > > > ################################################################################ > # Bug reporting > # > > Finalizing trace... > > BugReporting completed after 29.53s > Uploaded rr trace to https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/rr/NeuralNetworkReachability-1780428073.tar.zst