Package evaluation of SigmaProofs on Julia 1.12.0-DEV.2153 (83dcbd426d*) started at 2025-03-31T10:36:17.537 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.42s ################################################################################ # Installation # Installing SigmaProofs... Resolving package versions... Installed BitIntegers ────── v0.3.5 Installed JLLWrappers ────── v1.7.0 Installed Preferences ────── v1.4.3 Installed SigmaProofs ────── v0.2.4 Installed CryptoUtils ────── v0.1.1 Installed CryptoPRG ──────── v0.2.0 Installed IntegerMathUtils ─ v0.1.2 Installed Nettle ─────────── v1.0.0 Installed Primes ─────────── v0.5.7 Installed Nettle_jll ─────── v3.10.1+0 Installed CryptoGroups ───── v0.6.1 Installing 1 artifacts Installed artifact Nettle 8.4 MiB Updating `~/.julia/environments/v1.12/Project.toml` [f8559b4c] + SigmaProofs v0.2.4 Updating `~/.julia/environments/v1.12/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 [781609d7] + GMP_jll v6.3.0+2 Installation completed after 6.03s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 6964.2 ms ✓ TestEnv 1 dependency successfully precompiled in 9 seconds. 25 already precompiled. 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.12/SigmaProofs/jl_OAxByy". (ssavalue 4385) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 4385) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 4385)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4386)) (latestworld) (return (null)))) ERROR: LoadError: syntax: 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:304 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [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:3015 [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:2861 [9] include_string @ ./loading.jl:2871 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [11] _start() @ Base ./client.jl:560 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 55.24s ################################################################################ # Testing # Testing SigmaProofs Status `/tmp/jl_YVJyew/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_YVJyew/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 [781609d7] GMP_jll v6.3.0+2 Testing Running tests... Precompiling packages... Info Given SigmaProofs was explicitly requested, output will be shown live  (ssavalue 4648) (lambda ()  (((#s25 (core Any) 2))  () 0 ())  (block (global DEFAULT_VERIFIER) (latestworld)  (block (= (ssavalue 4648) (call (core TypeVar) '#s25  (globalref (thismodule) Verifier)))  (block (null) (null) (null)  (= #s25 (ssavalue 4648))  (call (core UnionAll) #s25  (call (core apply_type)  (globalref (thismodule) Type) #s25))))  (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4649))  (latestworld) (return (null)))) ERROR: LoadError: syntax: 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:304  [3] top-level scope  @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55  [4] include(mod::Module, _path::String)  @ Base ./Base.jl:303  [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:3015  [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:2861  [9] include_string  @ ./loading.jl:2871 [inlined]  [10] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:326  [11] _start()  @ Base ./client.jl:560 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 10 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.12/SigmaProofs/jl_KlYhhK". (ssavalue 4648) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 4648) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 4648)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4649)) (latestworld) (return (null)))) ERROR: LoadError: syntax: 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:304 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [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:3015 [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:2861 [9] include_string @ ./loading.jl:2871 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [11] _start() @ Base ./client.jl:560 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 11.6s RNG of the outermost testset: Random.Xoshiro(0x0457677ef15747cc, 0x5bce8455a7cd4891, 0xd4b4a265d49c8f78, 0xa2e44467bf310922, 0xb387ff534a252ec5) 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 24.05s ERROR: LoadError: Package SigmaProofs errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.12/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.12/Pkg/src/Operations.jl:2365 [3] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2220 [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.12/Pkg/src/API.jl:486 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.12/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:303 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [12] _start() @ Base ./client.jl:560 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 111.02s: package has syntax issues