Package evaluation of SoleLogics on Julia 1.13.0-DEV.111 (ce76dbf07d*) started at 2025-02-28T01:10:37.647 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.27s ################################################################################ # Installation # Installing SoleLogics... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [b002da8f] + SoleLogics v0.13.0 Updating `~/.julia/environments/v1.13/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [66dad0bd] + AliasTables v1.1.3 [ec485272] + ArnoldiMethod v0.4.0 [324d7699] + CategoricalArrays v0.10.8 [34da2185] + Compat v4.16.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.18.20 [e2d170a0] + DataValueInterfaces v1.0.0 [85a47980] + Dictionaries v0.4.4 [ffbed154] + DocStringExtensions v0.9.3 [1a297f60] + FillArrays v1.13.0 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.12.0 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.4 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [b964fa9f] + LaTeXStrings v1.4.0 [50d2b5c4] + Lazy v0.15.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.15 [e1d29d7a] + Missings v1.2.0 [bac558e1] + OrderedCollections v1.8.0 [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [08abe8d2] + PrettyTables v2.4.0 [43287f4e] + PtrArrays v1.3.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [699a6c99] + SimpleTraits v0.9.4 [4475fa32] + SoleBase v0.13.0 [b002da8f] + SoleLogics v0.13.0 [a2af1166] + SortingAlgorithms v1.2.1 [90137ffa] + StaticArrays v1.9.12 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.0 [2913bbd2] + StatsBase v0.34.4 [892a3eda] + StringManipulation v0.4.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.0 [4239201d] + ThreadSafeDicts v0.1.6 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [e37daf67] + LibGit2_jll v1.9.0+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [458c3c95] + OpenSSL_jll v3.0.16+0 [bea87d4a] + SuiteSparse_jll v7.8.3+2 [8e850b90] + libblastrampoline_jll v5.12.0+0 Installation completed after 1.81s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/tgnBf/src/julia-1.11/activate_set.jl:63 Precompiling package dependencies... ERROR: LoadError: The following 1 direct dependency failed to precompile: SoleData Failed to precompile SoleData [123f1ae1-6307-4526-ab5b-aab3a92a2b8c] to "/home/pkgeval/.julia/compiled/v1.13/SoleData/jl_QSamMO" (ProcessExited(1)). WARNING: Detected access to binding `Dimensions.X` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. WARNING: Detected access to binding `Dimensions.Y` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. WARNING: Detected access to binding `DimensionalData.DimArray` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. WARNING: Detected access to binding `Dimensions.Z` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. WARNING: Detected access to binding `DimensionalData.DimStack` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. WARNING: Constructor for type "IndexStyle" was extended in `FeatureSets` without explicit qualification or import. NOTE: Assumed "IndexStyle" refers to `Base.IndexStyle`. This behavior is deprecated and may differ in future versions.` NOTE: This behavior may have differed in Julia versions prior to 1.12. Hint: If you intended to create a new generic function of the same name, use `function IndexStyle end`. Hint: To silence the warning, qualify `IndexStyle` as `Base.IndexStyle` or explicitly `import Base: IndexStyle` Warning: detected a stack overflow; program state may be corrupted, so further execution might be unreliable. ERROR: LoadError: StackOverflowError: Stacktrace: [1] lookup_binding_partition @ ./runtime_internals.jl:220 [inlined] [2] foreach_module_mtable(visit::Base.var"#invalidate_code_for_globalref!##0#invalidate_code_for_globalref!##1"{Core.BindingPartition, UInt64, GlobalRef}, m::Module, world::UInt64) @ Base ./invalidation.jl:23 [3] invalidate_code_for_globalref!(b::Core.Binding, invalidated_bpart::Core.BindingPartition, new_bpart::Nothing, new_max_world::UInt64) @ Base ./invalidation.jl:120 [4] invalidate_code_for_globalref!(b::Core.Binding, invalidated_bpart::Core.BindingPartition, new_bpart::Core.BindingPartition, new_max_world::UInt64) @ Base ./invalidation.jl:156 [5] invalidate_code_for_globalref!(gr::GlobalRef, invalidated_bpart::Core.BindingPartition, new_bpart::Core.BindingPartition, new_max_world::UInt64) @ Base ./invalidation.jl:161 [6] top-level scope @ ~/.julia/packages/SoleData/CE942/src/SoleData.jl:209 [7] include(mod::Module, _path::String) @ Base ./Base.jl:307 [8] include_package_for_output(pkg::Base.PkgId, input::String, 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:3004 [9] top-level scope @ stdin:6 [10] eval(m::Module, e::Any) @ Core ./boot.jl:488 [11] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2855 [12] include_string @ ./loading.jl:2865 [inlined] [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [14] _start() @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/SoleData/CE942/src/SoleData.jl:4 in expression starting at stdin: in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 629.52s ################################################################################ # Testing # Testing SoleLogics Test Could not use exact versions of packages in manifest. Re-resolving dependencies Updating `/tmp/jl_idy8kG/Project.toml` [6e4b80f9] + BenchmarkTools v1.6.0 [a93c6f00] + DataFrames v1.7.0 [7806a523] + DecisionTree v0.12.4 [7f904dfe] + PlutoUI v0.7.61 [123f1ae1] + SoleData v0.16.1 ⌅ [b002da8f] + SoleLogics v0.12.0 [8dfed614] ~ Test ⇒ v1.11.0 Updating `/tmp/jl_idy8kG/Manifest.toml` [6e696c72] + AbstractPlutoDingetjes v1.3.2 [79e6a3ab] + Adapt v4.2.0 [4fba245c] + ArrayInterface v7.18.0 [6e4b80f9] + BenchmarkTools v1.6.0 [d1d4a3ce] + BitFlags v0.1.9 [336ed68f] + CSV v0.10.15 ⌅ [acdeb78f] + Catch22 v0.6.0 [da1fd8a2] + CodeTracking v1.3.6 [944b1d66] + CodecZlib v0.7.8 ⌅ [3da002f7] + ColorTypes v0.11.5 [f0e56b4a] + ConcurrentUtilities v2.5.0 [187b0558] + ConstructionBase v1.5.8 [a93c6f00] + DataFrames v1.7.0 [e7dc6d0d] + DataValues v0.4.13 [7806a523] + DecisionTree v0.12.4 [8bb1440f] + DelimitedFiles v1.9.1 [0703355e] + DimensionalData v0.29.12 [31c24e10] + Distributions v0.25.117 [460bff9d] + ExceptionUnwrapping v0.1.11 [411431e0] + Extents v0.1.5 [48062228] + FilePathsBase v0.9.23 [53c48c17] + FixedPointNumbers v0.8.5 [cd3eb016] + HTTP v1.10.15 [34004b35] + HypergeometricFunctions v0.3.27 [47d2ed2b] + Hyperscript v0.0.5 [ac1192a8] + HypertextLiteral v0.9.5 [b5f81e59] + IOCapture v0.2.5 [842dd82b] + InlineStrings v1.4.3 [85a1e053] + Interfaces v0.3.2 [8197267c] + IntervalSets v0.7.10 [41ab1584] + InvertedIndices v1.3.1 [1c8ee90f] + IterableTables v1.0.0 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 [aa1ae85d] + JuliaInterpreter v0.9.42 [e6f89c97] + LoggingExtras v1.1.0 [6f1432cf] + LoweredCodeUtils v3.1.0 [6c6e2e6c] + MIMEs v1.0.0 [e80e1ace] + MLJModelInterface v1.11.0 [739be429] + MbedTLS v1.1.9 [8cc5100c] + MultiData v0.1.4 [4d8831e6] + OpenSSL v1.4.3 [90014a1f] + PDMats v0.11.32 [69de0a69] + Parsers v2.8.1 [7f904dfe] + PlutoUI v0.7.61 [2dfb63ee] + PooledArrays v1.4.3 [33c8b6b6] + ProgressLogging v0.1.4 [92933f4c] + ProgressMeter v1.10.2 [1fd47b50] + QuadGK v2.11.2 [1a8c2f83] + Query v1.0.0 [2aef5ad7] + QueryOperators v0.9.3 [3cdcf5f2] + RecipesBase v1.3.4 [295af30f] + Revise v3.7.2 [79098fc4] + Rmath v0.8.0 [321657f4] + ScientificTypes v3.1.0 [30f210dd] + ScientificTypesBase v3.0.0 [6e75b9c4] + ScikitLearnBase v0.5.0 [91c51154] + SentinelArrays v1.4.8 [777ac1f9] + SimpleBufferStream v1.2.0 [123f1ae1] + SoleData v0.16.1 ⌅ [b002da8f] + SoleLogics v0.12.0 [276daf66] + SpecialFunctions v2.5.0 [64bff920] + StatisticalTraits v3.4.0 [4c63d2b9] + StatsFuns v1.3.2 [5e66a065] + TableShowUtils v0.2.6 [382cd787] + TableTraitsUtils v1.0.2 ⌅ [f3112013] + TimeseriesFeatures v0.5.3 [3bb67fe8] + TranscodingStreams v0.11.3 [410a4b4d] + Tricks v0.1.10 [5c2747f8] + URIs v1.5.1 [2fbcfb34] + UniqueVectors v1.2.0 [ea10d353] + WeakRefStrings v1.4.2 [76eceee3] + WorkerUtilities v1.6.1 [a5390f91] + ZipFile v0.10.1 [c8ffd9c3] + MbedTLS_jll v2.28.6+1 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [f50d1b31] + Rmath_jll v0.5.1+0 ⌅ [8a07c0c5] + catch22_jll v0.4.0+0 [0dad84c5] + ArgTools v1.1.2 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b27032c2] + LibCURL v0.6.4 [44cfe95a] + Pkg v1.12.0 [9abbd945] + Profile v1.11.0 [3fa0cd96] + REPL v1.11.0 [4607b0f0] + SuiteSparse [a4e569a6] + Tar v1.10.0 [8dfed614] ~ Test ⇒ v1.11.0 [deac9b47] + LibCURL_jll v8.11.1+1 [14a3606d] + MozillaCACerts_jll v2024.12.31 [05823500] + OpenLibm_jll v0.8.5+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850ede] + nghttp2_jll v1.64.0+1 [3f19e933] + p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_idy8kG/Project.toml` [1520ce14] AbstractTrees v0.4.5 [6e4b80f9] BenchmarkTools v1.6.0 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.20 [7806a523] DecisionTree v0.12.4 [85a47980] Dictionaries v0.4.4 [069b7b12] FunctionWrappers v1.1.3 [86223c79] Graphs v1.12.0 [c8e1da08] IterTools v1.10.0 [50d2b5c4] Lazy v0.15.1 [7f904dfe] PlutoUI v0.7.61 [08abe8d2] PrettyTables v2.4.0 [189a3867] Reexport v1.2.2 [4475fa32] SoleBase v0.13.0 [123f1ae1] SoleData v0.16.1 ⌅ [b002da8f] SoleLogics v0.12.0 [90137ffa] StaticArrays v1.9.12 [2913bbd2] StatsBase v0.34.4 [4239201d] ThreadSafeDicts v0.1.6 [b77e0a4c] InteractiveUtils v1.11.0 [d6f4376e] Markdown v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_idy8kG/Manifest.toml` [6e696c72] AbstractPlutoDingetjes v1.3.2 [1520ce14] AbstractTrees v0.4.5 [79e6a3ab] Adapt v4.2.0 [66dad0bd] AliasTables v1.1.3 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.18.0 [6e4b80f9] BenchmarkTools v1.6.0 [d1d4a3ce] BitFlags v0.1.9 [336ed68f] CSV v0.10.15 ⌅ [acdeb78f] Catch22 v0.6.0 [324d7699] CategoricalArrays v0.10.8 [da1fd8a2] CodeTracking v1.3.6 [944b1d66] CodecZlib v0.7.8 ⌅ [3da002f7] ColorTypes v0.11.5 [34da2185] Compat v4.16.0 [f0e56b4a] ConcurrentUtilities v2.5.0 [187b0558] ConstructionBase v1.5.8 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.20 [e2d170a0] DataValueInterfaces v1.0.0 [e7dc6d0d] DataValues v0.4.13 [7806a523] DecisionTree v0.12.4 [8bb1440f] DelimitedFiles v1.9.1 [85a47980] Dictionaries v0.4.4 [0703355e] DimensionalData v0.29.12 [31c24e10] Distributions v0.25.117 [ffbed154] DocStringExtensions v0.9.3 [460bff9d] ExceptionUnwrapping v0.1.11 [411431e0] Extents v0.1.5 [48062228] FilePathsBase v0.9.23 [1a297f60] FillArrays v1.13.0 [53c48c17] FixedPointNumbers v0.8.5 [069b7b12] FunctionWrappers v1.1.3 [86223c79] Graphs v1.12.0 [cd3eb016] HTTP v1.10.15 [34004b35] HypergeometricFunctions v0.3.27 [47d2ed2b] Hyperscript v0.0.5 [ac1192a8] HypertextLiteral v0.9.5 [b5f81e59] IOCapture v0.2.5 [313cdc1a] Indexing v1.1.1 [d25df0c9] Inflate v0.1.5 [842dd82b] InlineStrings v1.4.3 [85a1e053] Interfaces v0.3.2 [8197267c] IntervalSets v0.7.10 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.4 [c8e1da08] IterTools v1.10.0 [1c8ee90f] IterableTables v1.0.0 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [aa1ae85d] JuliaInterpreter v0.9.42 [b964fa9f] LaTeXStrings v1.4.0 [50d2b5c4] Lazy v0.15.1 [2ab3a3ac] LogExpFunctions v0.3.29 [e6f89c97] LoggingExtras v1.1.0 [6f1432cf] LoweredCodeUtils v3.1.0 [6c6e2e6c] MIMEs v1.0.0 [e80e1ace] MLJModelInterface v1.11.0 [1914dd2f] MacroTools v0.5.15 [739be429] MbedTLS v1.1.9 [e1d29d7a] Missings v1.2.0 [8cc5100c] MultiData v0.1.4 [4d8831e6] OpenSSL v1.4.3 [bac558e1] OrderedCollections v1.8.0 [90014a1f] PDMats v0.11.32 [69de0a69] Parsers v2.8.1 [7f904dfe] PlutoUI v0.7.61 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [33c8b6b6] ProgressLogging v0.1.4 [92933f4c] ProgressMeter v1.10.2 [43287f4e] PtrArrays v1.3.0 [1fd47b50] QuadGK v2.11.2 [1a8c2f83] Query v1.0.0 [2aef5ad7] QueryOperators v0.9.3 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [295af30f] Revise v3.7.2 [79098fc4] Rmath v0.8.0 [321657f4] ScientificTypes v3.1.0 [30f210dd] ScientificTypesBase v3.0.0 [6e75b9c4] ScikitLearnBase v0.5.0 [91c51154] SentinelArrays v1.4.8 [777ac1f9] SimpleBufferStream v1.2.0 [699a6c99] SimpleTraits v0.9.4 [4475fa32] SoleBase v0.13.0 [123f1ae1] SoleData v0.16.1 ⌅ [b002da8f] SoleLogics v0.12.0 [a2af1166] SortingAlgorithms v1.2.1 [276daf66] SpecialFunctions v2.5.0 [90137ffa] StaticArrays v1.9.12 [1e83bf80] StaticArraysCore v1.4.3 [64bff920] StatisticalTraits v3.4.0 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.0 [2913bbd2] StatsBase v0.34.4 [4c63d2b9] StatsFuns v1.3.2 [892a3eda] StringManipulation v0.4.1 [5e66a065] TableShowUtils v0.2.6 [3783bdb8] TableTraits v1.0.1 [382cd787] TableTraitsUtils v1.0.2 [bd369af6] Tables v1.12.0 [4239201d] ThreadSafeDicts v0.1.6 ⌅ [f3112013] TimeseriesFeatures v0.5.3 [3bb67fe8] TranscodingStreams v0.11.3 [410a4b4d] Tricks v0.1.10 [5c2747f8] URIs v1.5.1 [2fbcfb34] UniqueVectors v1.2.0 [ea10d353] WeakRefStrings v1.4.2 [76eceee3] WorkerUtilities v1.6.1 [a5390f91] ZipFile v0.10.1 [c8ffd9c3] MbedTLS_jll v2.28.6+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f50d1b31] Rmath_jll v0.5.1+0 ⌅ [8a07c0c5] catch22_jll v0.4.0+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.12.0 [f489334b] StyledStrings v1.11.0 [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.3.0+1 [deac9b47] LibCURL_jll v8.11.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.0.16+0 [bea87d4a] SuiteSparse_jll v7.8.3+2 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.0+0 [8e850ede] nghttp2_jll v1.64.0+1 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Julia version: 1.13.0-DEV.111 ################################################## TEST: core.jl 73.983162 seconds (42.72 M allocations: 2.296 GiB, 1.52% gc time, 94.63% compilation time: 4% of which was recompilation) ################################################## TEST: parse.jl 17.749456 seconds (6.00 M allocations: 323.262 MiB, 0.46% gc time, 97.33% compilation time: <1% of which was recompilation) ################################################## TEST: normalize.jl 36.694803 seconds (15.09 M allocations: 832.398 MiB, 0.83% gc time, 98.34% compilation time) ################################################## TEST: syntax-utils.jl 24.564178 seconds (15.54 M allocations: 839.672 MiB, 0.94% gc time, 97.99% compilation time) ################################################## TEST: formulas/generation.jl 15.953172 seconds (20.45 M allocations: 1020.186 MiB, 10.99% gc time, 68.48% compilation time) ################################################## TEST: formulas/input.jl 0.000721 seconds (114 allocations: 34.969 KiB) ################################################## TEST: formulas/normal-forms.jl 2.014725 seconds (779.38 k allocations: 41.716 MiB, 97.98% compilation time) ################################################## TEST: logics/operators.jl 0.594916 seconds (314.88 k allocations: 16.051 MiB, 90.74% compilation time) ################################################## TEST: interpretation-sets.jl Precompiling packages... Info Given SoleData was explicitly requested, output will be shown live  Warning: detected a stack overflow; program state may be corrupted, so further execution might be unreliable. ERROR: LoadError: StackOverflowError: Stacktrace:  [1] lookup_binding_partition  @ ./runtime_internals.jl:220 [inlined]  [2] foreach_module_mtable(visit::Base.var"#invalidate_code_for_globalref!##0#invalidate_code_for_globalref!##1"{Core.BindingPartition, UInt64, GlobalRef}, m::Module, world::UInt64)  @ Base ./invalidation.jl:23  [3] invalidate_code_for_globalref!(b::Core.Binding, invalidated_bpart::Core.BindingPartition, new_bpart::Nothing, new_max_world::UInt64)  @ Base ./invalidation.jl:120  [4] invalidate_code_for_globalref!(b::Core.Binding, invalidated_bpart::Core.BindingPartition, new_bpart::Core.BindingPartition, new_max_world::UInt64)  @ Base ./invalidation.jl:156  [5] invalidate_code_for_globalref!(gr::GlobalRef, invalidated_bpart::Core.BindingPartition, new_bpart::Core.BindingPartition, new_max_world::UInt64)  @ Base ./invalidation.jl:161  [6] top-level scope  @ ~/.julia/packages/SoleData/CE942/src/SoleData.jl:209  [7] include(mod::Module, _path::String)  @ Base ./Base.jl:307  [8] include_package_for_output(pkg::Base.PkgId, input::String, 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:3004  [9] top-level scope  @ stdin:6  [10] eval(m::Module, e::Any)  @ Core ./boot.jl:488  [11] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2855  [12] include_string  @ ./loading.jl:2865 [inlined]  [13] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:326  [14] _start()  @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/SoleData/CE942/src/SoleData.jl:4 in expression starting at stdin:6 ✗ SoleData 0 dependencies successfully precompiled in 209 seconds. 178 already precompiled. Interpretation Sets: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:56 Got exception outside of a @test LoadError: The following 1 direct dependency failed to precompile: SoleData Failed to precompile SoleData [123f1ae1-6307-4526-ab5b-aab3a92a2b8c] to "/home/pkgeval/.julia/compiled/v1.13/SoleData/jl_iqQ6s4" (ProcessExited(1)). Warning: detected a stack overflow; program state may be corrupted, so further execution might be unreliable. ERROR: LoadError: StackOverflowError: Stacktrace: [1] lookup_binding_partition @ ./runtime_internals.jl:220 [inlined] [2] foreach_module_mtable(visit::Base.var"#invalidate_code_for_globalref!##0#invalidate_code_for_globalref!##1"{Core.BindingPartition, UInt64, GlobalRef}, m::Module, world::UInt64) @ Base ./invalidation.jl:23 [3] invalidate_code_for_globalref!(b::Core.Binding, invalidated_bpart::Core.BindingPartition, new_bpart::Nothing, new_max_world::UInt64) @ Base ./invalidation.jl:120 [4] invalidate_code_for_globalref!(b::Core.Binding, invalidated_bpart::Core.BindingPartition, new_bpart::Core.BindingPartition, new_max_world::UInt64) @ Base ./invalidation.jl:156 [5] invalidate_code_for_globalref!(gr::GlobalRef, invalidated_bpart::Core.BindingPartition, new_bpart::Core.BindingPartition, new_max_world::UInt64) @ Base ./invalidation.jl:161 [6] top-level scope @ ~/.julia/packages/SoleData/CE942/src/SoleData.jl:209 [7] include(mod::Module, _path::String) @ Base ./Base.jl:307 [8] include_package_for_output(pkg::Base.PkgId, input::String, 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:3004 [9] top-level scope @ stdin:6 [10] eval(m::Module, e::Any) @ Core ./boot.jl:488 [11] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2855 [12] include_string @ ./loading.jl:2865 [inlined] [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [14] _start() @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/SoleData/CE942/src/SoleData.jl:4 in expression starting at stdin: in expression starting at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/interpretation-sets.jl:20 ################################################## TEST: propositional-logic.jl 7.044516 seconds (2.88 M allocations: 164.412 MiB, 7.76% gc time, 99.92% compilation time: 12% of which was recompilation) ################################################## TEST: frames/worlds.jl 4.436160 seconds (3.75 M allocations: 205.337 MiB, 1.24% gc time, 97.46% compilation time: 13% of which was recompilation) ################################################## TEST: frames/frames.jl 0.003126 seconds (5.36 k allocations: 252.094 KiB) ################################################## TEST: frames/relations.jl 50.763319 seconds (98.26 M allocations: 5.305 GiB, 2.26% gc time, 75.91% compilation time: <1% of which was recompilation) ################################################## TEST: multi-modal-logic.jl WARNING: Imported binding SoleLogics.LTLFP_F was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LTLFP_P was undeclared at import time during import to Main. MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:9 Test threw exception Expression: collect(accessibles(fr, Point(3), LTLFP_F)) == Point1D{Int64}[Point1D{Int64}((4,)), Point1D{Int64}((5,))] UndefVarError: `LTLFP_F` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:10 Test threw exception Expression: collect(accessibles(fr, Point(3), LTLFP_P)) == Point1D{Int64}[Point1D{Int64}((1,)), Point1D{Int64}((2,))] UndefVarError: `LTLFP_P` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:18 Expression: collect(accessibles(fr, Point(3, 3), CL_N)) == Point2D{Int64}[Point2D{Int64}((3, 4)), Point2D{Int64}((3, 5))] Evaluated: Point2D{Int64}[Point2D{Int64}((4, 3)), Point2D{Int64}((5, 3))] == Point2D{Int64}[Point2D{Int64}((3, 4)), Point2D{Int64}((3, 5))] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:679 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [4] IncludeInto @ ./Base.jl:309 [inlined] [5] macro expansion @ ./timing.jl:621 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:19 Expression: collect(accessibles(fr, Point(3, 3), CL_S)) == Point2D{Int64}[Point2D{Int64}((3, 1)), Point2D{Int64}((3, 2))] Evaluated: Point2D{Int64}[Point2D{Int64}((1, 3)), Point2D{Int64}((2, 3))] == Point2D{Int64}[Point2D{Int64}((3, 1)), Point2D{Int64}((3, 2))] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:679 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [4] IncludeInto @ ./Base.jl:309 [inlined] [5] macro expansion @ ./timing.jl:621 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:20 Expression: collect(accessibles(fr, Point(3, 3), CL_E)) == Point2D{Int64}[Point2D{Int64}((4, 3)), Point2D{Int64}((5, 3))] Evaluated: Point2D{Int64}[Point2D{Int64}((3, 4)), Point2D{Int64}((3, 5))] == Point2D{Int64}[Point2D{Int64}((4, 3)), Point2D{Int64}((5, 3))] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:679 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [4] IncludeInto @ ./Base.jl:309 [inlined] [5] macro expansion @ ./timing.jl:621 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:21 Expression: collect(accessibles(fr, Point(3, 3), CL_W)) == Point2D{Int64}[Point2D{Int64}((1, 3)), Point2D{Int64}((2, 3))] Evaluated: Point2D{Int64}[Point2D{Int64}((3, 1)), Point2D{Int64}((3, 2))] == Point2D{Int64}[Point2D{Int64}((1, 3)), Point2D{Int64}((2, 3))] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:679 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [4] IncludeInto @ ./Base.jl:309 [inlined] [5] macro expansion @ ./timing.jl:621 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:55 Expression: collect(accessibles(fr, Interval(4, 8), IA_O)) == Interval{Int64}[Interval{Int64}(5, 9), Interval{Int64}(5, 10), Interval{Int64}(5, 11), Interval{Int64}(6, 9), Interval{Int64}(6, 10), Interval{Int64}(6, 11), Interval{Int64}(7, 9), Interval{Int64}(7, 10), Interval{Int64}(7, 11)] Evaluated: Interval{Int64}[Interval{Int64}(5, 9) Interval{Int64}(5, 10) Interval{Int64}(5, 11); Interval{Int64}(6, 9) Interval{Int64}(6, 10) Interval{Int64}(6, 11); Interval{Int64}(7, 9) Interval{Int64}(7, 10) Interval{Int64}(7, 11)] == Interval{Int64}[Interval{Int64}(5, 9), Interval{Int64}(5, 10), Interval{Int64}(5, 11), Interval{Int64}(6, 9), Interval{Int64}(6, 10), Interval{Int64}(6, 11), Interval{Int64}(7, 9), Interval{Int64}(7, 10), Interval{Int64}(7, 11)] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:679 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [4] IncludeInto @ ./Base.jl:309 [inlined] [5] macro expansion @ ./timing.jl:621 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:86 Expression: collect(accessibles(fr, Interval(4, 8), IA_Di)) == Interval{Int64}[Interval{Int64}(1, 9), Interval{Int64}(1, 10), Interval{Int64}(1, 11), Interval{Int64}(2, 9), Interval{Int64}(2, 10), Interval{Int64}(2, 11), Interval{Int64}(3, 9), Interval{Int64}(3, 10), Interval{Int64}(3, 11)] Evaluated: Interval{Int64}[Interval{Int64}(1, 9) Interval{Int64}(1, 10) Interval{Int64}(1, 11); Interval{Int64}(2, 9) Interval{Int64}(2, 10) Interval{Int64}(2, 11); Interval{Int64}(3, 9) Interval{Int64}(3, 10) Interval{Int64}(3, 11)] == Interval{Int64}[Interval{Int64}(1, 9), Interval{Int64}(1, 10), Interval{Int64}(1, 11), Interval{Int64}(2, 9), Interval{Int64}(2, 10), Interval{Int64}(2, 11), Interval{Int64}(3, 9), Interval{Int64}(3, 10), Interval{Int64}(3, 11)] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:679 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [4] IncludeInto @ ./Base.jl:309 [inlined] [5] macro expansion @ ./timing.jl:621 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:97 Expression: collect(accessibles(fr, Interval(4, 8), IA_Oi)) == Interval{Int64}[Interval{Int64}(1, 5), Interval{Int64}(1, 6), Interval{Int64}(1, 7), Interval{Int64}(2, 5), Interval{Int64}(2, 6), Interval{Int64}(2, 7), Interval{Int64}(3, 5), Interval{Int64}(3, 6), Interval{Int64}(3, 7)] Evaluated: Interval{Int64}[Interval{Int64}(1, 5) Interval{Int64}(1, 6) Interval{Int64}(1, 7); Interval{Int64}(2, 5) Interval{Int64}(2, 6) Interval{Int64}(2, 7); Interval{Int64}(3, 5) Interval{Int64}(3, 6) Interval{Int64}(3, 7)] == Interval{Int64}[Interval{Int64}(1, 5), Interval{Int64}(1, 6), Interval{Int64}(1, 7), Interval{Int64}(2, 5), Interval{Int64}(2, 6), Interval{Int64}(2, 7), Interval{Int64}(3, 5), Interval{Int64}(3, 6), Interval{Int64}(3, 7)] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:679 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [4] IncludeInto @ ./Base.jl:309 [inlined] [5] macro expansion @ ./timing.jl:621 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 WARNING: Imported binding SoleLogics.LRCC8_Rec_DC was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_EC was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_PO was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_TPP was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_TPPi was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_NTPP was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_NTPPi was undeclared at import time during import to Main. MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:117 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((3, 4), (3, 4)), LRCC8_Rec_DC))) == 56 UndefVarError: `LRCC8_Rec_DC` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:121 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 3), (2, 3)), LRCC8_Rec_EC))) == 20 UndefVarError: `LRCC8_Rec_EC` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:125 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 4), (2, 4)), LRCC8_Rec_PO))) == 40 UndefVarError: `LRCC8_Rec_PO` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:129 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 5), (2, 5)), LRCC8_Rec_TPP))) == 34 UndefVarError: `LRCC8_Rec_TPP` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:133 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 6), (2, 6)), LRCC8_Rec_NTPP))) == 9 UndefVarError: `LRCC8_Rec_NTPP` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:137 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 4), (2, 4)), LRCC8_Rec_TPPi))) == 14 UndefVarError: `LRCC8_Rec_TPPi` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:141 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((3, 4), (3, 4)), LRCC8_Rec_NTPPi))) == 16 UndefVarError: `LRCC8_Rec_NTPPi` not defined in `Main` Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:676 [inlined] 21.864217 seconds (4.41 M allocations: 253.101 MiB, 0.17% gc time, 58.06% compilation time: 2% of which was recompilation) ################################################## TEST: generation/formula.jl 20.357145 seconds (11.18 M allocations: 620.293 MiB, 1.03% gc time, 96.03% compilation time: 18% of which was recompilation) ################################################## TEST: generation/models.jl 2.069740 seconds (1.06 M allocations: 56.454 MiB, 2.99% gc time, 98.92% compilation time) ################################################## TEST: kripke-word.jl 9.056667 seconds (4.47 M allocations: 249.059 MiB, 1.07% gc time, 99.55% compilation time: 19% of which was recompilation) ################################################## TEST: kripke-image.jl 23.174015 seconds (10.74 M allocations: 573.268 MiB, 0.68% gc time, 99.19% compilation time: 1% of which was recompilation) ################################################## TEST: /home/pkgeval/.julia/packages/SoleLogics/k4bJN/pluto-demo.jl Plain: ¬(p ∧ q) Function notation: ¬(∧(p, q)) With mare paretheses: ¬(((p)) ∧ ((q))) Producing formula of height 3... p Simplifying... p (¬p ∧ q) ⊕ p p 16.440759 seconds (5.09 M allocations: 283.916 MiB, 0.99% gc time, 38.42% compilation time: 45% of which was recompilation) ################################################## TEST: many-valued-logics.jl ManyValuedLogics: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:56 Got exception outside of a @test LoadError: MethodError: no method matching FiniteTruth(::Int64) The type `FiniteTruth` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: FiniteTruth(!Matched::String) @ SoleLogics ~/.julia/packages/SoleLogics/k4bJN/src/many-valued-logics/finite-algebras.jl:12 Stacktrace: [1] _broadcast_getindex_evalf @ ./broadcast.jl:699 [inlined] [2] _broadcast_getindex @ ./broadcast.jl:672 [inlined] [3] _getindex @ ./broadcast.jl:620 [inlined] [4] getindex @ ./broadcast.jl:616 [inlined] [5] copy @ ./broadcast.jl:933 [inlined] [6] materialize(bc::Base.Broadcast.Broadcasted{Base.Broadcast.DefaultArrayStyle{1}, Nothing, Type{FiniteTruth}, Tuple{UnitRange{Int64}}}) @ Base.Broadcast ./broadcast.jl:894 [7] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/many-valued-logics.jl:18 [8] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [9] IncludeInto @ ./Base.jl:309 [inlined] [10] macro expansion @ ./timing.jl:621 [inlined] [11] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [12] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [14] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [16] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 [17] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:308 [18] top-level scope @ none:6 [19] eval(m::Module, e::Any) @ Core ./boot.jl:488 [20] exec_options(opts::Base.JLOptions) @ Base ./client.jl:294 [21] _start() @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/many-valued-logics.jl:18 ################################################## TEST: misc.jl 5.349387 seconds (2.52 M allocations: 142.783 MiB, 1.79% gc time, 96.07% compilation time: 60% of which was recompilation) TEST: util.jl 0.808564 seconds (451.99 k allocations: 25.922 MiB, 97.39% compilation time) Test Summary: | Pass Fail Error Broken Total Time SoleLogics.jl | 239432 7 11 16 239466 9m27.7s Core | 291 1 292 1m14.1s Parse | 101 2 103 17.7s Normalize | 421 421 36.7s Syntax Utils | 130 9 139 24.6s Formula Generation | 105 105 16.0s Formula I/O | 0 0.0s Normal Forms | 6 1 7 2.0s Operators | 26 26 0.6s Interpretation Sets | 7 1 8 3m38.4s Propositional Logic | 1 1 7.9s Algebras: worlds | 19 3 22 4.4s Algebras: frames | 0 0.0s Algebras: relations | 238161 238161 50.8s MultiModalLogic | 9 7 9 25 21.9s Generation: formula | 45 45 20.4s Generation: models | 4 4 2.1s Kripke word | 0 9.1s Kripke image | 18 18 23.2s Pluto Demo | 0 16.7s ManyValuedLogics | 2 1 3 4.0s Miscellaneous | 86 86 6.3s RNG of the outermost testset: Xoshiro(0x87926f2fc210b520, 0xc1e61516b9f4e1d6, 0x32a5f7695a72ccba, 0x0130703506aca4b3, 0xd2d594f5e2e5db29) ERROR: LoadError: Some tests did not pass: 239432 passed, 7 failed, 11 errored, 16 broken. in expression starting at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:51 Testing failed after 588.81s ERROR: LoadError: Package SoleLogics errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.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.13/Pkg/src/Operations.jl:2386 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2241 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.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.13/Pkg/src/API.jl:486 [5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:307 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [12] _start() @ Base ./client.jl:560 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 1260.7s: package fails to precompile