Package evaluation of ModalDecisionTrees on Julia 1.11.5 (760b2e5b739) started at 2025-05-30T13:35:16.929 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 6.7s ################################################################################ # Installation # Installing ModalDecisionTrees... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [e54bda2e] + ModalDecisionTrees v0.5.1 Updating `~/.julia/environments/v1.11/Manifest.toml` [da404889] + ARFFFiles v1.5.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.42 [79e6a3ab] + Adapt v4.3.0 [66dad0bd] + AliasTables v1.1.3 [dce04be8] + ArgCheck v2.5.0 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.19.0 [198e06fe] + BangBang v0.4.4 [9718e550] + Baselet v0.1.1 [6e4b80f9] + BenchmarkTools v1.6.0 [d1d4a3ce] + BitFlags v0.1.9 [336ed68f] + CSV v0.10.15 ⌅ [acdeb78f] + Catch22 v0.5.2 [324d7699] + CategoricalArrays v0.10.8 [af321ab8] + CategoricalDistributions v0.1.15 [da1fd8a2] + CodeTracking v1.3.9 [944b1d66] + CodecZlib v0.7.8 [3da002f7] + ColorTypes v0.12.1 [34da2185] + Compat v4.16.0 [a33af91c] + CompositionsBase v0.1.2 [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.22 [e2d170a0] + DataValueInterfaces v1.0.0 [244e2a9f] + DefineSingletons v0.1.2 [8bb1440f] + DelimitedFiles v1.9.1 [85a47980] + Dictionaries v0.4.5 [0703355e] + DimensionalData v0.29.17 [31c24e10] + Distributions v0.25.120 [ffbed154] + DocStringExtensions v0.9.4 [460bff9d] + ExceptionUnwrapping v0.1.11 [411431e0] + Extents v0.1.6 [48062228] + FilePathsBase v0.9.24 [1a297f60] + FillArrays v1.13.0 [53c48c17] + FixedPointNumbers v0.8.5 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.12.1 [cd3eb016] + HTTP v1.10.16 [34004b35] + HypergeometricFunctions v0.3.28 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [22cec73e] + InitialValues v0.3.1 [842dd82b] + InlineStrings v1.4.3 [85a1e053] + Interfaces v0.3.2 [8197267c] + IntervalSets v0.7.11 [3587e190] + InverseFunctions v0.1.17 [41ab1584] + InvertedIndices v1.3.1 [92d709cd] + IrrationalConstants v0.2.4 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 [aa1ae85d] + JuliaInterpreter v0.10.3 [b964fa9f] + LaTeXStrings v1.4.0 [50d2b5c4] + Lazy v0.15.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [e6f89c97] + LoggingExtras v1.1.0 [6f1432cf] + LoweredCodeUtils v3.3.0 [e80e1ace] + MLJModelInterface v1.11.1 [1914dd2f] + MacroTools v0.5.16 [739be429] + MbedTLS v1.1.9 [6fafb56a] + Memoization v0.2.2 [128add7d] + MicroCollections v0.2.0 [e1d29d7a] + Missings v1.2.0 [e54bda2e] + ModalDecisionTrees v0.5.1 ⌃ [8cc5100c] + MultiData v0.1.2 [8b6db2d4] + OpenML v0.3.2 [4d8831e6] + OpenSSL v1.5.0 [bac558e1] + OrderedCollections v1.8.1 [90014a1f] + PDMats v0.11.35 [69de0a69] + Parsers v2.8.3 [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.4 [43287f4e] + PtrArrays v1.3.0 [1fd47b50] + QuadGK v2.11.2 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [42d2dcc6] + Referenceables v0.1.3 [ae029012] + Requires v1.3.1 ⌅ [c5292f4c] + ResumableFunctions v0.6.10 [295af30f] + Revise v3.8.0 [79098fc4] + Rmath v0.8.0 [321657f4] + ScientificTypes v3.1.0 [30f210dd] + ScientificTypesBase v3.0.0 [6c6a2e73] + Scratch v1.2.1 [91c51154] + SentinelArrays v1.4.8 [efcf1570] + Setfield v1.1.2 [777ac1f9] + SimpleBufferStream v1.2.0 [699a6c99] + SimpleTraits v0.9.4 ⌃ [7b3b3b3f] + Sole v0.6.1 ⌅ [4475fa32] + SoleBase v0.12.4 ⌅ [123f1ae1] + SoleData v0.15.3 ⌅ [b002da8f] + SoleLogics v0.10.4 ⌅ [4249d9c7] + SoleModels v0.8.3 [a2af1166] + SortingAlgorithms v1.2.1 [276daf66] + SpecialFunctions v2.5.1 [171d559e] + SplittablesBase v0.1.15 [90137ffa] + StaticArrays v1.9.13 [1e83bf80] + StaticArraysCore v1.4.3 [64bff920] + StatisticalTraits v3.4.0 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.5 [4c63d2b9] + StatsFuns v1.5.0 [892a3eda] + StringManipulation v0.4.1 [fd094767] + Suppressor v0.2.8 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.0 [4239201d] + ThreadSafeDicts v0.1.6 [ac1d9e8a] + ThreadsX v0.1.12 ⌅ [f3112013] + TimeseriesFeatures v0.4.4 [3bb67fe8] + TranscodingStreams v0.11.3 [28d57a85] + Transducers v0.4.84 [5c2747f8] + URIs v1.5.2 [2fbcfb34] + UniqueVectors v1.2.0 [ea10d353] + WeakRefStrings v1.4.2 [76eceee3] + WorkerUtilities v1.6.1 [a5390f91] + ZipFile v0.10.1 [458c3c95] + OpenSSL_jll v3.5.0+0 [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.6.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.2.0 [44cfe95a] + Pkg v1.11.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.11.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.1.1+0 [deac9b47] + LibCURL_jll v8.6.0+0 [e37daf67] + LibGit2_jll v1.7.2+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.6+0 [14a3606d] + MozillaCACerts_jll v2023.12.12 [4536629a] + OpenBLAS_jll v0.3.27+1 [05823500] + OpenLibm_jll v0.8.5+0 [bea87d4a] + SuiteSparse_jll v7.7.0+0 [83775a58] + Zlib_jll v1.2.13+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 [8e850ede] + nghttp2_jll v1.59.0+0 [3f19e933] + p7zip_jll v17.4.0+2 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` Installation completed after 5.01s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 2300.15s ################################################################################ # Testing # Testing ModalDecisionTrees Status `/tmp/jl_TueCqG/Project.toml` [da404889] ARFFFiles v1.5.0 [1520ce14] AbstractTrees v0.4.5 [6e4b80f9] BenchmarkTools v1.6.0 [324d7699] CategoricalArrays v0.10.8 [af321ab8] CategoricalDistributions v0.1.15 [e3df1716] D3Trees v0.3.3 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.22 [8bb1440f] DelimitedFiles v1.9.1 [31c24e10] Distributions v0.25.120 [1a297f60] FillArrays v1.13.0 [069b7b12] FunctionWrappers v1.1.3 [cd3eb016] HTTP v1.10.16 [6a3955dd] ImageFiltering v0.7.10 [916415d5] Images v0.26.2 [50d2b5c4] Lazy v0.15.1 [e6f89c97] LoggingExtras v1.1.0 [eb30cadb] MLDatasets v0.7.18 ⌅ [add582a8] MLJ v0.19.5 ⌅ [a7f614a8] MLJBase v0.21.14 [e80e1ace] MLJModelInterface v1.11.1 [6fafb56a] Memoization v0.2.2 [e54bda2e] ModalDecisionTrees v0.5.1 ⌃ [8cc5100c] MultiData v0.1.2 [8b6db2d4] OpenML v0.3.2 ⌃ [7f904dfe] PlutoUI v0.7.23 [92933f4c] ProgressMeter v1.10.4 [ce6b1742] RDatasets v0.7.7 [189a3867] Reexport v1.2.2 ⌅ [c5292f4c] ResumableFunctions v0.6.10 [295af30f] Revise v3.8.0 [321657f4] ScientificTypes v3.1.0 ⌃ [7b3b3b3f] Sole v0.6.1 ⌅ [4475fa32] SoleBase v0.12.4 ⌅ [123f1ae1] SoleData v0.15.3 ⌅ [b002da8f] SoleLogics v0.10.4 ⌅ [4249d9c7] SoleModels v0.8.3 [10745b16] Statistics v1.11.1 [2913bbd2] StatsBase v0.34.5 [fd094767] Suppressor v0.2.8 [bd369af6] Tables v1.12.0 [ac1d9e8a] ThreadsX v0.1.12 [a5390f91] ZipFile v0.10.1 [b77e0a4c] InteractiveUtils v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_TueCqG/Manifest.toml` [da404889] ARFFFiles v1.5.0 [621f4979] AbstractFFTs v1.5.0 [6e696c72] AbstractPlutoDingetjes v1.3.2 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.42 [79e6a3ab] Adapt v4.3.0 [66dad0bd] AliasTables v1.1.3 [dce04be8] ArgCheck v2.5.0 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.19.0 [a9b6321e] Atomix v1.1.1 [a963bdd2] AtomsBase v0.5.1 [13072b0f] AxisAlgorithms v1.1.0 [39de3d68] AxisArrays v0.4.7 [ab4f0b2a] BFloat16s v0.5.1 [198e06fe] BangBang v0.4.4 [9718e550] Baselet v0.1.1 [6e4b80f9] BenchmarkTools v1.6.0 [d1d4a3ce] BitFlags v0.1.9 [62783981] BitTwiddlingConvenienceFunctions v0.1.6 [e1450e63] BufferedStreams v1.2.2 [fa961155] CEnum v0.5.0 [2a0fbf3d] CPUSummary v0.2.6 [336ed68f] CSV v0.10.15 [aafaddc9] CatIndices v0.2.2 ⌅ [acdeb78f] Catch22 v0.5.2 [324d7699] CategoricalArrays v0.10.8 [af321ab8] CategoricalDistributions v0.1.15 [d360d2e6] ChainRulesCore v1.25.1 [46823bd8] Chemfiles v0.10.42 [fb6a15b2] CloseOpenIntervals v0.1.13 [aaaa29a8] Clustering v0.15.8 [da1fd8a2] CodeTracking v1.3.9 [944b1d66] CodecZlib v0.7.8 [35d6a980] ColorSchemes v3.29.0 [3da002f7] ColorTypes v0.12.1 [c3611d14] ColorVectorSpace v0.11.0 [5ae59095] Colors v0.13.1 [861a8166] Combinatorics v1.0.3 [f70d9fcc] CommonWorldInvalidations v1.0.0 [34da2185] Compat v4.16.0 [a33af91c] CompositionsBase v0.1.2 [ed09eef8] ComputationalResources v0.3.2 [f0e56b4a] ConcurrentUtilities v2.5.0 [187b0558] ConstructionBase v1.5.8 [6add18c4] ContextVariablesX v0.1.3 [150eb455] CoordinateTransformations v0.6.4 [adafc99b] CpuId v0.3.1 [a8cc5b0e] Crayons v4.1.1 [dc8bdbbb] CustomUnitRanges v1.0.2 [e3df1716] D3Trees v0.3.3 [9a962f9c] DataAPI v1.16.0 [124859b0] DataDeps v0.7.13 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [244e2a9f] DefineSingletons v0.1.2 [8bb1440f] DelimitedFiles v1.9.1 [85a47980] Dictionaries v0.4.5 [0703355e] DimensionalData v0.29.17 [b4f34e82] Distances v0.10.12 [31c24e10] Distributions v0.25.120 [ffbed154] DocStringExtensions v0.9.4 [792122b4] EarlyStopping v0.3.0 [460bff9d] ExceptionUnwrapping v0.1.11 [e2ba6199] ExprTools v0.1.10 [411431e0] Extents v0.1.6 [4f61f5a4] FFTViews v0.3.2 [7a1cc6ca] FFTW v1.8.1 [cc61a311] FLoops v0.2.2 [b9860ae5] FLoopsBase v0.1.1 [5789e2e9] FileIO v1.17.0 [48062228] FilePathsBase v0.9.24 [1a297f60] FillArrays v1.13.0 [53c48c17] FixedPointNumbers v0.8.5 [069b7b12] FunctionWrappers v1.1.3 [46192b85] GPUArraysCore v0.2.0 [92fee26a] GZip v0.6.2 [c27321d9] Glob v1.3.1 [a2bd30eb] Graphics v1.1.3 [86223c79] Graphs v1.12.1 [f67ccb44] HDF5 v0.17.2 [cd3eb016] HTTP v1.10.16 [076d061b] HashArrayMappedTries v0.2.0 [2c695a8d] HistogramThresholding v0.3.1 [3e5b6fbb] HostCPUFeatures v0.1.17 [34004b35] HypergeometricFunctions v0.3.28 ⌅ [47d2ed2b] Hyperscript v0.0.4 [ac1192a8] HypertextLiteral v0.9.5 [b5f81e59] IOCapture v0.2.5 [615f187c] IfElse v0.1.1 [2803e5a7] ImageAxes v0.6.12 [c817782e] ImageBase v0.1.7 [cbc4b850] ImageBinarization v0.3.1 [f332f351] ImageContrastAdjustment v0.3.12 [a09fc81d] ImageCore v0.10.5 [89d5987c] ImageCorners v0.1.3 [51556ac3] ImageDistances v0.2.17 [6a3955dd] ImageFiltering v0.7.10 [82e4d734] ImageIO v0.6.9 [6218d12a] ImageMagick v1.4.1 [bc367c6b] ImageMetadata v0.9.10 [787d08f9] ImageMorphology v0.4.6 [2996bd0c] ImageQualityIndexes v0.3.7 [80713f31] ImageSegmentation v1.9.0 [4e3cecfd] ImageShow v0.3.8 [02fcd773] ImageTransformations v0.10.2 [916415d5] Images v0.26.2 [313cdc1a] Indexing v1.1.1 [9b13fd28] IndirectArrays v1.0.0 [d25df0c9] Inflate v0.1.5 [22cec73e] InitialValues v0.3.1 [842dd82b] InlineStrings v1.4.3 [1d092043] IntegralArrays v0.1.6 [85a1e053] Interfaces v0.3.2 [7d512f48] InternedStrings v0.7.0 [a98d9a8b] Interpolations v0.16.1 [8197267c] IntervalSets v0.7.11 [3587e190] InverseFunctions v0.1.17 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.4 [c8e1da08] IterTools v1.10.0 [b3c1a2ee] IterationControl v0.5.4 [82899510] IteratorInterfaceExtensions v1.0.0 [033835bb] JLD2 v0.5.13 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [b835a17e] JpegTurbo v0.1.6 [aa1ae85d] JuliaInterpreter v0.10.3 [b14d175d] JuliaVariables v0.2.4 [63c18a36] KernelAbstractions v0.9.34 [b964fa9f] LaTeXStrings v1.4.0 [a5e1c1ea] LatinHypercubeSampling v1.9.0 [10f19ff3] LayoutPointers v0.1.17 [50d2b5c4] Lazy v0.15.1 [8cdb02fc] LazyModules v0.3.1 [2ab3a3ac] LogExpFunctions v0.3.29 [e6f89c97] LoggingExtras v1.1.0 [bdcacae8] LoopVectorization v0.12.172 ⌅ [30fc2ffe] LossFunctions v0.11.2 [6f1432cf] LoweredCodeUtils v3.3.0 [23992714] MAT v0.10.7 [c2834f40] MLCore v1.0.0 [eb30cadb] MLDatasets v0.7.18 ⌅ [64a0f543] MLFlowClient v0.4.7 ⌅ [add582a8] MLJ v0.19.5 ⌅ [a7f614a8] MLJBase v0.21.14 ⌅ [50ed68f4] MLJEnsembles v0.3.3 ⌅ [7b7b8358] MLJFlow v0.1.1 ⌅ [614be32b] MLJIteration v0.5.1 [e80e1ace] MLJModelInterface v1.11.1 ⌅ [d491faf4] MLJModels v0.16.17 ⌅ [03970b2e] MLJTuning v0.7.4 [d8e11817] MLStyle v0.4.17 [f1d291b0] MLUtils v0.4.8 [3da0fdf6] MPIPreferences v0.1.11 [1914dd2f] MacroTools v0.5.16 [d125e4d3] ManualMemory v0.1.8 [dbb5928d] MappedArrays v0.4.2 [739be429] MbedTLS v1.1.9 [6fafb56a] Memoization v0.2.2 [626554b9] MetaGraphs v0.8.0 [128add7d] MicroCollections v0.2.0 [e1d29d7a] Missings v1.2.0 [78c3b35d] Mocking v0.8.1 [e54bda2e] ModalDecisionTrees v0.5.1 [e94cdb99] MosaicViews v0.3.4 ⌃ [8cc5100c] MultiData v0.1.2 [872c559c] NNlib v0.9.30 [15e1cf62] NPZ v0.4.3 [77ba4419] NaNMath v1.1.3 [71a1bf82] NameResolution v0.1.5 [b8a86587] NearestNeighbors v0.4.21 [f09324ee] Netpbm v1.1.1 [6fe1bfb0] OffsetArrays v1.17.0 [52e1d378] OpenEXR v0.3.3 [8b6db2d4] OpenML v0.3.2 [4d8831e6] OpenSSL v1.5.0 [bac558e1] OrderedCollections v1.8.1 [90014a1f] PDMats v0.11.35 [f57f5aa1] PNGFiles v0.4.4 [65ce6f38] PackageExtensionCompat v1.0.2 [5432bcbf] PaddedViews v0.5.12 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.3 [7b2266bf] PeriodicTable v1.2.1 [fbb45041] Pickle v0.3.5 [eebad327] PkgVersion v0.3.3 ⌃ [7f904dfe] PlutoUI v0.7.23 [1d0040c9] PolyesterWeave v0.2.2 [f27b6e38] Polynomials v4.0.19 [2dfb63ee] PooledArrays v1.4.3 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [8162dcfd] PrettyPrint v0.2.0 [54e16d92] PrettyPrinting v0.4.2 [08abe8d2] PrettyTables v2.4.0 [33c8b6b6] ProgressLogging v0.1.4 [92933f4c] ProgressMeter v1.10.4 [43287f4e] PtrArrays v1.3.0 [4b34888f] QOI v1.0.1 [1fd47b50] QuadGK v2.11.2 [94ee1d12] Quaternions v0.7.6 ⌅ [df47a6cb] RData v0.8.3 [ce6b1742] RDatasets v0.7.7 [b3c3ace0] RangeArrays v0.3.2 [c84ed2f1] Ratios v0.4.5 [c1ae055f] RealDot v0.1.0 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [42d2dcc6] Referenceables v0.1.3 [dee08c22] RegionTrees v0.3.2 [05181044] RelocatableFolders v1.0.1 [ae029012] Requires v1.3.1 ⌅ [c5292f4c] ResumableFunctions v0.6.10 [295af30f] Revise v3.8.0 [79098fc4] Rmath v0.8.0 [6038ab10] Rotations v1.7.1 [fdea26ae] SIMD v3.7.1 [94e857df] SIMDTypes v0.1.0 [476501e8] SLEEFPirates v0.6.43 [321657f4] ScientificTypes v3.1.0 [30f210dd] ScientificTypesBase v3.0.0 [7e506255] ScopedValues v1.3.0 [6c6a2e73] Scratch v1.2.1 [91c51154] SentinelArrays v1.4.8 [efcf1570] Setfield v1.1.2 [605ecd9f] ShowCases v0.1.0 [777ac1f9] SimpleBufferStream v1.2.0 [699a6c99] SimpleTraits v0.9.4 [47aef6b3] SimpleWeightedGraphs v1.5.0 [45858cf5] Sixel v0.1.3 ⌃ [7b3b3b3f] Sole v0.6.1 ⌅ [4475fa32] SoleBase v0.12.4 ⌅ [123f1ae1] SoleData v0.15.3 ⌅ [b002da8f] SoleLogics v0.10.4 ⌅ [4249d9c7] SoleModels v0.8.3 [a2af1166] SortingAlgorithms v1.2.1 [276daf66] SpecialFunctions v2.5.1 [171d559e] SplittablesBase v0.1.15 [860ef19b] StableRNGs v1.0.3 [cae243ae] StackViews v0.1.2 [aedffcd0] Static v1.2.0 [0d7ed370] StaticArrayInterface v1.8.0 [90137ffa] StaticArrays v1.9.13 [1e83bf80] StaticArraysCore v1.4.3 [64bff920] StatisticalTraits v3.4.0 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.5 [4c63d2b9] StatsFuns v1.5.0 ⌅ [4db3bf67] StridedViews v0.2.2 [69024149] StringEncodings v0.3.7 [892a3eda] StringManipulation v0.4.1 [856f2bd8] StructTypes v1.11.0 [fd094767] Suppressor v0.2.8 [dc5dba14] TZJData v1.5.0+2025b [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.0 [62fd8b95] TensorCore v0.1.1 [4239201d] ThreadSafeDicts v0.1.6 [8290d209] ThreadingUtilities v0.5.4 [ac1d9e8a] ThreadsX v0.1.12 [731e570b] TiffImages v0.11.3 [06e1c1a7] TiledIteration v0.5.0 [f269a46b] TimeZones v1.21.3 ⌅ [f3112013] TimeseriesFeatures v0.4.4 [3bb67fe8] TranscodingStreams v0.11.3 [28d57a85] Transducers v0.4.84 [410a4b4d] Tricks v0.1.10 [5c2747f8] URIs v1.5.2 [3a884ed6] UnPack v1.0.2 [2fbcfb34] UniqueVectors v1.2.0 [1986cc42] Unitful v1.22.1 [a7773ee8] UnitfulAtomic v1.0.0 [013be700] UnsafeAtomics v0.3.0 [3d5dd08c] VectorizationBase v0.21.71 [ea10d353] WeakRefStrings v1.4.2 [e3aaa7dc] WebP v0.1.3 [efce3f68] WoodburyMatrices v1.0.0 [76eceee3] WorkerUtilities v1.6.1 [a5390f91] ZipFile v0.10.1 [78a364fa] Chemfiles_jll v0.10.4+0 [f5851436] FFTW_jll v3.3.11+0 [61579ee1] Ghostscript_jll v9.55.0+4 [59f7168a] Giflib_jll v5.2.3+0 [0234f1f7] HDF5_jll v1.14.6+0 [e33a78d0] Hwloc_jll v2.12.1+0 [c73af94c] ImageMagick_jll v7.1.1+1 [905a6f67] Imath_jll v3.1.11+0 [1d5cc7b8] IntelOpenMP_jll v2025.0.4+0 [aacddb02] JpegTurbo_jll v3.1.1+0 ⌅ [88015f11] LERC_jll v3.0.0+1 [7e76a0d4] Libglvnd_jll v1.7.1+1 [94ce4f54] Libiconv_jll v1.18.0+0 ⌅ [89763e89] Libtiff_jll v4.4.0+0 ⌃ [d3a379c0] LittleCMS_jll v2.12.0+0 [856f044c] MKL_jll v2025.0.1+1 [7cb0a576] MPICH_jll v4.3.0+1 [f1f71cc9] MPItrampoline_jll v5.5.3+0 [9237b28f] MicrosoftMPI_jll v10.1.4+3 [18a262bb] OpenEXR_jll v3.2.4+0 ⌃ [643b3616] OpenJpeg_jll v2.4.0+0 [fe0851c0] OpenMPI_jll v5.0.7+2 [458c3c95] OpenSSL_jll v3.5.0+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f50d1b31] Rmath_jll v0.5.1+0 [4f6342f7] Xorg_libX11_jll v1.8.12+0 [0c0b7dd1] Xorg_libXau_jll v1.0.13+0 [a3789734] Xorg_libXdmcp_jll v1.1.6+0 [1082639a] Xorg_libXext_jll v1.3.7+0 [c7cfdc94] Xorg_libxcb_jll v1.17.1+0 [c5fb5394] Xorg_xtrans_jll v1.6.0+0 [3161d3a3] Zstd_jll v1.5.7+1 ⌅ [8a07c0c5] catch22_jll v0.4.0+0 [477f73a3] libaec_jll v1.1.3+0 [b53b4c65] libpng_jll v1.6.48+0 [075b6546] libsixel_jll v1.10.5+0 ⌃ [c5f90fcd] libwebp_jll v1.4.0+0 [1317d2d5] oneTBB_jll v2022.0.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.6.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.11.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.11.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.1.1+0 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.7.2+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [4536629a] OpenBLAS_jll v0.3.27+1 [05823500] OpenLibm_jll v0.8.5+0 [bea87d4a] SuiteSparse_jll v7.7.0+0 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.59.0+0 [3f19e933] p7zip_jll v17.4.0+2 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... WARNING: Method definition _dummy_backedge() in module Memoization at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:49 overwritten at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:65. Precompiling MLJ... 680.2 ms ✓ EarlyStopping 843.2 ms ✓ LossFunctions 466.7 ms ✓ RelocatableFolders 1263.5 ms ✓ LatinHypercubeSampling 1904.0 ms ✓ MLFlowClient 1546.5 ms ✓ IterationControl 588.7 ms ✓ LossFunctions → LossFunctionsCategoricalArraysExt 11662.1 ms ✓ MLJModels 12190.1 ms ✓ MLJBase 4504.7 ms ✓ MLJEnsembles 4912.7 ms ✓ MLJTuning 4484.4 ms ✓ MLJFlow 5079.2 ms ✓ MLJIteration 7111.0 ms ✓ MLJ 14 dependencies successfully precompiled in 67 seconds. 125 already precompiled. Julia version: 1.11.5 ################################################## TEST: base.jl ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict("Class_1" => 1, "Class_2" => 1), argmax: Class_1, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict("Class_1" => 1, "Class_2" => 1), argmax: Class_1, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict(2 => 1, 1 => 1), argmax: 2, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ================================================== ################################################## TEST: classification/japanesevowels.jl [ Info: Downloading dataset 375. ┌ Warning: Base.download is deprecated; use Downloads.download instead │ caller = load(id::Int64; maxbytes::Nothing) at data.jl:73 └ @ OpenML ~/.julia/packages/OpenML/cONhN/src/data.jl:73 ┌ Warning: Conversion to OrderedDict is deprecated for unordered associative containers (in this case, Dict{Any, Any}). Use an ordered or sorted associative type, such as SortedDict and OrderedDict. │ caller = DictColumnTable at dicts.jl:3 [inlined] └ @ Core ~/.julia/packages/Tables/8p03y/src/dicts.jl:3 ┌ Warning: Conversion to OrderedDict is deprecated for unordered associative containers (in this case, Dict{Symbol, AbstractVector}). Use an ordered or sorted associative type, such as SortedDict and OrderedDict. │ caller = DictColumnTable at dicts.jl:3 [inlined] └ @ Core ~/.julia/packages/Tables/8p03y/src/dicts.jl:3 [ Info: Precomputing logiset... Classification, modal: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: MethodError: no method matching varnames(::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) The function `varnames` exists, but no method is defined for this combination of argument types. Stacktrace: [1] (::SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64})(cond::Tuple{Vector{Function}, typeof(minimum)}) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560 [2] iterate @ ./generator.jl:48 [inlined] [3] _collect(c::Vector{Tuple{Vector{Function}, Function}}, itr::Base.Generator{Vector{Tuple{Vector{Function}, Function}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:811 [4] collect_similar(cont::Vector{Tuple{Vector{Function}, Function}}, itr::Base.Generator{Vector{Tuple{Vector{Function}, Function}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}) @ Base ./array.jl:720 [5] map(f::Function, A::Vector{Tuple{Vector{Function}, Function}}) @ Base ./abstractarray.jl:3371 [6] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{Function}, featvaltype::Type{Float64}; force_i_variables::Bool) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560 [7] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{Function}, featvaltype::Type{Float64}) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:456 [8] readconditions(model::ModalDecisionTree, dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/default-parameters.jl:148 [9] #30 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:137 [inlined] [10] (::ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree})(mod::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) @ ModalDecisionTrees.MLJInterface ./none:0 [11] iterate @ ./generator.jl:48 [inlined] [12] collect(itr::Base.Generator{Base.Generator{Vector{Vector{Int64}}, MultiData.var"#82#83"{DataFrame}}, ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree}}) @ Base ./array.jl:791 [13] wrapdataset(X::@NamedTuple{1::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 2::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 3::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 4::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 5::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 6::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 7::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 8::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 9::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 10::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 11::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 12::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}}, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:136 [14] wrapdataset (repeats 2 times) @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] [15] #reformat#63 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [16] reformat @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined] [17] reformat(m::ModalDecisionTree, X::@NamedTuple{1::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 2::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 3::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 4::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 5::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 6::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 7::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 8::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 9::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 10::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 11::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}, 12::ColumnSlices{SubArray{Float64, 2, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Base.Slice{Base.OneTo{Int64}}}, false}, Tuple{Base.OneTo{Int64}}, SubArray{Float64, 1, Array{Float64, 3}, Tuple{Base.Slice{Base.OneTo{Int64}}, Int64, Int64}, true}}}, y::CategoricalVector{String, UInt32, String, CategoricalValue{String, UInt32}, Union{}}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [18] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [19] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [20] #fit!#63 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [21] macro expansion @ ./timing.jl:581 [inlined] [22] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/japanesevowels.jl:315 [23] include @ ./sysimg.jl:38 [inlined] [24] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [25] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [27] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [29] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [30] include(fname::String) @ Main ./sysimg.jl:38 [31] top-level scope @ none:6 [32] eval @ ./boot.jl:430 [inlined] [33] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [34] _start() @ Base ./client.jl:531 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/japanesevowels.jl:35 ################################################## TEST: classification/iris.jl [ Info: Precomputing logiset... Classification: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: MethodError: no method matching varnames(::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) The function `varnames` exists, but no method is defined for this combination of argument types. Stacktrace: [1] (::SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64})(cond::Tuple{Vector{typeof(>=)}, typeof(identity)}) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560 [2] iterate @ ./generator.jl:48 [inlined] [3] _collect(c::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:811 [4] collect_similar(cont::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}) @ Base ./array.jl:720 [5] map(f::Function, A::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}) @ Base ./abstractarray.jl:3371 [6] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}; force_i_variables::Bool) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560 [7] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:456 [8] readconditions(model::ModalDecisionTree, dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/default-parameters.jl:148 [9] #30 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:137 [inlined] [10] (::ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree})(mod::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) @ ModalDecisionTrees.MLJInterface ./none:0 [11] iterate @ ./generator.jl:48 [inlined] [12] collect(itr::Base.Generator{Base.Generator{Vector{Vector{Int64}}, MultiData.var"#82#83"{DataFrame}}, ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree}}) @ Base ./array.jl:791 [13] wrapdataset(X::@NamedTuple{sepal_length::Vector{Float64}, sepal_width::Vector{Float64}, petal_length::Vector{Float64}, petal_width::Vector{Float64}}, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:136 [14] wrapdataset (repeats 2 times) @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] [15] #reformat#63 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [16] reformat(m::ModalDecisionTree, X::@NamedTuple{sepal_length::Vector{Float64}, sepal_width::Vector{Float64}, petal_length::Vector{Float64}, petal_width::Vector{Float64}}, y::CategoricalVector{String, UInt32, String, CategoricalValue{String, UInt32}, Union{}}, w::Vector{Float64}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [17] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Nothing, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [18] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [19] #fit!#63 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [20] fit! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:775 [inlined] [21] |>(x::Machine{ModalDecisionTree, true}, f::typeof(fit!)) @ Base ./operators.jl:926 [22] top-level scope @ ./timing.jl:581 [23] include @ ./sysimg.jl:38 [inlined] [24] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [25] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [27] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [29] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [30] include(fname::String) @ Main ./sysimg.jl:38 [31] top-level scope @ none:6 [32] eval @ ./boot.jl:430 [inlined] [33] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [34] _start() @ Base ./client.jl:531 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/classification/iris.jl:15 ################################################## TEST: regression/simple.jl [ Info: Precomputing logiset... Regression: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: MethodError: no method matching varnames(::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) The function `varnames` exists, but no method is defined for this combination of argument types. Stacktrace: [1] (::SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64})(cond::Tuple{Vector{typeof(>=)}, typeof(identity)}) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560 [2] iterate @ ./generator.jl:48 [inlined] [3] _collect(c::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:811 [4] collect_similar(cont::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}) @ Base ./array.jl:720 [5] map(f::Function, A::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}) @ Base ./abstractarray.jl:3371 [6] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}; force_i_variables::Bool) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560 [7] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:456 [8] readconditions(model::ModalDecisionTree, dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/default-parameters.jl:148 [9] #30 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:137 [inlined] [10] (::ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree})(mod::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) @ ModalDecisionTrees.MLJInterface ./none:0 [11] iterate @ ./generator.jl:48 [inlined] [12] collect(itr::Base.Generator{Base.Generator{Vector{Vector{Int64}}, MultiData.var"#82#83"{DataFrame}}, ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree}}) @ Base ./array.jl:791 [13] wrapdataset(X::Tables.MatrixTable{Matrix{Float64}}, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:136 [14] wrapdataset (repeats 2 times) @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] [15] #reformat#63 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [16] reformat @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined] [17] reformat(m::ModalDecisionTree, X::Tables.MatrixTable{Matrix{Float64}}, y::Vector{Float64}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [18] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::UnitRange{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [19] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [20] #fit!#63 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [21] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/regression/simple.jl:14 [22] include @ ./sysimg.jl:38 [inlined] [23] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [24] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [25] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [26] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [28] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [29] include(fname::String) @ Main ./sysimg.jl:38 [30] top-level scope @ none:6 [31] eval @ ./boot.jl:430 [inlined] [32] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [33] _start() @ Base ./client.jl:531 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/regression/simple.jl:14 ################################################## TEST: multimodal-datasets-multiformulas-construction.jl ┌ Warning: The number and/or types of data arguments do not match what the specified model │ supports. Suppress this type check by specifying `scitype_check_level=0`. │ │ Run `@doc ModalDecisionTrees.ModalDecisionTree` to learn more about your model's requirements. │ │ Commonly, but non exclusively, supervised models are constructed using the syntax │ `machine(model, X, y)` or `machine(model, X, y, w)` while most other models are │ constructed with `machine(model, X)`. Here `X` are features, `y` a target, and `w` │ sample or class weights. │ │ In general, data in `machine(model, data...)` is expected to satisfy │ │ scitype(data) <: MLJ.fit_data_scitype(model) │ │ In the present case: │ │ scitype(data) = Tuple{Table{Union{AbstractVector{Continuous}, AbstractVector{Union{Missing, Continuous}}, AbstractVector{Count}, AbstractVector{Union{Missing, Unknown}}}}, AbstractVector{Count}} │ │ fit_data_scitype(model) = Union{Tuple{Table{<:Union{AbstractVector{<:Continuous}, AbstractVector{<:AbstractArray{<:Continuous, 0}}, AbstractVector{<:AbstractVector{<:Continuous}}, AbstractVector{<:AbstractMatrix{<:Continuous}}, AbstractVector{<:Count}, AbstractVector{<:AbstractArray{<:Count, 0}}, AbstractVector{<:AbstractVector{<:Count}}, AbstractVector{<:AbstractMatrix{<:Count}}, AbstractVector{<:OrderedFactor}, AbstractVector{<:AbstractArray{<:OrderedFactor, 0}}, AbstractVector{<:AbstractVector{<:OrderedFactor}}, AbstractVector{<:AbstractMatrix{<:OrderedFactor}}}}, Union{AbstractVector{<:Continuous}, AbstractVector{<:Count}, AbstractVector{<:Finite}, AbstractVector{<:Textual}}}, Tuple{Table{<:Union{AbstractVector{<:Continuous}, AbstractVector{<:AbstractArray{<:Continuous, 0}}, AbstractVector{<:AbstractVector{<:Continuous}}, AbstractVector{<:AbstractMatrix{<:Continuous}}, AbstractVector{<:Count}, AbstractVector{<:AbstractArray{<:Count, 0}}, AbstractVector{<:AbstractVector{<:Count}}, AbstractVector{<:AbstractMatrix{<:Count}}, AbstractVector{<:OrderedFactor}, AbstractVector{<:AbstractArray{<:OrderedFactor, 0}}, AbstractVector{<:AbstractVector{<:OrderedFactor}}, AbstractVector{<:AbstractMatrix{<:OrderedFactor}}}}, Union{AbstractVector{<:Continuous}, AbstractVector{<:Count}, AbstractVector{<:Finite}, AbstractVector{<:Textual}}, AbstractVector{<:Union{Continuous, Count}}}} └ @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:230 [ Info: Precomputing logiset... Miscellaneous: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:68 Got exception outside of a @test LoadError: MethodError: no method matching varnames(::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) The function `varnames` exists, but no method is defined for this combination of argument types. Stacktrace: [1] (::SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64})(cond::Tuple{Vector{typeof(>=)}, typeof(identity)}) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560 [2] iterate @ ./generator.jl:48 [inlined] [3] _collect(c::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:811 [4] collect_similar(cont::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, itr::Base.Generator{Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}, SoleData.var"#304#314"{Bool, SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, Int64}}) @ Base ./array.jl:720 [5] map(f::Function, A::Vector{Tuple{Vector{typeof(>=)}, typeof(identity)}}) @ Base ./abstractarray.jl:3371 [6] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}; force_i_variables::Bool) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:560 [7] naturalconditions(dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}, mixed_conditions::Vector{typeof(identity)}, featvaltype::Type{Float64}) @ SoleData ~/.julia/packages/SoleData/7EXs2/src/scalar/dataset-bindings.jl:456 [8] readconditions(model::ModalDecisionTree, dataset::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/default-parameters.jl:148 [9] #30 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:137 [inlined] [10] (::ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree})(mod::SubDataFrame{DataFrame, DataFrames.SubIndex{DataFrames.Index, Vector{Int64}, Vector{Int64}}, Base.OneTo{Int64}}) @ ModalDecisionTrees.MLJInterface ./none:0 [11] iterate @ ./generator.jl:48 [inlined] [12] collect(itr::Base.Generator{Base.Generator{Vector{Vector{Int64}}, MultiData.var"#82#83"{DataFrame}}, ModalDecisionTrees.MLJInterface.var"#30#34"{ModalDecisionTree}}) @ Base ./array.jl:791 [13] wrapdataset(X::DataFrame, model::ModalDecisionTree, force_var_grouping::Nothing; passive_mode::Bool) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:136 [14] wrapdataset (repeats 2 times) @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ/wrapdataset.jl:18 [inlined] [15] #reformat#63 @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:176 [inlined] [16] reformat @ ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [inlined] [17] reformat(m::ModalDecisionTree, X::DataFrame, y::Vector{Bool}) @ ModalDecisionTrees.MLJInterface ~/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/MLJ.jl:175 [18] fit_only!(mach::Machine{ModalDecisionTree, true}; rows::Vector{Int64}, verbosity::Int64, force::Bool, composite::Nothing) @ MLJBase ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:658 [19] fit_only! @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:606 [inlined] [20] #fit!#63 @ ~/.julia/packages/MLJBase/ByFwA/src/machines.jl:778 [inlined] [21] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/multimodal-datasets-multiformulas-construction.jl:44 [22] include @ ./sysimg.jl:38 [inlined] [23] run_tests(list::Vector{String}) @ Main ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 [24] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [25] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [26] macro expansion @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [28] top-level scope @ ~/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 [29] include(fname::String) @ Main ./sysimg.jl:38 [30] top-level scope @ none:6 [31] eval @ ./boot.jl:430 [inlined] [32] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [33] _start() @ Base ./client.jl:531 in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/multimodal-datasets-multiformulas-construction.jl:44 ################################################## TEST: other/parse-and-translate-restricted.jl {1}(⟨G⟩min[V4] ≥ 0.04200671690893693) {1}⟨G⟩min[V22] ≥ 470729.9023515756 ∧ [G]min[V4] < 0.04200671690893693 {1}[G]min[V4] < 0.04200671690893693 ∧ [G]min[V22] < 470729.9023515756 ({1}(⟨G⟩min[V4] ≥ 0.04200671690893693)) ({1}(¬⟨G⟩min[V4] ≥ 0.04200671690893693)) ∧ ({1}(⟨G⟩min[V22] ≥ 470729.9023515756)) ({1}(¬⟨G⟩min[V4] ≥ 0.04200671690893693)) ∧ ({1}(¬⟨G⟩min[V22] ≥ 470729.9023515756)) {1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩(max[V11] ≤ 0.0038141608453366675 ∧ ⟨A̅⟩max[V29] ≤ 178.31522392540964))) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅](max[V11] ≤ 0.0038141608453366675 → [A̅]max[V29] > 178.31522392540964)) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩(min[V26] ≥ 217902.31767535824 ∧ max[V6] ≤ 0.011319891844101688)) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [B](min[V26] ≥ 217902.31767535824 → max[V6] > 0.011319891844101688)) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L⟩min[V6] ≥ 1.2154505217391558) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [B]min[V26] < 217902.31767535824) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨A̅⟩max[V16] ≤ 81.4665167044706) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [B]min[V26] < 217902.31767535824) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L]min[V6] < 1.2154505217391558) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L̅]max[V11] > 0.0038141608453366675) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [B]min[V26] < 217902.31767535824) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [L]min[V6] < 1.2154505217391558) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] ≥ 4222.6591159789605 → [A̅]max[V16] > 81.4665167044706) {1}⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ ⟨A̅⟩min[V24] ≥ 10.975911723366615) ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] < 4222.6591159789605) {1}⟨G⟩max[V28] ≤ 7.245112655929639 ∧ [G](max[V28] ≤ 7.245112655929639 → min[V20] < 4222.6591159789605) ∧ [G](max[V28] ≤ 7.245112655929639 → [A̅]min[V24] < 10.975911723366615) {1}⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ ⟨L̅⟩min[V27] ≥ 87446.39318797569) ∧ [G]max[V28] > 7.245112655929639 {1}⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ max[V2] ≤ 42.36525041432014) ∧ [G]max[V28] > 7.245112655929639 ∧ [G](min[V8] ≥ 494.33421895459713 → [L̅]min[V27] < 87446.39318797569) {1}⟨G⟩min[V8] ≥ 494.33421895459713 ∧ [G]max[V28] > 7.245112655929639 ∧ [G](min[V8] ≥ 494.33421895459713 → [L̅]min[V27] < 87446.39318797569) ∧ [G](min[V8] ≥ 494.33421895459713 → max[V2] > 42.36525041432014) {1}⟨G⟩min[V13] ≥ 31.231588457748384 ∧ [G]max[V28] > 7.245112655929639 ∧ [G]min[V8] < 494.33421895459713 {1}[G]max[V28] > 7.245112655929639 ∧ [G]min[V8] < 494.33421895459713 ∧ [G]min[V13] < 31.231588457748384 ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩(max[V11] ≤ 0.0038141608453366675 ∧ ⟨A̅⟩max[V29] ≤ 178.31522392540964)))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩(max[V11] ≤ 0.0038141608453366675 ∧ ⟨A̅⟩max[V29] ≤ 178.31522392540964)))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩(min[V26] ≥ 217902.31767535824 ∧ max[V6] ≤ 0.011319891844101688)))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩(min[V26] ≥ 217902.31767535824 ∧ max[V6] ≤ 0.011319891844101688)))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L⟩min[V6] ≥ 1.2154505217391558))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L⟩min[V6] ≥ 1.2154505217391558))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨A̅⟩max[V16] ≤ 81.4665167044706))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L̅⟩max[V11] ≤ 0.0038141608453366675))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨B⟩min[V26] ≥ 217902.31767535824))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨L⟩min[V6] ≥ 1.2154505217391558))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605 ∧ ⟨A̅⟩max[V16] ≤ 81.4665167044706))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ ⟨A̅⟩min[V24] ≥ 10.975911723366615))) ({1}(⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ min[V20] ≥ 4222.6591159789605))) ∧ ({1}(¬⟨G⟩(max[V28] ≤ 7.245112655929639 ∧ ⟨A̅⟩min[V24] ≥ 10.975911723366615))) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ ⟨L̅⟩min[V27] ≥ 87446.39318797569))) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ ⟨L̅⟩min[V27] ≥ 87446.39318797569))) ∧ ({1}(⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ max[V2] ≤ 42.36525041432014))) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ ⟨L̅⟩min[V27] ≥ 87446.39318797569))) ∧ ({1}(¬⟨G⟩(min[V8] ≥ 494.33421895459713 ∧ max[V2] ≤ 42.36525041432014))) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(⟨G⟩min[V13] ≥ 31.231588457748384)) ({1}(¬⟨G⟩max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬⟨G⟩min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬⟨G⟩min[V13] ≥ 31.231588457748384)) {1}(max[V29] ≤ 178.31522392540964) {1}max[V11] ≤ 0.0038141608453366675 ∧ max[V29] > 178.31522392540964 {1}max[V6] ≤ 0.011319891844101688 ∧ max[V11] > 0.0038141608453366675 {1}min[V26] ≥ 217902.31767535824 ∧ max[V11] > 0.0038141608453366675 ∧ max[V6] > 0.011319891844101688 {1}min[V6] ≥ 1.2154505217391558 ∧ max[V11] > 0.0038141608453366675 ∧ min[V26] < 217902.31767535824 {1}max[V16] ≤ 81.4665167044706 ∧ max[V11] > 0.0038141608453366675 ∧ min[V26] < 217902.31767535824 ∧ min[V6] < 1.2154505217391558 {1}min[V20] ≥ 4222.6591159789605 ∧ max[V11] > 0.0038141608453366675 ∧ min[V26] < 217902.31767535824 ∧ min[V6] < 1.2154505217391558 ∧ max[V16] > 81.4665167044706 {1}min[V24] ≥ 10.975911723366615 ∧ min[V20] < 4222.6591159789605 {1}max[V28] ≤ 7.245112655929639 ∧ min[V20] < 4222.6591159789605 ∧ min[V24] < 10.975911723366615 {1}min[V27] ≥ 87446.39318797569 ∧ max[V28] > 7.245112655929639 {1}max[V2] ≤ 42.36525041432014 ∧ max[V28] > 7.245112655929639 ∧ min[V27] < 87446.39318797569 {1}min[V8] ≥ 494.33421895459713 ∧ max[V28] > 7.245112655929639 ∧ min[V27] < 87446.39318797569 ∧ max[V2] > 42.36525041432014 {1}min[V13] ≥ 31.231588457748384 ∧ max[V28] > 7.245112655929639 ∧ min[V8] < 494.33421895459713 {1}max[V28] > 7.245112655929639 ∧ min[V8] < 494.33421895459713 ∧ min[V13] < 31.231588457748384 ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(max[V29] ≤ 178.31522392540964)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(¬max[V29] ≤ 178.31522392540964)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(min[V26] ≥ 217902.31767535824)) ∧ ({1}(max[V6] ≤ 0.011319891844101688)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(min[V26] ≥ 217902.31767535824)) ∧ ({1}(¬max[V6] ≤ 0.011319891844101688)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(¬min[V26] ≥ 217902.31767535824)) ∧ ({1}(min[V6] ≥ 1.2154505217391558)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(¬min[V26] ≥ 217902.31767535824)) ∧ ({1}(¬min[V6] ≥ 1.2154505217391558)) ∧ ({1}(max[V16] ≤ 81.4665167044706)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬max[V11] ≤ 0.0038141608453366675)) ∧ ({1}(¬min[V26] ≥ 217902.31767535824)) ∧ ({1}(¬min[V6] ≥ 1.2154505217391558)) ∧ ({1}(¬max[V16] ≤ 81.4665167044706)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬min[V20] ≥ 4222.6591159789605)) ∧ ({1}(min[V24] ≥ 10.975911723366615)) ({1}(max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬min[V20] ≥ 4222.6591159789605)) ∧ ({1}(¬min[V24] ≥ 10.975911723366615)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V8] ≥ 494.33421895459713)) ∧ ({1}(min[V27] ≥ 87446.39318797569)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬min[V27] ≥ 87446.39318797569)) ∧ ({1}(max[V2] ≤ 42.36525041432014)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬min[V27] ≥ 87446.39318797569)) ∧ ({1}(¬max[V2] ≤ 42.36525041432014)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬min[V8] ≥ 494.33421895459713)) ∧ ({1}(min[V13] ≥ 31.231588457748384)) ({1}(¬max[V28] ≤ 7.245112655929639)) ∧ ({1}(¬min[V8] ≥ 494.33421895459713)) ∧ ({1}(¬min[V13] ≥ 31.231588457748384)) Other: Error During Test at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/other/parse-and-translate-restricted.jl:132 Expression evaluated to non-Boolean Expression: tree10 = parse_tree(tree_str10; worldtypes = [SoleData.Interval], initconditions = [ModalDecisionTrees.start_without_world]) Value: Decision Tree{String}( worldtypes: Type{<:AbstractWorld}[SoleLogics.Interval] initconditions: ModalDecisionTrees.InitialCondition[ModalDecisionTrees.StartWithoutWorld()] ########################################################### sub-tree leaves: 14 sub-tree nodes: 27 sub-tree height: 6 sub-tree modal height: 5 ########################################################### tree: {1} RestrictedDecision(⟨G⟩max[V28] ≤ 7.25) YES : 78/141 (conf = 0.5532) ✔ {1} RestrictedDecision(⟨=⟩min[V20] ≥ 4222.66) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 55/88 (conf = 0.6250) │✔ {1} RestrictedDecision(⟨L̅⟩max[V11] ≤ 0) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 34/66 (conf = 0.5152) ││✔ {1} RestrictedDecision(⟨A̅⟩max[V29] ≤ 178.32) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 19/22 (conf = 0.8636) │││✔ YES : 3/3 (conf = 1.0000) │││✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 19/19 (conf = 1.0000) ││✘ {1} RestrictedDecision(⟨B⟩min[V26] ≥ 217902.32) YES : 29/44 (conf = 0.6591) ││ ✔ {1} RestrictedDecision(⟨=⟩max[V6] ≤ 0.01) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 12/14 (conf = 0.8571) ││ │✔ YES : 2/2 (conf = 1.0000) ││ │✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 12/12 (conf = 1.0000) ││ ✘ {1} RestrictedDecision(⟨L⟩min[V6] ≥ 1.22) YES : 27/30 (conf = 0.9000) ││ ✔ YES : 24/24 (conf = 1.0000) ││ ✘ {1} RestrictedDecision(⟨A̅⟩max[V16] ≤ 81.47) YES : 3/6 (conf = 0.5000) ││ ✔ YES : 3/3 (conf = 1.0000) ││ ✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 3/3 (conf = 1.0000) │✘ {1} RestrictedDecision(⟨A̅⟩min[V24] ≥ 10.98) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 21/22 (conf = 0.9545) │ ✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 21/21 (conf = 1.0000) │ ✘ YES : 1/1 (conf = 1.0000) ✘ {1} RestrictedDecision(⟨G⟩min[V8] ≥ 494.33) YES : 45/53 (conf = 0.8491) ✔ {1} RestrictedDecision(⟨L̅⟩min[V27] ≥ 87446.39) NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 7/13 (conf = 0.5385) │✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 6/6 (conf = 1.0000) │✘ {1} RestrictedDecision(⟨=⟩max[V2] ≤ 42.37) YES : 6/7 (conf = 0.8571) │ ✔ YES : 6/6 (conf = 1.0000) │ ✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 1/1 (conf = 1.0000) ✘ {1} RestrictedDecision(⟨G⟩min[V13] ≥ 31.23) YES : 39/40 (conf = 0.9750) ✔ YES : 39/39 (conf = 1.0000) ✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY : 1/1 (conf = 1.0000) ) ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile ====================================================================================== cmd: /opt/julia/bin/julia 2340 running 1 of 1 signal (10): User defined signal 1 gc_sweep_page at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:1505 gc_sweep_pool_page at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:1574 [inlined] gc_sweep_pool_parallel at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:1707 gc_sweep_pool at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:1807 [inlined] _jl_gc_collect at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:3645 ijl_gc_collect at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:3893 maybe_collect at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:926 [inlined] jl_gc_pool_alloc_inner at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:1319 ijl_gc_pool_alloc_instrumented at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gc.c:1377 setindex! at ./essentials.jl:923 [inlined] type_annotate! at ./compiler/typeinfer.jl:746 finish at ./compiler/typeinfer.jl:620 jfptr_finish_36346.1 at /opt/julia/lib/julia/sys.so (unknown line) finish_nocycle at ./compiler/typeinfer.jl:262 _typeinf at ./compiler/typeinfer.jl:249 typeinf at ./compiler/typeinfer.jl:215 const_prop_call at ./compiler/abstractinterpretation.jl:1278 abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:853 abstract_call_method_with_const_args at ./compiler/abstractinterpretation.jl:823 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:111 abstract_call_known at ./compiler/abstractinterpretation.jl:2200 abstract_call at ./compiler/abstractinterpretation.jl:2282 abstract_apply at ./compiler/abstractinterpretation.jl:1690 abstract_call_known at ./compiler/abstractinterpretation.jl:2102 abstract_call at ./compiler/abstractinterpretation.jl:2282 abstract_call at ./compiler/abstractinterpretation.jl:2275 abstract_call at ./compiler/abstractinterpretation.jl:2423 abstract_eval_call at ./compiler/abstractinterpretation.jl:2438 abstract_eval_statement_expr at ./compiler/abstractinterpretation.jl:2454 abstract_eval_statement at ./compiler/abstractinterpretation.jl:2752 abstract_eval_basic_statement at ./compiler/abstractinterpretation.jl:3068 typeinf_local at ./compiler/abstractinterpretation.jl:3331 typeinf_nocycle at ./compiler/abstractinterpretation.jl:3413 _typeinf at ./compiler/typeinfer.jl:244 typeinf at ./compiler/typeinfer.jl:215 typeinf_ext at ./compiler/typeinfer.jl:1101 typeinf_ext_toplevel at ./compiler/typeinfer.jl:1139 typeinf_ext_toplevel at ./compiler/typeinfer.jl:1135 jfptr_typeinf_ext_toplevel_39906.1 at /opt/julia/lib/julia/sys.so (unknown line) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] jl_type_infer at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:390 jl_generate_fptr_impl at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jitlayers.cpp:519 jl_compile_method_internal at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:2536 [inlined] jl_compile_method_internal at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:2423 _jl_invoke at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:2940 [inlined] ijl_apply_generic at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:3125 jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] do_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/builtins.c:831 vect at ./array.jl:185 jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] do_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/builtins.c:831 macro expansion at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/restricted.jl:32 [inlined] ##getter#454#281 at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:212 get! at ./iddict.jl:171 unknown function (ip: 0x7a91bcfd74fd) _get! at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:219 [inlined] pathformula at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:214 pathformula at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:211 unknown function (ip: 0x7a91bcfd5ad2) #translate#261 at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:130 unknown function (ip: 0x7a91bcd0c6e0) translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 unknown function (ip: 0x7a91bcd09ed2) #translate#261 at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:287 unknown function (ip: 0x7a91bccee4f0) translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 unknown function (ip: 0x7a91bccebce2) #translate#261 at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:287 unknown function (ip: 0x7a91bccd9ad0) translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 unknown function (ip: 0x7a91bccd72c2) #translate#261 at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:287 unknown function (ip: 0x7a91bccc4b40) translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 unknown function (ip: 0x7a91bccc2322) #translate#261 at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:287 translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 [inlined] translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 [inlined] translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 [inlined] translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 [inlined] translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:114 unknown function (ip: 0x7a91bccbf1a6) #translate#258 at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:61 translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:56 [inlined] translate at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/src/interfaces/Sole/main.jl:56 unknown function (ip: 0x7a91bcfced92) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] do_call at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:126 eval_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:223 eval_stmt_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:174 [inlined] eval_body at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:666 jl_interpret_toplevel_thunk at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:824 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:943 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:886 ijl_toplevel_eval_in at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:994 eval at ./boot.jl:430 [inlined] include_string at ./loading.jl:2734 _include at ./loading.jl:2794 include at ./sysimg.jl:38 [inlined] run_tests at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 unknown function (ip: 0x7a91bd851332) macro expansion at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] macro expansion at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] macro expansion at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] macro expansion at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] top-level scope at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:934 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:886 ijl_toplevel_eval_in at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:994 eval at ./boot.jl:430 [inlined] include_string at ./loading.jl:2734 _include at ./loading.jl:2794 include at ./sysimg.jl:38 unknown function (ip: 0x7a91d97ca082) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] do_call at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:126 eval_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:223 eval_stmt_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:174 [inlined] eval_body at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:666 jl_interpret_toplevel_thunk at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:824 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:943 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:886 ijl_toplevel_eval_in at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:994 eval at ./boot.jl:430 [inlined] exec_options at ./client.jl:296 _start at ./client.jl:531 jfptr__start_73430.1 at /opt/julia/lib/julia/sys.so (unknown line) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] true_main at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jlapi.c:900 jl_repl_entrypoint at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jlapi.c:1059 main at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/cli/loader_exe.c:58 unknown function (ip: 0x7a91dac01249) __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) unknown function (ip: (nil)) ============================================================== Profile collected. A report will print at the next yield point ============================================================== ▣ {1}(⟨G⟩([V1] ≤ 1)) ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.11/Profile/src/Profile.jl:1240 ├✔Overhead ╎ [+additional indent] Count File:Line; Function ========================================================= Thread 1 Task 0x00007a91ce800010 Total snapshots: 1. Utilization: 100% ╎1 @Base/client.jl:531; _start() ╎ 1 @Base/client.jl:296; exec_options(opts::Base.JLOptions) ╎ 1 @Base/boot.jl:430; eval ╎ 1 @Base/sysimg.jl:38; include(fname::String) ╎ 1 @Base/loading.jl:2794; _include(mapexpr::Function, mod::Module, _path::… ╎ 1 @Base/loading.jl:2734; include_string(mapexpr::typeof(identity), mod::… ╎ ╎ 1 @Base/boot.jl:430; eval ╎ ╎ 1 …rees/test/runtests.jl:64; top-level scope ╎ ╎ 1 @Test/src/Test.jl:1704; macro expansion ╎ ╎ 1 …rees/test/runtests.jl:69; macro expansion ╎ ╎ 1 @Test/src/Test.jl:1704; macro expansion ╎ ╎ ╎ 1 …ees/test/runtests.jl:69; macro expansion ╎ ╎ ╎ 1 …es/test/runtests.jl:28; run_tests(list::Vector{String}) ╎ ╎ ╎ 1 @Base/sysimg.jl:38; include ╎ ╎ ╎ 1 @Base/loading.jl:2794; _include(mapexpr::Function, mod::Modul… ╎ ╎ ╎ 1 @Base/loading.jl:2734; include_string(mapexpr::typeof(identi… ╎ ╎ ╎ ╎ 1 @Base/boot.jl:430; eval ╎ ╎ ╎ ╎ 1 …aces/Sole/main.jl:56; translate(tree::DTree{String}) ╎ ╎ ╎ ╎ 1 …aces/Sole/main.jl:56; translate ╎ ╎ ╎ ╎ 1 …aces/Sole/main.jl:61; translate(tree::DTree{String}, in… ╎ ╎ ╎ ╎ 1 …ces/Sole/main.jl:114; translate(node::DTInternal{Strin… ╎ ╎ ╎ ╎ ╎ 1 …es/Sole/main.jl:114; translate ╎ ╎ ╎ ╎ ╎ 1 …es/Sole/main.jl:114; translate ╎ ╎ ╎ ╎ ╎ 1 …es/Sole/main.jl:114; translate ╎ ╎ ╎ ╎ ╎ 1 …s/Sole/main.jl:114; translate ╎ ╎ ╎ ╎ ╎ 1 …s/Sole/main.jl:287; translate(node::DTInternal{St… ╎ ╎ ╎ ╎ ╎ ╎ 1 …/Sole/main.jl:114; kwcall(::@NamedTuple{shortfor… ╎ ╎ ╎ ╎ ╎ ╎ 1 …/Sole/main.jl:287; translate(node::DTInternal{S… ╎ ╎ ╎ ╎ ╎ ╎ 1 …/Sole/main.jl:114; kwcall(::@NamedTuple{shortf… ╎ ╎ ╎ ╎ ╎ ╎ 1 …Sole/main.jl:287; translate(node::DTInternal{… ╎ ╎ ╎ ╎ ╎ ╎ 1 …Sole/main.jl:114; kwcall(::@NamedTuple{short… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …ole/main.jl:287; translate(node::DTInternal… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …ole/main.jl:114; kwcall(::@NamedTuple{shor… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …ole/main.jl:244; translate(node::DTIntern… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …tactical.jl:893; (::NamedConnective{:∧})… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …ypeinfer.jl:1135; typeinf_ext_toplevel(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …ypeinfer.jl:1139; typeinf_ext_toplevel… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …ypeinfer.jl:1101; typeinf_ext(interp:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …ypeinfer.jl:215; typeinf(interp::Cor… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …ypeinfer.jl:244; _typeinf(interp::C… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 …retation.jl:3413; typeinf_nocycle(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 …retation.jl:3331; typeinf_local(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 …retation.jl:3068; abstract_eval_ba… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 …retation.jl:2752; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 …retation.jl:2454; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 …retation.jl:2438; abstract_eval_ca… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 1 …retation.jl:2423; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 1 …retation.jl:2275; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 1 …retation.jl:2282; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 …retation.jl:2200; abstract_call_kn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 1 …retation.jl:102; abstract_call_gf_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 1 …retation.jl:660; abstract_call_met… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +12 1 …ypeinfer.jl:923; typeinf_edge(inte… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +13 1 …ypeinfer.jl:215; typeinf(interp::C… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +14 1 …ypeinfer.jl:244; _typeinf(interp::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +15 1 …retation.jl:3413; typeinf_nocycle(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +16 1 …retation.jl:3331; typeinf_local(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +17 1 …retation.jl:3068; abstract_eval_ba… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +18 1 …retation.jl:2752; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +19 1 …retation.jl:2454; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +20 1 …retation.jl:2438; abstract_eval_ca… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +21 1 …retation.jl:2423; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +22 1 …retation.jl:2275; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +23 1 …retation.jl:2282; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +24 1 …retation.jl:2200; abstract_call_kn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +25 1 …retation.jl:102; abstract_call_gf_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +26 1 …retation.jl:660; abstract_call_met… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +27 1 …ypeinfer.jl:923; typeinf_edge(inte… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +28 1 …ypeinfer.jl:215; typeinf(interp::C… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +29 1 …ypeinfer.jl:244; _typeinf(interp::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +30 1 …retation.jl:3413; typeinf_nocycle(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +31 1 …retation.jl:3331; typeinf_local(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +32 1 …retation.jl:3068; abstract_eval_ba… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +33 1 …retation.jl:2752; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +34 1 …retation.jl:2454; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +35 1 …retation.jl:2438; abstract_eval_ca… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +36 1 …retation.jl:2423; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +37 1 …retation.jl:2275; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +38 1 …retation.jl:2282; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +39 1 …retation.jl:2200; abstract_call_kn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +40 1 …retation.jl:102; abstract_call_gf_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +41 1 …retation.jl:660; abstract_call_met… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +42 1 …ypeinfer.jl:923; typeinf_edge(inte… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +43 1 …ypeinfer.jl:215; typeinf(interp::C… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +44 1 …ypeinfer.jl:244; _typeinf(interp::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +45 1 …retation.jl:3413; typeinf_nocycle(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +46 1 …retation.jl:3331; typeinf_local(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +47 1 …retation.jl:3044; abstract_eval_ba… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +48 1 …retation.jl:2752; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +49 1 …retation.jl:2454; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +50 1 …retation.jl:2438; abstract_eval_ca… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +51 1 …retation.jl:2423; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +52 1 …retation.jl:2275; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +53 1 …retation.jl:2282; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +54 1 …retation.jl:2200; abstract_call_kn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +55 1 …retation.jl:102; abstract_call_gf_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +56 1 …retation.jl:660; abstract_call_met… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +57 1 …ypeinfer.jl:923; typeinf_edge(inte… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +58 1 …ypeinfer.jl:215; typeinf(interp::C… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +59 1 …ypeinfer.jl:244; _typeinf(interp::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +60 1 …retation.jl:3413; typeinf_nocycle(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +61 1 …retation.jl:3331; typeinf_local(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +62 1 …retation.jl:3068; abstract_eval_ba… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +63 1 …retation.jl:2752; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +64 1 …retation.jl:2454; abstract_eval_st… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +65 1 …retation.jl:2438; abstract_eval_ca… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +66 1 …retation.jl:2423; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +67 1 …retation.jl:2275; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +68 1 …retation.jl:2282; abstract_call(in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +69 1 …retation.jl:2200; abstract_call_kn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +70 1 …retation.jl:102; abstract_call_gf_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +71 1 …retation.jl:660; abstract_call_met… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +72 1 …ypeinfer.jl:923; typeinf_edge(inte… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +73 1 …ypeinfer.jl:215; typeinf(interp::C… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +74 1 …ypeinfer.jl:249; _typeinf(interp::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +75 1 …ypeinfer.jl:265; finish_nocycle(::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +76 1 …optimize.jl:983; optimize(interp::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +77 1 …optimize.jl:1009; run_passes_ipo_s… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +78 1 …optimize.jl:994; run_passes_ipo_sa… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +79 1 …inlining.jl:78; ssa_inlining_pass! ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +80 1 …inlining.jl:1675; assemble_inline_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +81 1 …inlining.jl:1421; handle_call! ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +82 1 …inlining.jl:1391; compute_inlining… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +83 1 …inlining.jl:1315; handle_any_const… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +84 1 …inlining.jl:1327; handle_any_const… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +85 1 …inlining.jl:1428; handle_match! ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +86 1 …inlining.jl:1439; handle_match!(ca… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +87 1 …inlining.jl:947; analyze_method! ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +88 1 …inlining.jl:980; analyze_method!(m… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +89 1 …inlining.jl:871; resolve_todo ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +90 1 …inlining.jl:904; resolve_todo(mi::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +91 1 …inlining.jl:984; retrieve_ir_for_i… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +92 1 …flection.jl:1332; _uncompressed_ir {2}([V2] ≥ 1) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) │├✔ {2}(⟨L̅⟩([V3] ≤ 1)) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) ∧ {2}([V2] ≥ 1) ││├✔ {1}(⟨G⟩(([V1] ≤ 1) ∧ ⟨A̅⟩([V4] ≤ 1))) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) ∧ {2}(⟨L̅⟩[V3] ≤ 1) │││├✔ YES SHORTFORM: {1}(⟨G⟩([V1] ≤ 1 ∧ ⟨A̅⟩[V4] ≤ 1)) ∧ {2}(⟨L̅⟩[V3] ≤ 1) │││└✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [A̅][V4] > 1) ∧ {2}[V2] ≥ 1 ∧ ⟨L̅⟩[V3] ≤ 1 ││└✘ {1}(⟨G⟩(([V1] ≤ 1) ∧ ⟨B⟩([V5] ≥ 1))) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ││ ├✔ {3}([V6] ≤ 1) SHORTFORM: {1}(⟨G⟩([V1] ≤ 1 ∧ ⟨B⟩[V5] ≥ 1)) ∧ {2}([L̅][V3] > 1) ││ │├✔ YES SHORTFORM: {1}(⟨G⟩([V1] ≤ 1 ∧ ⟨B⟩[V5] ≥ 1)) ∧ {2}([L̅][V3] > 1) ∧ {3}([V6] ≤ 1) ││ │└✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ ⟨G⟩([V1] ≤ 1 ∧ ⟨B⟩[V5] ≥ 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ∧ {3}([V6] > 1) ││ └✘ {2}(⟨L⟩([V7] ≥ 1)) SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [B][V5] < 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ││ ├✔ YES SHORTFORM: {1}([G]([V1] ≤ 1 → [B][V5] < 1)) ∧ {2}⟨L⟩[V7] ≥ 1 ∧ [L̅][V3] > 1 ││ └✘ {1}(⟨G⟩(([V1] ≤ 1) ∧ ⟨A̅⟩([V8] ≤ 1))) SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [B][V5] < 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ∧ [L][V7] < 1 ││ ├✔ YES SHORTFORM: {1}⟨G⟩([V1] ≤ 1 ∧ ⟨A̅⟩[V8] ≤ 1) ∧ [G]([V1] ≤ 1 → [B][V5] < 1) ∧ {2}[L][V7] < 1 ∧ [L̅][V3] > 1 ││ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [B][V5] < 1) ∧ [G]([V1] ≤ 1 → [A̅][V8] > 1) ∧ {2}[V2] ≥ 1 ∧ [L̅][V3] > 1 ∧ [L][V7] < 1 │└✘ {1}(⟨G⟩(([V1] ≤ 1) ∧ ⟨A̅⟩([V9] ≥ 1))) SHORTFORM: {1}(⟨G⟩[V1] ≤ 1) ∧ {2}([V2] < 1) │ ├✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}(⟨G⟩([V1] ≤ 1 ∧ ⟨A̅⟩[V9] ≥ 1)) ∧ {2}([V2] < 1) │ └✘ YES SHORTFORM: {1}⟨G⟩[V1] ≤ 1 ∧ [G]([V1] ≤ 1 → [A̅][V9] < 1) ∧ {2}([V2] < 1) └✘ {1}(⟨G⟩([V10] ≥ 1)) SHORTFORM: {1}([G][V1] > 1) ├✔ {2}(⟨L̅⟩([V11] ≥ 1)) SHORTFORM: {1}⟨G⟩[V10] ≥ 1 ∧ [G][V1] > 1 │├✔ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}⟨G⟩[V10] ≥ 1 ∧ [G][V1] > 1 ∧ {2}(⟨L̅⟩[V11] ≥ 1) │└✘ {2}([V12] ≤ 1) SHORTFORM: {1}[G][V1] > 1 ∧ ⟨G⟩[V10] ≥ 1 ∧ {2}([L̅][V11] < 1) │ ├✔ YES SHORTFORM: {1}⟨G⟩[V10] ≥ 1 ∧ [G][V1] > 1 ∧ {2}[V12] ≤ 1 ∧ [L̅][V11] < 1 │ └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}[G][V1] > 1 ∧ ⟨G⟩[V10] ≥ 1 ∧ {2}[L̅][V11] < 1 ∧ [V12] > 1 └✘ {1}(⟨G⟩([V13] ≥ 1)) SHORTFORM: {1}[G][V1] > 1 ∧ [G][V10] < 1 ├✔ YES SHORTFORM: {1}⟨G⟩[V13] ≥ 1 ∧ [G][V1] > 1 ∧ [G][V10] < 1 └✘ NO_CLEAN_HISTORY_AND_LOW_PROBABILITY SHORTFORM: {1}[G][V1] > 1 ∧ [G][V10] < 1 ∧ [G][V13] < 1 ================================================== TEST: other/restricted2complete.jl ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict(2 => 1, 1 => 1), argmax: 2, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (6 elements): Dict(2 => 3, 1 => 3), argmax: 2, max: 3 (sum = 6) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (8 elements): Dict(2 => 4, 1 => 4), argmax: 2, max: 4 (sum = 8) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 {2} RestrictedDecision(⟨L⟩min[V3] ≤ 0) ├─ {2} RestrictedDecision(⟨A⟩min[V2] < 0) │ ├─ 2 (1/2) │ └─ {2} RestrictedDecision(⟨G⟩min[V1] ≥ 10) │ ├─ 2 (1/2) │ └─ 2 (1/2) └─ 2 (1/2) ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/scheduler.c:522 poptask at ./task.jl:1012 wait at ./task.jl:1021 #wait#731 at ./condition.jl:130 wait at ./condition.jl:125 [inlined] wait at ./process.jl:694 wait at ./process.jl:687 unknown function (ip: 0x7121dff2fc02) subprocess_handler at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2146 #131 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2086 withenv at ./env.jl:265 #118 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1935 with_temp_env at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1793 #116 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1902 #mktempdir#28 at ./file.jl:819 unknown function (ip: 0x7121dff26e2d) mktempdir at ./file.jl:815 mktempdir at ./file.jl:815 [inlined] #sandbox#115 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1849 [inlined] sandbox at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1841 unknown function (ip: 0x7121dff1b3fa) #test#128 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2067 test at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2011 [inlined] #test#146 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/API.jl:481 test at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/API.jl:460 unknown function (ip: 0x7121dff1b0fd) #test#77 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/API.jl:159 unknown function (ip: 0x7121dff1aaed) test at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/API.jl:148 #test#75 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/API.jl:147 [inlined] test at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/API.jl:147 [inlined] #test#74 at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/API.jl:146 [inlined] test at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Pkg/src/API.jl:146 unknown function (ip: 0x7121dff16f96) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] do_call at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:126 eval_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:223 eval_stmt_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:174 [inlined] eval_body at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:666 eval_body at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:539 eval_body at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:539 jl_interpret_toplevel_thunk at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:824 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:943 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:886 ijl_toplevel_eval_in at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:994 eval at ./boot.jl:430 [inlined] include_string at ./loading.jl:2734 _include at ./loading.jl:2794 include at ./Base.jl:557 jfptr_include_46879.1 at /opt/julia/lib/julia/sys.so (unknown line) exec_options at ./client.jl:323 _start at ./client.jl:531 jfptr__start_73430.1 at /opt/julia/lib/julia/sys.so (unknown line) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] true_main at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jlapi.c:900 jl_repl_entrypoint at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jlapi.c:1059 main at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/cli/loader_exe.c:58 unknown function (ip: 0x7121e1324249) __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) unknown function (ip: (nil)) ============================================================== Profile collected. A report will print at the next yield point ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.11/Profile/src/Profile.jl:1240 Overhead ╎ [+additional indent] Count File:Line; Function ========================================================= Thread 1 Task 0x00007121d4e00010 Total snapshots: 334. Utilization: 0% ╎334 @Base/client.jl:531; _start() ╎ 334 @Base/client.jl:323; exec_options(opts::Base.JLOptions) ╎ 334 @Base/Base.jl:557; include(mod::Module, _path::String) ╎ 334 @Base/loading.jl:2794; _include(mapexpr::Function, mod::Module, _pat… ╎ 334 @Base/loading.jl:2734; include_string(mapexpr::typeof(identity), mo… ╎ 334 @Base/boot.jl:430; eval ╎ ╎ 334 @Pkg/src/API.jl:146; kwcall(::@NamedTuple{julia_args::Cmd}, ::typ… ╎ ╎ 334 @Pkg/src/API.jl:146; #test#74 ╎ ╎ 334 @Pkg/src/API.jl:147; test ╎ ╎ 334 @Pkg/src/API.jl:147; #test#75 ╎ ╎ 334 @Pkg/src/API.jl:148; kwcall(::@NamedTuple{julia_args::Cmd}, :… ╎ ╎ ╎ 334 @Pkg/src/API.jl:159; test(pkgs::Vector{Pkg.Types.PackageSpec… ╎ ╎ ╎ 334 @Pkg/src/API.jl:460; kwcall(::@NamedTuple{julia_args::Cmd, … ╎ ╎ ╎ 334 @Pkg/src/API.jl:481; test(ctx::Pkg.Types.Context, pkgs::Ve… ╎ ╎ ╎ 334 …rc/Operations.jl:2011; test ╎ ╎ ╎ 334 …rc/Operations.jl:2067; test(ctx::Pkg.Types.Context, pkg… ╎ ╎ ╎ ╎ 334 …c/Operations.jl:1841; kwcall(::@NamedTuple{preferences… ╎ ╎ ╎ ╎ 334 …c/Operations.jl:1849; #sandbox#115 ╎ ╎ ╎ ╎ 334 @Base/file.jl:815; mktempdir ╎ ╎ ╎ ╎ 334 @Base/file.jl:815; mktempdir(fn::Function, parent::S… ╎ ╎ ╎ ╎ 334 @Base/file.jl:819; mktempdir(fn::Pkg.Operations.var… ╎ ╎ ╎ ╎ ╎ 334 …Operations.jl:1902; (::Pkg.Operations.var"#116#12… ╎ ╎ ╎ ╎ ╎ 334 …Operations.jl:1793; with_temp_env(fn::Pkg.Operat… ╎ ╎ ╎ ╎ ╎ 334 …Operations.jl:1935; (::Pkg.Operations.var"#118#… ╎ ╎ ╎ ╎ ╎ 334 @Base/env.jl:265; withenv(::Pkg.Operations.var"… ╎ ╎ ╎ ╎ ╎ 334 …perations.jl:2086; (::Pkg.Operations.var"#131… ╎ ╎ ╎ ╎ ╎ ╎ 334 …erations.jl:2146; subprocess_handler(cmd::Cm… ╎ ╎ ╎ ╎ ╎ ╎ 334 …/process.jl:687; wait(x::Base.Process) ╎ ╎ ╎ ╎ ╎ ╎ 334 …/process.jl:694; wait(x::Base.Process, syn… ╎ ╎ ╎ ╎ ╎ ╎ 334 …ondition.jl:125; wait ╎ ╎ ╎ ╎ ╎ ╎ 334 …ondition.jl:130; wait(c::Base.GenericCon… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 334 …ase/task.jl:1021; wait() 333╎ ╎ ╎ ╎ ╎ ╎ ╎ 334 …ase/task.jl:1012; poptask(W::Base.Intr… ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │├✔ 2 │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 └✘ 2 ├─ ▣ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │ ├✔ 2 │ └✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 │ │ ├─ ▣ 2 │ │ │ ├─ ▣ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ │ ├✔ 2 │ │ └✘ 2 │ │ │ │ ├─ ▣ 2 │ │ │ │ │ └─ ▣ 2 │ │ │ ├─ ▣ 2 │ │ │ └─ ▣ 2 │ ├─ ▣ 2 │ ├─ ▣ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 │ │ ├─ ▣ 2 │ │ │ └─ ▣ 2 │ ├─ ▣ 2 │ ├─ ▣ 2 │ └─ ▣ 2 ┌ Warning: Parity encountered in bestguess! counts (4 elements): Dict(2 => 2, 1 => 2), argmax: 2, max: 2 (sum = 4) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (6 elements): Dict(2 => 3, 1 => 3), argmax: 2, max: 3 (sum = 6) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (8 elements): Dict(2 => 4, 1 => 4), argmax: 2, max: 4 (sum = 8) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (14 elements): Dict(2 => 7, 1 => 7), argmax: 2, max: 7 (sum = 14) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (16 elements): Dict(2 => 8, 1 => 8), argmax: 2, max: 8 (sum = 16) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ┌ Warning: Parity encountered in bestguess! counts (18 elements): Dict(2 => 9, 1 => 9), argmax: 2, max: 9 (sum = 18) └ @ SoleBase ~/.julia/packages/SoleBase/14XAE/src/machine-learning-utils.jl:93 ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] ["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 2 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 1 {2}(⟨L⟩min[V3] ≤ 0) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 4 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 3 syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0" i_ctr = 2 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", 2] h = 1 {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] Any["DoubleEdgedDecision(⟨L⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 6 syntaxstring(_lambda) = "⟨L⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V3] ≤\e[0m 0), height = 5})", "DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 5 syntaxstring(_lambda) = "\e[1mmin[V3] ≤\e[0m 0" i_ctr = 4 ["DoubleEdgedDecision(⟨A⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨L⟩(⊤)), height = 6}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 2 syntaxstring(_lambda) = "⟨A⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})"] h = 0 ["DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0, ?back{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V2] <\e[0m 0), height = 3})", "DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 1 Any["DoubleEdgedDecision(⟨G⟩(⊤), ?back{decision = DoubleEdgedDecision(⟨A⟩(⊤)), height = 4}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", "DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 2 syntaxstring(_lambda) = "⟨G⟩(⊤)" i_ctr = 2 ["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})"] h = 0 Any["DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10, ?back{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1}, ?forth{decision = DoubleEdgedDecision(\e[1mmin[V1] ≥\e[0m 10), height = 1})", 2] h = 1 {2}(⟨L⟩(min[V3] ≤ 0 ∧ [A]¬min[V2] < 0 ∧ ⟨G⟩min[V1] ≥ 10)) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │├✔ 2 │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 └✘ 2 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) │├✔ 2 │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10))) │ ├✔ 2 │ └✘ 2 └✘ 2 ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) SHORTFORM: {2}(⟨L⟩min[V3] ≤ 0) │├✔ 2 SHORTFORM: {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨G⟩(min[V1] ≥ 10))) SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ ├✔ 2 SHORTFORM: {2}⟨L⟩(min[V3] ≤ 0 ∧ ⟨G⟩min[V1] ≥ 10) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ └✘ 2 SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) ∧ [L](min[V3] ≤ 0 → [G]min[V1] < 10) └✘ 2 SHORTFORM: {2}([L]min[V3] > 0) ▣ {2}(⟨L⟩(min[V3] ≤ 0)) ├✔ {2}(⟨L⟩((min[V3] ≤ 0) ∧ ⟨A⟩(min[V2] < 0))) SHORTFORM: {2}(⟨L⟩min[V3] ≤ 0) │├✔ 2 SHORTFORM: {2}(⟨L⟩(min[V3] ≤ 0 ∧ ⟨A⟩min[V2] < 0)) │└✘ {2}(⟨L⟩((min[V3] ≤ 0) ∧ [A]¬(min[V2] < 0) ∧ ⟨G⟩(min[V1] ≥ 10))) SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ ├✔ 2 SHORTFORM: {2}⟨L⟩(min[V3] ≤ 0 ∧ [A]¬min[V2] < 0 ∧ ⟨G⟩min[V1] ≥ 10) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) │ └✘ 2 SHORTFORM: {2}⟨L⟩min[V3] ≤ 0 ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0) ∧ [L](min[V3] ≤ 0 → [A]min[V2] ≥ 0 → [G]min[V1] < 10) └✘ 2 SHORTFORM: {2}([L]min[V3] > 0) [1] signal 15: Terminated in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/scheduler.c:522 [2340] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/other/restricted2complete.jl:33 _ZN4llvm17ScheduleDAGInstrs20addChainDependenciesEPNS_5SUnitERNS0_12Value2SUsMapENS_12PointerUnionIJPKNS_5ValueEPKNS_17PseudoSourceValueEEEE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm17ScheduleDAGInstrs15buildSchedGraphEPNS_9AAResultsEPNS_18RegPressureTrackerEPNS_13PressureDiffsEPNS_13LiveIntervalsEb at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) poptask at ./task.jl:1012 wait at ./task.jl:1021 _ZN12_GLOBAL__N_120SchedulePostRATDList8scheduleEv at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) #wait#731 at ./condition.jl:130 wait at ./condition.jl:125 [inlined] _trywait at ./asyncevent.jl:145 _ZN12_GLOBAL__N_115PostRAScheduler20runOnMachineFunctionERN4llvm15MachineFunctionE.part.0 at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) profile_printing_listener at ./Base.jl:577 #1190 at ./Base.jl:617 _ZN4llvm19MachineFunctionPass13runOnFunctionERNS_8FunctionE.part.0 at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm13FPPassManager13runOnFunctionERNS_8FunctionE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm13FPPassManager11runOnModuleERNS_6ModuleE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm6legacy15PassManagerImpl3runERNS_6ModuleE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc14SimpleCompilerclERNS_6ModuleE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) operator() at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jitlayers.cpp:1388 _ZN4llvm3orc14IRCompileLayer4emitESt10unique_ptrINS0_29MaterializationResponsibilityESt14default_deleteIS3_EENS0_16ThreadSafeModuleE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc16IRTransformLayer4emitESt10unique_ptrINS0_29MaterializationResponsibilityESt14default_deleteIS3_EENS0_16ThreadSafeModuleE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc16IRTransformLayer4emitESt10unique_ptrINS0_29MaterializationResponsibilityESt14default_deleteIS3_EENS0_16ThreadSafeModuleE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc16IRTransformLayer4emitESt10unique_ptrINS0_29MaterializationResponsibilityESt14default_deleteIS3_EENS0_16ThreadSafeModuleE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc16IRTransformLayer4emitESt10unique_ptrINS0_29MaterializationResponsibilityESt14default_deleteIS3_EENS0_16ThreadSafeModuleE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc31BasicIRLayerMaterializationUnit11materializeESt10unique_ptrINS0_29MaterializationResponsibilityESt14default_deleteIS3_EE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc19MaterializationTask3runEv at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) jfptr_YY.1190_76003.1 at /opt/julia/lib/julia/sys.so (unknown line) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] start_task at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/task.c:1202 unknown function (ip: (nil)) Allocations: 21530911 (Pool: 21529525; Big: 1386); GC: 34 val already in a list atexit hook threw an error: ErrorException("schedule: Task not runnable") _ZN4llvm6detail18UniqueFunctionBaseIvJSt10unique_ptrINS_3orc4TaskESt14default_deleteIS4_EEEE8CallImplIPFvS7_EEEvPvRS7_ at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc16ExecutionSession22dispatchOutstandingMUsEv at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc16ExecutionSession17OL_completeLookupESt10unique_ptrINS0_21InProgressLookupStateESt14default_deleteIS3_EESt10shared_ptrINS0_23AsynchronousSymbolQueryEESt8functionIFvRKNS_8DenseMapIPNS0_8JITDylibENS_8DenseSetINS0_15SymbolStringPtrENS_12DenseMapInfoISF_vEEEENSG_ISD_vEENS_6detail12DenseMapPairISD_SI_EEEEEE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) error at ./error.jl:35 #schedule#761 at ./task.jl:884 _ZN4llvm3orc25InProgressFullLookupState8completeESt10unique_ptrINS0_21InProgressLookupStateESt14default_deleteIS3_EE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc16ExecutionSession19OL_applyQueryPhase1ESt10unique_ptrINS0_21InProgressLookupStateESt14default_deleteIS3_EENS_5ErrorE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) _ZN4llvm3orc16ExecutionSession6lookupENS0_10LookupKindERKSt6vectorISt4pairIPNS0_8JITDylibENS0_19JITDylibLookupFlagsEESaIS8_EENS0_15SymbolLookupSetENS0_11SymbolStateENS_15unique_functionIFvNS_8ExpectedINS_8DenseMapINS0_15SymbolStringPtrENS_18JITEvaluatedSymbolENS_12DenseMapInfoISI_vEENS_6detail12DenseMapPairISI_SJ_EEEEEEEEESt8functionIFvRKNSH_IS6_NS_8DenseSetISI_SL_EENSK_IS6_vEENSN_IS6_SV_EEEEEE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) schedule at ./task.jl:876 [inlined] uv_writecb_task at ./stream.jl:1200 _ZN4llvm3orc16ExecutionSession6lookupERKSt6vectorISt4pairIPNS0_8JITDylibENS0_19JITDylibLookupFlagsEESaIS7_EENS0_15SymbolLookupSetENS0_10LookupKindENS0_11SymbolStateESt8functionIFvRKNS_8DenseMapIS5_NS_8DenseSetINS0_15SymbolStringPtrENS_12DenseMapInfoISI_vEEEENSJ_IS5_vEENS_6detail12DenseMapPairIS5_SL_EEEEEE at /opt/julia/bin/../lib/julia/libLLVM-16jl.so (unknown line) addModule at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jitlayers.cpp:1875 jl_add_to_ee at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jitlayers.cpp:2306 jl_add_to_ee at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jitlayers.cpp:2285 _jl_compile_codeinst at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jitlayers.cpp:277 jl_generate_fptr_impl at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jitlayers.cpp:536 jl_compile_method_internal at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:2536 [inlined] jl_compile_method_internal at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:2423 _jl_invoke at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:2940 [inlined] ijl_apply_generic at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/gf.c:3125 #_listrules#89 at /home/pkgeval/.julia/packages/SoleModels/xie1P/src/symbolic-utils.jl:470 _listrules at /home/pkgeval/.julia/packages/SoleModels/xie1P/src/symbolic-utils.jl:439 unknown function (ip: 0x7a91bc91d486) #_listrules#89 at /home/pkgeval/.julia/packages/SoleModels/xie1P/src/symbolic-utils.jl:470 _listrules at /home/pkgeval/.julia/packages/SoleModels/xie1P/src/symbolic-utils.jl:439 [inlined] #listrules#81 at /home/pkgeval/.julia/packages/SoleModels/xie1P/src/symbolic-utils.jl:402 listrules at /home/pkgeval/.julia/packages/SoleModels/xie1P/src/symbolic-utils.jl:362 [inlined] |> at ./operators.jl:926 unknown function (ip: 0x7a91bc91cfc2) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] do_call at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:126 eval_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:223 eval_stmt_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:174 [inlined] eval_body at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:666 jl_interpret_toplevel_thunk at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:824 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:943 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:886 ijl_toplevel_eval_in at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:994 jfptr_uv_writecb_task_66985.1 at /opt/julia/lib/julia/sys.so (unknown line) eval at ./boot.jl:430 [inlined] include_string at ./loading.jl:2734 jlcapi_uv_writecb_task_67448.1 at /opt/julia/lib/julia/sys.so (unknown line) uv__write_callbacks at /workspace/srcdir/libuv/src/unix/stream.c:926 uv__stream_io at /workspace/srcdir/libuv/src/unix/stream.c:1227 uv__run_pending at /workspace/srcdir/libuv/src/unix/core.c:824 uv_run at /workspace/srcdir/libuv/src/unix/core.c:420 ijl_task_get_next at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/scheduler.c:522 _include at ./loading.jl:2794 include at ./sysimg.jl:38 [inlined] run_tests at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:28 unknown function (ip: 0x7a91bd851332) macro expansion at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] macro expansion at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] macro expansion at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:69 [inlined] macro expansion at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/usr/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] top-level scope at /home/pkgeval/.julia/packages/ModalDecisionTrees/pCVLe/test/runtests.jl:64 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:934 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:886 ijl_toplevel_eval_in at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:994 poptask at ./task.jl:1012 eval at ./boot.jl:430 [inlined] include_string at ./loading.jl:2734 wait at ./task.jl:1021 _include at ./loading.jl:2794 include at ./sysimg.jl:38 unknown function (ip: 0x7a91d97ca082) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] do_call at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:126 uv_write at ./stream.jl:1081 eval_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:223 eval_stmt_value at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:174 [inlined] eval_body at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:666 jl_interpret_toplevel_thunk at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/interpreter.c:824 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:943 jl_toplevel_eval_flex at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:886 ijl_toplevel_eval_in at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/toplevel.c:994 unsafe_write at ./stream.jl:1154 write at ./strings/io.jl:248 [inlined] print at ./strings/io.jl:250 unknown function (ip: 0x7121dfed1ef6) showerror at ./errorshow.jl:152 unknown function (ip: 0x7121dff3c236) eval at ./boot.jl:430 [inlined] exec_options at ./client.jl:296 _atexit at ./initdefs.jl:462 _start at ./client.jl:531 jfptr__atexit_69498.1 at /opt/julia/lib/julia/sys.so (unknown line) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] ijl_atexit_hook at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/init.c:271 jl_exit_thread0_cb at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/signals-unix.c:517 jfptr__start_73430.1 at /opt/julia/lib/julia/sys.so (unknown line) jl_apply at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/julia.h:2157 [inlined] true_main at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jlapi.c:900 jl_repl_entrypoint at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/src/jlapi.c:1059 main at /cache/build/tester-amdci5-12/julialang/julia-release-1-dot-11/cli/loader_exe.c:58 unknown function (ip: 0x7a91dac01249) __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) unknown function (ip: (nil)) Allocations: 210995411 (Pool: 210990164; Big: 5247); GC: 67 PkgEval terminated after 2730.8s: test duration exceeded the time limit