Package evaluation to test ComputabilityTheory on Julia 1.14.0-DEV.30 (073666df8b*) started at 2025-11-04T12:22:46.395 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.52s ################################################################################ # Installation # Installing ComputabilityTheory... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [1aac4ff9] + ComputabilityTheory v0.1.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [1aac4ff9] + ComputabilityTheory v0.1.1 [de0858da] + Printf v1.11.0 [4ec0a83e] + Unicode v1.11.0 Installation completed after 0.98s ################################################################################ # 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... 450.4 ms ? ComputabilityTheory Precompilation completed after 13.05s ################################################################################ # Testing # Testing ComputabilityTheory Status `/tmp/jl_7cspcM/Project.toml` [1aac4ff9] ComputabilityTheory v0.1.1 [de0858da] Printf v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_7cspcM/Manifest.toml` [1aac4ff9] ComputabilityTheory v0.1.1 [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 ∸(Number, Number) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:15 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:24 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:25 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:26 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Algebra})() in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:32 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Base.Val{n}, Integer) where {n} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:40 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:59 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:61 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:67 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:71 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:86 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:101 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:111 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(AbstractArray{var"#s7", N} where N where var"#s7"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:112 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Tuple{Integer, Integer}) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:115 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:122 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(AbstractArray{var"#s7", N} where N where var"#s7"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:123 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition ∸(Number, Number) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:15 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:24 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:25 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:26 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Algebra})() in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:32 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Base.Val{n}, Integer) where {n} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:40 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:59 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:61 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:67 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:71 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:86 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:101 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:111 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(AbstractArray{var"#s7", N} where N where var"#s7"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:112 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Tuple{Integer, Integer}) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:115 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:122 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(AbstractArray{var"#s7", N} where N where var"#s7"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:123 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition ∸(Number, Number) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:15 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:24 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:25 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:26 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Algebra})() in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:32 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Base.Val{n}, Integer) where {n} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:40 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:59 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:61 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:67 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:71 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:86 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:101 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:111 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(AbstractArray{var"#s39", N} where N where var"#s39"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:112 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Tuple{Integer, Integer}) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:115 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:122 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(AbstractArray{var"#s39", N} where N where var"#s39"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:123 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Instruction})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:44 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Instruction})(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:59 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Instruction})(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:83 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Sequence})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:91 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Sequence})(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:98 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Sequence})(Integer, Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:117 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Sequence})(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:118 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition increment(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:121 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition decrement(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:122 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition goto(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:123 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition ifzero_goto(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:124 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition ifzero_goto(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:125 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition halt() in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:126 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.GoToProgramme})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:135 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show_programme(IO, ComputabilityTheory.GoToProgramme) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:180 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show_programme(IO, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:214 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show_programme(ComputabilityTheory.GoToProgramme) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:217 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show_programme(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:218 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition rand(Type{T}, Integer) where {T<:ComputabilityTheory.GoToProgramme} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:220 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(Base.rand), Type{T}, Integer) where {T<:ComputabilityTheory.GoToProgramme} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:220 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition rand(Type{T}) where {T<:ComputabilityTheory.GoToProgramme} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:225 overwritten on the same line (check for duplicate calls to `include`). Test Summary: | Pass Total Time ComputabilityTheory.jl | 44 44 8.7s 9.119955 seconds (26.62 M allocations: 751.031 MiB, 9.12% gc time, 73.66% compilation time) Testing ComputabilityTheory tests passed Testing completed after 20.21s PkgEval succeeded after 53.03s