Package evaluation of Liblet on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-28T23:04:27.871 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.13s ################################################################################ # Installation # Installing Liblet... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [5ecd16ac] + Liblet v0.1.0 Updating `~/.julia/environments/v1.13/Manifest.toml` [5ecd16ac] + Liblet v0.1.0 [2a0f44e3] + Base64 v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [f489334b] + StyledStrings v1.11.0 [8dfed614] + Test v1.11.0 [4ec0a83e] + Unicode v1.11.0 Installation completed after 0.82s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 12.93s ################################################################################ # Testing # Testing Liblet Status `/tmp/jl_k5Qrha/Project.toml` [5ecd16ac] Liblet v0.1.0 [de0858da] Printf v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_k5Qrha/Manifest.toml` [5ecd16ac] Liblet v0.1.0 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.0 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 Testing Running tests... Precompiling packages... Info Given Liblet was explicitly requested, output will be shown live  WARNING: Method definition map(Any, Base.Set{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:7 overwritten on the same line (check for duplicate calls to `include`). ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. 858.2 ms ? Liblet WARNING: Method definition map(Any, Base.Set{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:7 overwritten on the same line (check for duplicate calls to `include`). ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. WARNING: Method definition map(Any, Base.Set{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:7 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition -(Base.AbstractSet{T} where T, Base.AbstractSet{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:9 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition -(Base.AbstractSet{T} where T, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:11 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.AbstractProduction :: Union{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition (::Type{Liblet.Production})(Any, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:19 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Production :: Union{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition parseproduction(AbstractString) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:51 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition parseproduction(AbstractString, Bool) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:51 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.parseproduction :: Union{Tuple{AbstractString}, Tuple{AbstractString, Bool}}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition suchthat() in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:74 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(Liblet.suchthat)) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:74 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.suchthat :: Tuple{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition astype0(Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:96 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.astype0 :: Tuple{Liblet.Production}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition ==(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:100 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition <(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:102 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition hash(Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:104 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show(IO, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:106 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition iterate(Liblet.Production, Any...) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition isless(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:110 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{Liblet.Grammar})(Base.Set{T} where T, Base.Set{T} where T, Array{T, N} where N where T, AbstractString, Bool) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:9 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{Liblet.Grammar})(Any, Any, Any, Any, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:9 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Grammar :: Union{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition (::Type{Liblet.Grammar})(Any, Any, Any, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:26 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Grammar :: NTuple{4, Any}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition (::Type{Liblet.Grammar})(AbstractString) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:51 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{Liblet.Grammar})(AbstractString, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:51 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Grammar :: Union{Tuple{AbstractString}, Tuple{AbstractString, Any}}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition alternatives(Liblet.Grammar, Union{AbstractString, Base.AbstractSet{T} where T, AbstractArray{T, N} where N where T}) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:81 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.alternatives :: Tuple{Liblet.Grammar, Union{AbstractString, AbstractSet, AbstractArray}}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition restrict(Liblet.Grammar, Base.Set{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:87 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.restrict :: Tuple{Liblet.Grammar, Set}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition ==(Liblet.Grammar, Liblet.Grammar) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:91 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition hash(Liblet.Grammar) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:93 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show(IO, Liblet.Grammar) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:95 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition map(Any, Base.Set{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:7 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition -(Base.AbstractSet{T} where T, Base.AbstractSet{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:9 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition -(Base.AbstractSet{T} where T, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:11 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.AbstractProduction :: Union{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition (::Type{Liblet.Production})(Any, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:19 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Production :: Union{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition parseproduction(AbstractString) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:51 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition parseproduction(AbstractString, Bool) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:51 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.parseproduction :: Union{Tuple{AbstractString}, Tuple{AbstractString, Bool}}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition suchthat() in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:74 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(Liblet.suchthat)) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:74 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.suchthat :: Tuple{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition astype0(Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:96 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.astype0 :: Tuple{Liblet.Production}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition ==(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:100 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition <(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:102 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition hash(Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:104 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show(IO, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:106 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition iterate(Liblet.Production, Any...) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition isless(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:110 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{Liblet.Grammar})(Base.Set{T} where T, Base.Set{T} where T, Array{T, N} where N where T, AbstractString, Bool) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:9 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{Liblet.Grammar})(Any, Any, Any, Any, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:9 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Grammar :: Union{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition (::Type{Liblet.Grammar})(Any, Any, Any, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:26 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Grammar :: NTuple{4, Any}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition (::Type{Liblet.Grammar})(AbstractString) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:51 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{Liblet.Grammar})(AbstractString, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:51 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Grammar :: Union{Tuple{AbstractString}, Tuple{AbstractString, Any}}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition alternatives(Liblet.Grammar, Union{AbstractString, Base.AbstractSet{T} where T, AbstractArray{T, N} where N where T}) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:81 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.alternatives :: Tuple{Liblet.Grammar, Union{AbstractString, AbstractSet, AbstractArray}}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition restrict(Liblet.Grammar, Base.Set{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:87 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.restrict :: Tuple{Liblet.Grammar, Set}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition ==(Liblet.Grammar, Liblet.Grammar) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:91 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition hash(Liblet.Grammar) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:93 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show(IO, Liblet.Grammar) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/grammar.jl:95 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition map(Any, Base.Set{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:7 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition -(Base.AbstractSet{T} where T, Base.AbstractSet{T} where T) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:9 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition -(Base.AbstractSet{T} where T, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/utils.jl:11 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.AbstractProduction :: Union{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition (::Type{Liblet.Production})(Any, Any) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:19 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.Production :: Union{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition parseproduction(AbstractString) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:51 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition parseproduction(AbstractString, Bool) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:51 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.parseproduction :: Union{Tuple{AbstractString}, Tuple{AbstractString, Bool}}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition suchthat() in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:74 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(Liblet.suchthat)) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:74 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.suchthat :: Tuple{}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition astype0(Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:96 overwritten on the same line (check for duplicate calls to `include`). ┌ Warning: Replacing docs for `Liblet.astype0 :: Tuple{Liblet.Production}` in module `Liblet` └ @ Base.Docs docs/Docs.jl:249 WARNING: Method definition ==(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:100 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition <(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:102 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition hash(Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:104 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show(IO, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:106 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition iterate(Liblet.Production, Any...) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition isless(Liblet.Production, Liblet.Production) in module Liblet at /home/pkgeval/.julia/packages/Liblet/Wj2Jm/src/production.jl:110 overwritten on the same line (check for duplicate calls to `include`). Test Summary: | Pass Total Time grammar_tests | 10 10 6.5s Test Summary: | Pass Total Time grammar_tests | 10 10 0.0s Test Summary: | Pass Total Time production_tests | 14 14 0.2s Test Summary: | Pass Total Time automaton_tests | 7 7 1.9s Test Summary: | Pass Total Time transition_tests | 11 11 0.2s Test Summary: | Pass Total Time derivation_tests | 21 21 1.9s Test Summary: | Pass Total Time item_tests | 9 9 0.1s Testing Liblet tests passed Testing completed after 40.47s PkgEval succeeded after 72.12s