Package evaluation to test NeuralNetworkReachability on Julia 1.14.0-DEV.3155 (07edee4e4c*) started at 2026-09-10T20:05:40.531 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.29s ################################################################################ # Installation # Installing NeuralNetworkReachability... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [5de1e908] + NeuralNetworkReachability v0.1.16 Updating `~/.julia/environments/v1.14/Manifest.toml` [96374032] + CRlibm v1.0.2 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.9 [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.11 [f6369f11] + ForwardDiff v1.4.5 [60bf3e95] + GLPK v1.2.1 [d1acc4aa] + IntervalArithmetic v1.0.12 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.8.0 [4076af6c] + JuMP v1.31.2 [b4f0291d] + LazySets v7.1.0 [2ab3a3ac] + LogExpFunctions v1.0.1 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.53.0 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.4 [5de1e908] + NeuralNetworkReachability v0.1.16 [bac558e1] + OrderedCollections v2.0.1 [69de0a69] + Parsers v3.0.0 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [379f33d0] + ReachabilityBase v0.3.6 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [5eaf0fd0] + RoundingEmulator v0.2.1 [276daf66] + SpecialFunctions v2.9.0 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.5 [ec057cc2] + StructUtils v2.8.5 [3bb67fe8] + TranscodingStreams v0.11.3 [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.34+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [0dad84c5] + ArgTools v1.2.0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [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 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.7+0 [781609d7] + GMP_jll v6.3.0+5 [deac9b47] + LibCURL_jll v8.22.0+0 [e37daf67] + LibGit2_jll v1.9.7+0 [29816b5a] + LibSSH2_jll v1.11.104+0 [14a3606d] + MozillaCACerts_jll v2026.8.13 [4536629a] + OpenBLAS_jll v0.3.34+0 [05823500] + OpenLibm_jll v0.8.8+0 [458c3c95] + OpenSSL_jll v3.5.8+0 [efcefdf7] + PCRE2_jll v10.48.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.70.0+0 [3f19e933] + p7zip_jll v17.8.2+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 5.26s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/sTG3E/src/julia-1.13/activate_set.jl:78 Precompiling package dependencies... Precompiling project... 9.3 s ✓ TaylorSeries 3.8 s ✓ ControllerFormats 3.9 s ✓ CarlemanLinearization 5.7 s ✓ MultivariatePolynomials → MultivariatePolynomialsChainRulesCoreExt 8.5 s ✓ MathematicalSystems 115.1 s ✓ SymbolicUtils 9.3 s ✓ Optim → OptimMOIExt 14.3 s ✓ Polyhedra 10.5 s ✓ GLPK 3.6 s ✓ IntervalRootFinding 1.9 s ✓ IntervalBoxes 1.3 s ✓ IntervalMatrices 2.3 s ✓ TaylorSeries → TaylorSeriesRATExt 4.7 s ✓ TaylorSeries → TaylorSeriesJLD2Ext 2.2 s ✓ TaylorSeries → TaylorSeriesSAExt 2.0 s ✓ TaylorSeries → TaylorSeriesIAExt 3.3 s ✓ MathematicalSystems → RecipesBaseExt 4.2 s ✓ HybridSystems 5.3 s ✓ SymbolicUtils → SymbolicUtilsChainRulesCoreExt 66.8 s ✓ SymbolicLimits 10.3 s ✓ Polyhedra → PolyhedraRecipesBaseExt 12.0 s ✓ Polyhedra → PolyhedraJuMPExt 11.6 s ✓ CDDLib 35.2 s ✓ LazySets 2.2 s ✓ IntervalBoxes → IntervalBoxesPlotsExt 2.5 s ✓ IntervalContractors 9.7 s ✓ TaylorIntegration 89.7 s ✓ Symbolics 13.0 s ✓ LazySets → LazySetsPolyhedraExt 11.0 s ✓ LazySets → LazySetsIntervalBoxesExt 11.7 s ✓ LazySets → LazySetsIntervalMatricesExt 12.5 s ✓ LazySets → LazySetsCDDLibExt 12.2 s ✓ LazySets → LazySetsRecipesBaseExt 12.2 s ✓ LazySets → LazySetsStaticArraysCoreExt 12.4 s ✓ LazySets → LazySetsOptimExt 13.1 s ✓ CarlemanLinearization → LazySetsExt 11.7 s ✓ MathematicalSystems → LazySetsExt 6.5 s ✓ TaylorIntegration → TaylorIntegrationIAExt 15.1 s ✓ Symbolics → SymbolicsForwardDiffExt 9.8 s ✓ Symbolics → SymbolicsStaticArraysExt 8.3 s ✓ DifferentiationInterface → DifferentiationInterfaceSymbolicsExt 21.0 s ✓ LazySets → LazySetsSymbolicsExt 11.0 s ✓ NeuralNetworkReachability 10.8 s ✓ TaylorModels 19.7 s ✓ ReversePropagation 19.2 s ✓ LazySets → LazySetsTaylorModelsExt 17.8 s ✓ IntervalConstraintProgramming 31.2 s ✓ ReachabilityAnalysis 21.6 s ✓ LazySets → LazySetsIntervalConstraintProgrammingExt 10.7 s ✓ NeuralNetworkReachability → IntervalConstraintProgrammingExt 32.0 s ✓ NeuralNetworkReachability → ReachabilityAnalysisExt 51 dependencies successfully precompiled in 797 seconds. 225 already precompiled. Precompilation completed after 818.64s ################################################################################ # Testing # Testing NeuralNetworkReachability Test Could not use exact versions of packages in manifest, re-resolving. Note: if you do not check your manifest file into source control, then you can probably ignore this message. However, if you do check your manifest file into source control, then you probably want to pass the `allow_reresolve = false` kwarg when calling the `Pkg.test` function. Updating `/tmp/jl_VskC7q/Project.toml` [4c88cf16] + Aqua v0.8.16 [3391f64e] + CDDLib v0.10.3 [7d51a73a] + ExplicitImports v1.15.0 [138f1668] + IntervalConstraintProgramming v0.15.0 ⌃ [b4f0291d] ↓ LazySets v7.1.0 ⇒ v7.0.1 [5de1e908] + NeuralNetworkReachability v0.1.16 [429524aa] + Optim v2.3.1 [67491407] + Polyhedra v0.8.1 [1e97bd63] + ReachabilityAnalysis v0.32.1 ⌃ [92b13dbe] + TaylorIntegration v0.18.12 ⌅ [314ce334] + TaylorModels v0.10.3 Updating `/tmp/jl_VskC7q/Manifest.toml` [47edcb42] + ADTypes v1.24.0 [6e696c72] + AbstractPlutoDingetjes v1.4.1 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.45 [79e6a3ab] + Adapt v4.7.0 [4c88cf16] + Aqua v0.8.16 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.30.1 [15f4f7f2] + AutoHashEquals v2.2.0 [e2ed5e7c] + Bijections v0.2.2 [d3bc4f2e] + BranchAndPrune v0.2.2 [3391f64e] + CDDLib v0.10.3 [4803f6b2] + CarlemanLinearization v0.4.3 [082447d4] + ChainRules v1.73.0 [d360d2e6] + ChainRulesCore v1.26.1 [0b6fb165] + ChunkCodecCore v1.0.2 [4c0bbee4] + ChunkCodecLibZlib v1.1.0 [55437552] + ChunkCodecLibZstd v1.0.0 [08986516] + Collects v1.1.0 ⌅ [861a8166] + Combinatorics v1.0.2 [38540f10] + CommonSolve v0.2.14 [f70d9fcc] + CommonWorldInvalidations v1.2.2 [34da2185] + Compat v4.18.1 [b152e2b5] + CompositeTypes v0.1.4 [a33af91c] + CompositionsBase v0.1.2 [187b0558] + ConstructionBase v1.6.0 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.19.6 [e2d170a0] + DataValueInterfaces v1.0.0 [a0c0ee7d] + DifferentiationInterface v0.7.21 [5b8099bc] + DomainSets v0.8.1 [7c1d4256] + DynamicPolynomials v0.6.8 [4e289a0a] + EnumX v1.0.7 [6912e4f1] + Espresso v0.6.4 [7d51a73a] + ExplicitImports v1.15.0 [55351af7] + ExproniconLite v0.10.14 [5789e2e9] + FileIO v1.20.0 [1a297f60] + FillArrays v1.17.0 [6a86dc24] + FiniteDiff v2.33.0 [3821ddf9] + FixedSizeArrays v1.3.0 [a85aefff] + FunctionMaps v0.1.2 [46192b85] + GPUArraysCore v0.2.0 ⌅ [14197337] + GenericLinearAlgebra v0.3.19 [86223c79] + Graphs v1.15.0 [076d061b] + HashArrayMappedTries v0.2.0 [2207ec0c] + HybridSystems v0.4.4 [d25df0c9] + Inflate v0.1.5 [18e54dd8] + IntegerMathUtils v0.1.4 [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 [82899510] + IteratorInterfaceExtensions v1.0.0 [033835bb] + JLD2 v0.6.6 [ae98c720] + Jieko v0.2.1 ⌃ [b4f0291d] ↓ LazySets v7.1.0 ⇒ v7.0.1 [d3d80556] + LineSearches v7.8.1 [dbb5928d] + MappedArrays v0.4.3 [d14a8603] + MathematicalSystems v0.14.6 ⌅ [2e0e35c7] + Moshi v0.3.9 [102ac46a] + MultivariatePolynomials v0.5.19 [d41bc354] + NLSolversBase v8.0.1 [5de1e908] + NeuralNetworkReachability v0.1.16 [429524aa] + Optim v2.3.1 ⌅ [bac558e1] ↓ OrderedCollections v2.0.1 ⇒ v1.8.2 ⌅ [d96e819e] + Parameters v0.12.3 [eebad327] + PkgVersion v0.3.3 [67491407] + Polyhedra v0.8.1 [85a6dd25] + PositiveFactorizations v0.2.4 [27ebfcd6] + Primes v0.5.7 [1e97bd63] + ReachabilityAnalysis v0.32.1 [988b38a3] + ReadOnlyArrays v0.2.0 [c1ae055f] + RealDot v0.1.0 [3cdcf5f2] + RecipesBase v1.3.4 [731186ca] + RecursiveArrayTools v4.5.1 [527681c1] + ReversePropagation v0.4.1 [7e49a35a] + RuntimeGeneratedFunctions v0.5.26 [431bcebd] + SciMLPublic v1.3.0 [53ae85a6] + SciMLStructures v1.10.5 [7e506255] + ScopedValues v1.6.2 [efcf1570] + Setfield v1.1.2 [699a6c99] + SimpleTraits v0.9.6 [dc90abb0] + SparseInverseSubset v0.1.3 [0c0c59c1] + StarAlgebras v0.3.0 [90137ffa] + StaticArrays v1.9.20 [09ab397b] + StructArrays v0.7.3 [2efcf032] + SymbolicIndexingInterface v0.3.55 [19f23fe9] + SymbolicLimits v1.2.1 [d1185830] + SymbolicUtils v4.46.4 [0c5d862f] + Symbolics v7.39.2 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.14.0 [ed4db957] + TaskLocalValues v0.1.3 ⌃ [92b13dbe] + TaylorIntegration v0.18.12 ⌅ [314ce334] + TaylorModels v0.10.3 ⌅ [6aa5eb33] + TaylorSeries v0.21.10 [8ea1fca8] + TermInterface v2.0.0 [3a884ed6] + UnPack v1.0.2 [d30d5f5c] + WeakCacheSets v0.1.0 [f07e07eb] + cddlib_jll v0.94.15+0 [8ba89e20] + Distributed v1.12.0 [9fa8497b] + Future v1.11.0 [a63ad114] + Mmap v1.11.0 [6462fe0b] + Sockets v1.11.0 [4607b0f0] + SuiteSparse Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_VskC7q/Project.toml` [4c88cf16] Aqua v0.8.16 [3391f64e] CDDLib v0.10.3 [02ac4b2c] ControllerFormats v0.2.7 [7d51a73a] ExplicitImports v1.15.0 [138f1668] IntervalConstraintProgramming v0.15.0 ⌃ [b4f0291d] LazySets v7.0.1 [5de1e908] NeuralNetworkReachability v0.1.16 [429524aa] Optim v2.3.1 [67491407] Polyhedra v0.8.1 [1e97bd63] ReachabilityAnalysis v0.32.1 ⌃ [92b13dbe] TaylorIntegration v0.18.12 ⌅ [314ce334] TaylorModels v0.10.3 [8dfed614] Test v1.11.0 Status `/tmp/jl_VskC7q/Manifest.toml` [47edcb42] ADTypes v1.24.0 [6e696c72] AbstractPlutoDingetjes v1.4.1 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.45 [79e6a3ab] Adapt v4.7.0 [4c88cf16] Aqua v0.8.16 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.30.1 [15f4f7f2] AutoHashEquals v2.2.0 [e2ed5e7c] Bijections v0.2.2 [d3bc4f2e] BranchAndPrune v0.2.2 [3391f64e] CDDLib v0.10.3 [96374032] CRlibm v1.0.2 [4803f6b2] CarlemanLinearization v0.4.3 [082447d4] ChainRules v1.73.0 [d360d2e6] ChainRulesCore v1.26.1 [0b6fb165] ChunkCodecCore v1.0.2 [4c0bbee4] ChunkCodecLibZlib v1.1.0 [55437552] ChunkCodecLibZstd v1.0.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.9 [08986516] Collects v1.1.0 ⌅ [861a8166] Combinatorics v1.0.2 [38540f10] CommonSolve v0.2.14 [bbf7d656] CommonSubexpressions v0.3.1 [f70d9fcc] CommonWorldInvalidations v1.2.2 [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.6 [e2d170a0] DataValueInterfaces v1.0.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.16.0 [a0c0ee7d] DifferentiationInterface v0.7.21 [ffbed154] DocStringExtensions v0.9.5 [5b8099bc] DomainSets v0.8.1 [7c1d4256] DynamicPolynomials v0.6.8 [4e289a0a] EnumX v1.0.7 [6912e4f1] Espresso v0.6.4 [7d51a73a] ExplicitImports v1.15.0 [e2ba6199] ExprTools v0.1.11 [55351af7] ExproniconLite v0.10.14 [5789e2e9] FileIO v1.20.0 [1a297f60] FillArrays v1.17.0 [6a86dc24] FiniteDiff v2.33.0 [3821ddf9] FixedSizeArrays v1.3.0 [f6369f11] ForwardDiff v1.4.5 [a85aefff] FunctionMaps v0.1.2 [60bf3e95] GLPK v1.2.1 [46192b85] GPUArraysCore v0.2.0 ⌅ [14197337] GenericLinearAlgebra v0.3.19 [86223c79] Graphs v1.15.0 [076d061b] HashArrayMappedTries v0.2.0 [2207ec0c] HybridSystems v0.4.4 [d25df0c9] Inflate v0.1.5 [18e54dd8] IntegerMathUtils v0.1.4 [d1acc4aa] IntervalArithmetic v1.0.12 [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.6 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.8.0 [ae98c720] Jieko v0.2.1 [4076af6c] JuMP v1.31.2 ⌃ [b4f0291d] LazySets v7.0.1 [d3d80556] LineSearches v7.8.1 [2ab3a3ac] LogExpFunctions v1.0.1 [1914dd2f] MacroTools v0.5.16 [dbb5928d] MappedArrays v0.4.3 [b8f27783] MathOptInterface v1.53.0 [d14a8603] MathematicalSystems v0.14.6 ⌅ [2e0e35c7] Moshi v0.3.9 [102ac46a] MultivariatePolynomials v0.5.19 [d8a4904e] MutableArithmetics v1.8.0 [d41bc354] NLSolversBase v8.0.1 [77ba4419] NaNMath v1.1.4 [5de1e908] NeuralNetworkReachability v0.1.16 [429524aa] Optim v2.3.1 ⌅ [bac558e1] OrderedCollections v1.8.2 ⌅ [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v3.0.0 [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.32.1 [379f33d0] ReachabilityBase v0.3.6 [988b38a3] ReadOnlyArrays v0.2.0 [c1ae055f] RealDot v0.1.0 [3cdcf5f2] RecipesBase v1.3.4 [731186ca] RecursiveArrayTools v4.5.1 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [527681c1] ReversePropagation v0.4.1 [5eaf0fd0] RoundingEmulator v0.2.1 [7e49a35a] RuntimeGeneratedFunctions v0.5.26 [431bcebd] SciMLPublic v1.3.0 [53ae85a6] SciMLStructures v1.10.5 [7e506255] ScopedValues v1.6.2 [efcf1570] Setfield v1.1.2 [699a6c99] SimpleTraits v0.9.6 [dc90abb0] SparseInverseSubset v0.1.3 [276daf66] SpecialFunctions v2.9.0 [0c0c59c1] StarAlgebras v0.3.0 [90137ffa] StaticArrays v1.9.20 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.5 [09ab397b] StructArrays v0.7.3 [ec057cc2] StructUtils v2.8.5 [2efcf032] SymbolicIndexingInterface v0.3.55 [19f23fe9] SymbolicLimits v1.2.1 [d1185830] SymbolicUtils v4.46.4 [0c5d862f] Symbolics v7.39.2 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.14.0 [ed4db957] TaskLocalValues v0.1.3 ⌃ [92b13dbe] TaylorIntegration v0.18.12 ⌅ [314ce334] TaylorModels v0.10.3 ⌅ [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.34+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f07e07eb] cddlib_jll v0.94.15+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.12.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 [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.7+0 [781609d7] GMP_jll v6.3.0+5 [deac9b47] LibCURL_jll v8.22.0+0 [e37daf67] LibGit2_jll v1.9.7+0 [29816b5a] LibSSH2_jll v1.11.104+0 [14a3606d] MozillaCACerts_jll v2026.8.13 [4536629a] OpenBLAS_jll v0.3.34+0 [05823500] OpenLibm_jll v0.8.8+0 [458c3c95] OpenSSL_jll v3.5.8+0 [efcefdf7] PCRE2_jll v10.48.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.70.0+0 [3f19e933] p7zip_jll v17.8.2+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... Test Summary: | Pass Total Time Optional dependencies (not loaded) | 3 3 6.7s Test Summary: | Pass Total Time Util | 3 3 1.1s Test Summary: | Pass Broken Total Time ForwardAlgorithms | 535 14 549 4m07.1s Test Summary: | Pass Total Time BackwardAlgorithms | 120 120 1m01.4s Test Summary: | Pass Total Time BidirectionalAlgorithms | 35 35 11.3s glp_simplex: unable to recover undefined or non-optimal solution Test Summary: | Pass Total Time AISoLA 2023 | 2 2 34.6s Testing NeuralNetworkReachability tests passed Testing completed after 400.38s PkgEval succeeded after 1282.62s