Package evaluation to test LogicToolkit on Julia 1.14.0-DEV.1584 (ac5fadde9b*) started at 2026-01-18T16:09:42.521 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 10.76s ################################################################################ # Installation # Installing LogicToolkit... Resolving package versions... Installed DataAPI ───────────── v1.16.0 Installed MacroTools ────────── v0.5.16 Installed Compat ────────────── v4.18.1 Installed StatsBase ─────────── v0.33.21 Installed OrderedCollections ── v1.8.1 Installed DataStructures ────── v0.18.22 Installed ArnoldiMethod ─────── v0.1.0 Installed LogicToolkit ──────── v0.1.0 Installed StatsAPI ──────────── v1.8.0 Installed Statistics ────────── v1.11.1 Installed IrrationalConstants ─ v0.2.6 Installed StaticArraysCore ──── v1.4.4 Installed SimpleTraits ──────── v0.9.5 Installed StaticArrays ──────── v1.9.16 Installed PrecompileTools ───── v1.3.3 Installed LogExpFunctions ───── v0.3.29 Installed Missings ──────────── v1.2.0 Installed Preferences ───────── v1.5.1 Installed DocStringExtensions ─ v0.9.5 Installed Inflate ───────────── v0.1.5 Installed SortingAlgorithms ─── v1.2.2 Installed LightGraphs ───────── v1.3.5 Updating `~/.julia/environments/v1.14/Project.toml` [d3a281b0] + LogicToolkit v0.1.0 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌅ [ec485272] + ArnoldiMethod v0.1.0 [34da2185] + Compat v4.18.1 [9a962f9c] + DataAPI v1.16.0 ⌅ [864edb3b] + DataStructures v0.18.22 [ffbed154] + DocStringExtensions v0.9.5 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.6 [093fc24a] + LightGraphs v1.3.5 [2ab3a3ac] + LogExpFunctions v0.3.29 [d3a281b0] + LogicToolkit v0.1.0 [1914dd2f] + MacroTools v0.5.16 [e1d29d7a] + Missings v1.2.0 [bac558e1] + OrderedCollections v1.8.1 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.1 [699a6c99] + SimpleTraits v0.9.5 [a2af1166] + SortingAlgorithms v1.2.2 [90137ffa] + StaticArrays v1.9.16 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.8.0 ⌅ [2913bbd2] + StatsBase v0.33.21 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 2.19s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4656.2 ms ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling packages... 4516.4 ms ✓ MacroTools 1112.9 ms ✓ Statistics 884.3 ms ✓ DataAPI 2068.4 ms ✓ IrrationalConstants 972.2 ms ✓ StaticArraysCore 927.1 ms ✓ StatsAPI 1321.2 ms ✓ OrderedCollections 1118.2 ms ✓ DocStringExtensions 1037.3 ms ✓ Inflate 1197.1 ms ✓ Compat 1227.8 ms ✓ Preferences 3425.6 ms ✓ SimpleTraits 1327.0 ms ✓ Statistics → SparseArraysExt 1030.9 ms ✓ Missings 1369.7 ms ✓ LogExpFunctions 861.7 ms ✓ Compat → CompatLinearAlgebraExt 946.6 ms ✓ PrecompileTools 3913.4 ms ✓ DataStructures 14068.7 ms ✓ StaticArrays 1536.8 ms ✓ SortingAlgorithms 1439.2 ms ✓ StaticArrays → StaticArraysStatisticsExt 3770.9 ms ✓ ArnoldiMethod 4731.5 ms ✓ StatsBase 8959.1 ms ✓ LightGraphs WARNING: Method definition validate() in module LogicToolkit at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:61 overwritten at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:70. ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. 3072.8 ms ? LogicToolkit 24 dependencies successfully precompiled in 67 seconds. 18 already precompiled. 1 dependencies failed but may be precompilable after restarting julia 1 dependency had output during precompilation: ┌ LogicToolkit │ WARNING: Method definition validate() in module LogicToolkit at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:61 overwritten at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:70. │ ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. └ Precompilation completed after 84.95s ################################################################################ # Testing # Testing LogicToolkit Status `/tmp/jl_bo5IIz/Project.toml` [093fc24a] LightGraphs v1.3.5 [d3a281b0] LogicToolkit v0.1.0 [10745b16] Statistics v1.11.1 ⌅ [2913bbd2] StatsBase v0.33.21 [37e2e46d] LinearAlgebra v1.13.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_bo5IIz/Manifest.toml` ⌅ [ec485272] ArnoldiMethod v0.1.0 [34da2185] Compat v4.18.1 [9a962f9c] DataAPI v1.16.0 ⌅ [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.5 [d25df0c9] Inflate v0.1.5 [92d709cd] IrrationalConstants v0.2.6 [093fc24a] LightGraphs v1.3.5 [2ab3a3ac] LogExpFunctions v0.3.29 [d3a281b0] LogicToolkit v0.1.0 [1914dd2f] MacroTools v0.5.16 [e1d29d7a] Missings v1.2.0 [bac558e1] OrderedCollections v1.8.1 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.1 [699a6c99] SimpleTraits v0.9.5 [a2af1166] SortingAlgorithms v1.2.2 [90137ffa] StaticArrays v1.9.16 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.8.0 ⌅ [2913bbd2] StatsBase v0.33.21 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.29+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... WARNING: Method definition validate() in module LogicToolkit at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:61 overwritten at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:70. ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. 1 dependency had output during precompilation: ┌ LogicToolkit │ [Output was shown above] └ WARNING: Method definition validate() in module LogicToolkit at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:61 overwritten at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:70. Test Summary: | Pass Total Time LogicToolkit.jl | 240 240 1m56.3s Testing LogicToolkit tests passed Testing completed after 177.43s PkgEval succeeded after 288.72s