Package evaluation to test Liblet on Julia 1.14.0-DEV.30 (073666df8b*) started at 2025-11-04T12:29:40.168 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.99s ################################################################################ # Installation # Installing Liblet... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [5ecd16ac] + Liblet v0.1.0 Updating `~/.julia/environments/v1.14/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 v1.0.0 [9e88b42a] + Serialization v1.11.0 [f489334b] + StyledStrings v1.11.0 [8dfed614] + Test v1.11.0 [4ec0a83e] + Unicode v1.11.0 Installation completed after 1.02s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Error: Failed to use TestEnv.jl; test dependencies will not be precompiled │ exception = │ UndefVarError: `project_rel_path` not defined in `TestEnv` │ Suggestion: this global was defined as `Pkg.Operations.project_rel_path` but not assigned a value. │ Stacktrace: │ [1] get_test_dir(ctx::Pkg.Types.Context, pkgspec::PackageSpec) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:75 │ [2] test_dir_has_project_file │ @ ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:52 [inlined] │ [3] maybe_gen_project_override! │ @ ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:83 [inlined] │ [4] activate(pkg::String; allow_reresolve::Bool) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:12 │ [5] activate(pkg::String) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:9 │ [6] top-level scope │ @ /PkgEval.jl/scripts/precompile.jl:24 │ [7] include(mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [8] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:344 │ [9] _start() │ @ Base ./client.jl:577 └ @ Main /PkgEval.jl/scripts/precompile.jl:26 Precompiling package dependencies... Precompiling packages... 922.3 ms ? Liblet Precompilation completed after 13.86s ################################################################################ # Testing # Testing Liblet Status `/tmp/jl_j5F56n/Project.toml` [5ecd16ac] Liblet v0.1.0 [de0858da] Printf v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_j5F56n/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 v1.0.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.0 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 Testing Running tests... 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:253 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:253 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:253 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:253 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:253 WARNING: Method definition var"=="(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:253 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:253 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:253 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:253 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:253 WARNING: Method definition var"=="(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:253 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:253 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:253 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:253 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:253 WARNING: Method definition var"=="(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:253 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:253 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:253 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:253 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:253 WARNING: Method definition var"=="(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:253 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:253 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:253 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:253 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:253 WARNING: Method definition var"=="(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.3s 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.8s Test Summary: | Pass Total Time transition_tests | 11 11 0.2s Test Summary: | Pass Total Time derivation_tests | 21 21 2.0s Test Summary: | Pass Total Time item_tests | 9 9 0.1s Testing Liblet tests passed Testing completed after 39.74s PkgEval succeeded after 77.03s