Package evaluation of SigmaProofs on Julia 1.13.0-DEV.655 (3a5e1f15ec*) started at 2025-05-29T13:14:34.320 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.55s ################################################################################ # Installation # Installing SigmaProofs... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [f8559b4c] + SigmaProofs v0.2.4 Updating `~/.julia/environments/v1.13/Manifest.toml` [c3b6d118] + BitIntegers v0.3.5 [bc997328] + CryptoGroups v0.6.1 [d846c407] + CryptoPRG v0.2.0 [04afed74] + CryptoUtils v0.1.1 [18e54dd8] + IntegerMathUtils v0.1.2 [692b3bcd] + JLLWrappers v1.7.0 [49dea1ee] + Nettle v1.0.0 [21216c6a] + Preferences v1.4.3 [27ebfcd6] + Primes v0.5.7 [f8559b4c] + SigmaProofs v0.2.4 [4c82536e] + Nettle_jll v3.10.1+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 Installation completed after 4.05s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... ERROR: LoadError: The following 1 direct dependency failed to precompile: SigmaProofs Failed to precompile SigmaProofs [f8559b4c-f045-44a2-8db2-503e40bb7416] to "/home/pkgeval/.julia/compiled/v1.13/SigmaProofs/jl_VoDUbA" (ProcessExited(1)). ERROR: LoadError: syntax: internal bug: ssavalue with no def Stacktrace: [1] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9 [2] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:309 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:3000 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2846 [9] include_string @ ./loading.jl:2856 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:329 [11] _start() @ Base ./client.jl:564 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin: in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 23.53s ################################################################################ # Testing # Testing SigmaProofs Status `/tmp/jl_YfR3UX/Project.toml` [c3b6d118] BitIntegers v0.3.5 [bc997328] CryptoGroups v0.6.1 [d846c407] CryptoPRG v0.2.0 [04afed74] CryptoUtils v0.1.1 [1bc83da4] SafeTestsets v0.1.0 [f8559b4c] SigmaProofs v0.2.4 [b77e0a4c] InteractiveUtils v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_YfR3UX/Manifest.toml` [c3b6d118] BitIntegers v0.3.5 [bc997328] CryptoGroups v0.6.1 [d846c407] CryptoPRG v0.2.0 [04afed74] CryptoUtils v0.1.1 [18e54dd8] IntegerMathUtils v0.1.2 [692b3bcd] JLLWrappers v1.7.0 [49dea1ee] Nettle v1.0.0 [21216c6a] Preferences v1.4.3 [27ebfcd6] Primes v0.5.7 [1bc83da4] SafeTestsets v0.1.0 [f8559b4c] SigmaProofs v0.2.4 [4c82536e] Nettle_jll v3.10.1+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [8f399da3] Libdl v1.11.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 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [781609d7] GMP_jll v6.3.0+2 Testing Running tests... Precompiling packages... Info Given SigmaProofs was explicitly requested, output will be shown live  ERROR: LoadError: syntax: internal bug: ssavalue with no def Stacktrace:  [1] top-level scope  @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9  [2] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:310  [3] top-level scope  @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55  [4] include(mod::Module, _path::String)  @ Base ./Base.jl:309  [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3000  [6] top-level scope  @ stdin:5  [7] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2846  [9] include_string  @ ./loading.jl:2856 [inlined]  [10] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:329  [11] _start()  @ Base ./client.jl:564 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin:5 ✗ SigmaProofs 0 dependencies successfully precompiled in 8 seconds. 20 already precompiled. Testing ElGamal: Error During Test at /home/pkgeval/.julia/packages/SafeTestsets/raUNr/src/SafeTestsets.jl:30 Got exception outside of a @test LoadError: The following 1 direct dependency failed to precompile: SigmaProofs Failed to precompile SigmaProofs [f8559b4c-f045-44a2-8db2-503e40bb7416] to "/home/pkgeval/.julia/compiled/v1.13/SigmaProofs/jl_BtmoHD" (ProcessExited(1)). ERROR: LoadError: syntax: internal bug: ssavalue with no def Stacktrace: [1] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9 [2] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:309 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:3000 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2846 [9] include_string @ ./loading.jl:2856 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:329 [11] _start() @ Base ./client.jl:564 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin: in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/test/elgamal.jl:4 Test Summary: | Error Total Time Testing ElGamal | 1 1 9.0s RNG of the outermost testset: Random.Xoshiro(0x1bb8a2d37b34abbc, 0x606903d847f7c90c, 0xafa0dcb0a1ab3cc7, 0xfaf26776b4481ffc, 0x87b8d20e696d16a7) ERROR: LoadError: Some tests did not pass: 0 passed, 0 failed, 1 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/test/runtests.jl:3 Testing failed after 21.48s ERROR: LoadError: Package SigmaProofs 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:2421 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2276 [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:498 [5] 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:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:309 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:331 [12] _start() @ Base ./client.jl:564 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 73.18s: package has syntax issues