Package evaluation of LogicToolkit on Julia 1.13.0-DEV.985 (9c94e7ae32*) started at 2025-08-14T15:04:51.251 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.17s ################################################################################ # Installation # Installing LogicToolkit... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [d3a281b0] + LogicToolkit v0.1.0 Updating `~/.julia/environments/v1.13/Manifest.toml` ⌅ [ec485272] + ArnoldiMethod v0.1.0 [34da2185] + Compat v4.18.0 [9a962f9c] + DataAPI v1.16.0 ⌅ [864edb3b] + DataStructures v0.18.22 [ffbed154] + DocStringExtensions v0.9.5 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.4 [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.2 [21216c6a] + Preferences v1.5.0 [699a6c99] + SimpleTraits v0.9.5 [a2af1166] + SortingAlgorithms v1.2.2 [90137ffa] + StaticArrays v1.9.14 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 ⌅ [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.12.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 v0.7.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.13.1+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 0.91s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 29.64s ################################################################################ # Testing # Testing LogicToolkit Status `/tmp/jl_VqdCdN/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_VqdCdN/Manifest.toml` ⌅ [ec485272] ArnoldiMethod v0.1.0 [34da2185] Compat v4.18.0 [9a962f9c] DataAPI v1.16.0 ⌅ [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.5 [d25df0c9] Inflate v0.1.5 [92d709cd] IrrationalConstants v0.2.4 [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.2 [21216c6a] Preferences v1.5.0 [699a6c99] SimpleTraits v0.9.5 [a2af1166] SortingAlgorithms v1.2.2 [90137ffa] StaticArrays v1.9.14 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 ⌅ [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.12.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 v0.7.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.11.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.13.1+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Precompiling packages... Info Given LogicToolkit was explicitly requested, output will be shown live  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. 5069.8 ms ? 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. 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. modal formulas with infinite branches: Test Failed at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:350 Expression: validate("◻ ( p ↔ ◻ ⊥ )", "", "s4") == false Evaluated: nothing == false Stacktrace: [1] top-level scope @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:40 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:294 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [5] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:348 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [7] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:350 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] Test Summary: | Pass Fail Total Time LogicToolkit.jl | 239 1 240 2m39.9s ModelCheckerTest | 124 124 1m05.0s isEquivalent | 24 24 0.2s Simplifier tests | 41 41 0.0s Tableau tests | 50 1 51 1m34.6s propositional formulas | 5 5 5.3s modal formulas | 6 6 0.0s modal formulas with constraints | 33 33 0.0s modal formulas with infinite branches | 6 1 7 1m29.2s RNG of the outermost testset: Random.Xoshiro(0x213b3e6f387a1648, 0x03f5416ff110e32a, 0x5146bbd902e5c0e8, 0x32c562535e0da210, 0x26e25e43ac88f2be) ERROR: LoadError: Some tests did not pass: 239 passed, 1 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:39 Testing failed after 188.98s ERROR: LoadError: Package LogicToolkit errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2672 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2521 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:538 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:515 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:168 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:157 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [9] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [12] include(mod::Module, _path::String) @ Base ./Base.jl:308 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:330 [14] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 245.61s: illegal method overwrites during precompilation