Oh updated wrapper #23
Annotations
15 warnings
|
Run actions-rust-lang/setup-rust-toolchain@v1
Cache not found for keys: v0-rust-tests-Linux-x64-0cffbaa0-e57ef953, v0-rust-tests-Linux-x64-0cffbaa0
|
|
tests:
src/lib.rs#L3
the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
tests:
src/wrapper_inner_verifier/imports/circuit_quotient.rs#L6769
value assigned to `final_borrow_minus_one` is never read
|
|
tests:
src/circuits/risc_wrapper.rs#L355
the type `final_reduced_risc_v_machine_verifier::verifier_common::ProofOutput<64, 2, 1, 1>` does not permit being left uninitialized
|
|
tests:
src/circuits/risc_wrapper.rs#L366
the type `final_reduced_risc_v_machine_verifier::ProofPublicInputs<2>` does not permit being left uninitialized
|
|
tests:
src/wrapper_inner_verifier/skeleton.rs#L242
the type `ProofSkeleton<2, 64, 2, 4, 1, 1, 4, 216, 5, 4, 512, 64>` does not permit being left uninitialized
|
|
tests:
src/wrapper_inner_verifier/skeleton.rs#L479
the type `QueryValues<26, 19, 36, 8, 136, 30, 140, 4, 256, 5>` does not permit being left uninitialized
|
|
tests:
src/wrapper_inner_verifier/skeleton.rs#L242
the type `ProofSkeleton<2, 64, 2, 4, 1, 1, 4, 216, 5, 4, 512, 64>` does not permit being left uninitialized
|
|
tests:
src/wrapper_inner_verifier/skeleton.rs#L479
the type `QueryValues<26, 19, 36, 8, 136, 30, 140, 4, 256, 5>` does not permit being left uninitialized
|
|
Compile:
src/lib.rs#L3
the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
Compile:
src/wrapper_inner_verifier/imports/circuit_quotient.rs#L6769
value assigned to `final_borrow_minus_one` is never read
|
|
Compile:
src/circuits/risc_wrapper.rs#L355
the type `final_reduced_risc_v_machine_verifier::verifier_common::ProofOutput<64, 2, 1, 1>` does not permit being left uninitialized
|
|
Compile:
src/circuits/risc_wrapper.rs#L366
the type `final_reduced_risc_v_machine_verifier::ProofPublicInputs<2>` does not permit being left uninitialized
|
|
Compile:
src/wrapper_inner_verifier/skeleton.rs#L242
the type `ProofSkeleton<2, 64, 2, 4, 1, 1, 4, 216, 5, 4, 512, 64>` does not permit being left uninitialized
|
|
Compile:
src/wrapper_inner_verifier/skeleton.rs#L479
the type `QueryValues<26, 19, 36, 8, 136, 30, 140, 4, 256, 5>` does not permit being left uninitialized
|
Loading