Package evaluation of ComputabilityTheory on Julia 1.13.0-DEV.140 (fac1ce7906*) started at 2025-03-02T07:54:39.256 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.89s ################################################################################ # Installation # Installing ComputabilityTheory... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [1aac4ff9] + ComputabilityTheory v0.1.1 Updating `~/.julia/environments/v1.13/Manifest.toml` [1aac4ff9] + ComputabilityTheory v0.1.1 [de0858da] + Printf v1.11.0 [4ec0a83e] + Unicode v1.11.0 Installation completed after 0.85s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 15.28s ################################################################################ # Testing # Testing ComputabilityTheory Status `/tmp/jl_pcQc1C/Project.toml` [1aac4ff9] ComputabilityTheory v0.1.1 [de0858da] Printf v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_pcQc1C/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 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... 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 7.1s 7.525512 seconds (8.41 M allocations: 305.011 MiB, 5.32% gc time, 93.42% compilation time) Testing ComputabilityTheory tests passed Testing completed after 18.59s PkgEval succeeded after 52.95s