[INFO] cloning repository https://github.com/de-mo/rust_verifier [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/de-mo/rust_verifier" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7b46c20481144cadbad7efbe2ec9adf18a40feec [INFO] testing de-mo/rust_verifier/7b46c20481144cadbad7efbe2ec9adf18a40feec against master#8c0ec05f7dc9ef185eea9f36c5638e74e43935bf for pr-130285 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/de-mo/rust_verifier on toolchain 8c0ec05f7dc9ef185eea9f36c5638e74e43935bf [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8c0ec05f7dc9ef185eea9f36c5638e74e43935bf" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/de-mo/rust_verifier [INFO] finished tweaking git repo https://github.com/de-mo/rust_verifier [INFO] tweaked toml for git repo https://github.com/de-mo/rust_verifier written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/de-mo/rust_verifier already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8c0ec05f7dc9ef185eea9f36c5638e74e43935bf" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded enum-kinds v0.5.1 [INFO] [stderr] Downloaded rug-miller-rabin v0.1.0 [INFO] [stderr] Downloaded zip-extract v0.2.1 [INFO] [stderr] Downloaded rust_ev_crypto_primitives v0.6.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:96c0aa5895ecf336b730ef27bcdde6e21027415df19888aad3cf1448e5d65d90" "/opt/rustwide/cargo-home/bin/cargo" "+8c0ec05f7dc9ef185eea9f36c5638e74e43935bf" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1ebc6a7036a1913bad159cbeb3dea5ef86509185b5360fe231cc882fdcc7fcce [INFO] running `Command { std: "docker" "start" "-a" "1ebc6a7036a1913bad159cbeb3dea5ef86509185b5360fe231cc882fdcc7fcce", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1ebc6a7036a1913bad159cbeb3dea5ef86509185b5360fe231cc882fdcc7fcce", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1ebc6a7036a1913bad159cbeb3dea5ef86509185b5360fe231cc882fdcc7fcce", kill_on_drop: false }` [INFO] [stdout] 1ebc6a7036a1913bad159cbeb3dea5ef86509185b5360fe231cc882fdcc7fcce [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:96c0aa5895ecf336b730ef27bcdde6e21027415df19888aad3cf1448e5d65d90" "/opt/rustwide/cargo-home/bin/cargo" "+8c0ec05f7dc9ef185eea9f36c5638e74e43935bf" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3fe118ead461b0cd65c6b0bc5e9d4783e3f1a4c616355a915cdd05f06b58eec4 [INFO] running `Command { std: "docker" "start" "-a" "3fe118ead461b0cd65c6b0bc5e9d4783e3f1a4c616355a915cdd05f06b58eec4", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.158 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling subtle v2.6.1 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling cpufeatures v0.2.14 [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.4 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling jobserver v0.1.32 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling zstd-safe v7.2.1 [INFO] [stderr] Compiling syn v2.0.77 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling cc v1.1.18 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling thiserror v1.0.63 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Compiling crossbeam-deque v0.8.5 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling crc32fast v1.4.2 [INFO] [stderr] Compiling crc-catalog v2.4.0 [INFO] [stderr] Compiling powerfmt v0.2.0 [INFO] [stderr] Compiling rustversion v1.0.17 [INFO] [stderr] Compiling adler2 v2.0.0 [INFO] [stderr] Compiling rug v1.26.1 [INFO] [stderr] Compiling serde v1.0.210 [INFO] [stderr] Compiling deranged v0.3.11 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling inout v0.1.3 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling miniz_oxide v0.8.0 [INFO] [stderr] Compiling cipher v0.4.4 [INFO] [stderr] Compiling hmac v0.12.1 [INFO] [stderr] Compiling crc v3.2.1 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling base64ct v1.6.0 [INFO] [stderr] Compiling openssl v0.10.66 [INFO] [stderr] Compiling zstd-sys v2.0.13+zstd.1.5.6 [INFO] [stderr] Compiling bzip2-sys v0.1.11+1.0.8 [INFO] [stderr] Compiling openssl-sys v0.9.103 [INFO] [stderr] Compiling lockfree-object-pool v0.1.6 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling foreign-types-shared v0.1.1 [INFO] [stderr] Compiling simd-adler32 v0.3.7 [INFO] [stderr] Compiling num-conv v0.1.0 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling time-core v0.1.2 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling zip v2.2.0 [INFO] [stderr] Compiling bumpalo v3.16.0 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling time v0.3.36 [INFO] [stderr] Compiling zopfli v0.8.1 [INFO] [stderr] Compiling indexmap v2.5.0 [INFO] [stderr] Compiling bzip2 v0.4.4 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling foreign-types v0.3.2 [INFO] [stderr] Compiling password-hash v0.5.0 [INFO] [stderr] Compiling flate2 v1.0.33 [INFO] [stderr] Compiling lzma-rs v0.3.0 [INFO] [stderr] Compiling pbkdf2 v0.12.2 [INFO] [stderr] Compiling aes v0.8.4 [INFO] [stderr] Compiling blake2 v0.10.6 [INFO] [stderr] Compiling sha1 v0.10.6 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling serde_json v1.0.128 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling constant_time_eq v0.3.1 [INFO] [stderr] Compiling deflate64 v0.1.9 [INFO] [stderr] Compiling iana-time-zone v0.1.60 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling regex-syntax v0.8.4 [INFO] [stderr] Compiling chrono v0.4.38 [INFO] [stderr] Compiling argon2 v0.5.3 [INFO] [stderr] Compiling tracing-core v0.1.32 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling thiserror-impl v1.0.63 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling serde_derive v1.0.210 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ppv-lite86 v0.2.20 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling regex-automata v0.4.7 [INFO] [stderr] Compiling strum_macros v0.26.4 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling data-encoding v2.6.0 [INFO] [stderr] Compiling pin-project-lite v0.2.14 [INFO] [stderr] Compiling itoa v1.0.11 [INFO] [stderr] Compiling ryu v1.0.18 [INFO] [stderr] Compiling tracing v0.1.40 [INFO] [stderr] Compiling enum-kinds v0.5.1 [INFO] [stderr] Compiling glob v0.3.1 [INFO] [stderr] Compiling regex v1.10.6 [INFO] [stderr] Compiling strum v0.26.3 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling roxmltree v0.20.0 [INFO] [stderr] Compiling zstd v0.13.2 [INFO] [stderr] Compiling quick-xml v0.36.1 [INFO] [stderr] Compiling zip-extract v0.2.1 [INFO] [stderr] Compiling rug-miller-rabin v0.1.0 [INFO] [stderr] Compiling rust_ev_crypto_primitives v0.6.0 [INFO] [stderr] Compiling rust_verifier v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `file_structure::VerificationDirectory` [INFO] [stdout] --> src/application_runner/extract.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | file_structure::VerificationDirectory, verification::VerificationPeriod, Config, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `XMLError` [INFO] [stdout] --> src/data_structures/xml/schema.rs:12:26 [INFO] [stdout] | [INFO] [stdout] 12 | use super::{SchemaError, XMLError}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:462:45 [INFO] [stdout] | [INFO] [stdout] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 462 | fn schema_node_type(&'a self) -> Option { [INFO] [stdout] | ^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(elided_named_lifetimes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/direct_trust.rs:205:42 [INFO] [stdout] | [INFO] [stdout] 188 | pub trait VerifiySignatureTrait<'a> [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 205 | fn get_context_hashable(&'a self) -> HashableMessage { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/verification/suite.rs:56:43 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> VerificationSuite<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn verifications(&'a self) -> &'a VerificationList { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/verification/suite.rs:64:55 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> VerificationSuite<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 64 | pub fn verifications_mut(&'a mut self) -> &'a mut VerificationList { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `hashable_from_option` is never used [INFO] [stdout] --> src/data_structures/xml/mod.rs:145:8 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn hashable_from_option<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `contains_schema`, and `contains_schema_with_namespace_name` are never used [INFO] [stdout] --> src/data_structures/xml/schema.rs:229:12 [INFO] [stdout] | [INFO] [stdout] 154 | impl<'a> Schema<'a> { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 229 | pub fn new(schema_kind: Option, xsd_str: &'static str) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 285 | pub fn contains_schema(&self, namespace: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 291 | pub fn contains_schema_with_namespace_name(&self, namespace_name: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `schema` is never read [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct ElementNode { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 13 | schema: &'static Schema<'static>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_native`, `unwrap_complex_type`, and `unwrap_native` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 48 | impl ElementNodeKind { [INFO] [stdout] | -------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn is_native(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 83 | pub fn unwrap_complex_type(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 94 | pub fn unwrap_native(&self) -> &str { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_choice`, `try_unwrap_choice`, and `unwrap_choice` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:235:12 [INFO] [stdout] | [INFO] [stdout] 223 | impl ComplexTypeChildKind { [INFO] [stdout] | ------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 235 | pub fn is_choice(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 262 | fn try_unwrap_choice(&self) -> Result<&Vec, SchemaError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 294 | fn unwrap_choice(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_schema_type`, `min_occurs`, `max_occurs`, `children_of_sequence_or_choice`, and `children_complex_type` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:438:8 [INFO] [stdout] | [INFO] [stdout] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -------------------------- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 438 | fn is_schema_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 448 | fn min_occurs(&'a self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 454 | fn max_occurs(&'a self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 470 | fn children_of_sequence_or_choice(&'a self) -> Result, SchemaError>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 478 | fn children_complex_type(&'a self) -> Result, SchemaError>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `tally_component_votes_payload_file` is never used [INFO] [stdout] --> src/file_structure/tally_directory.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 69 | pub trait BBDirectoryTrait: CompletnessTestTrait { [INFO] [stdout] | ---------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 78 | fn tally_component_votes_payload_file(&self) -> &File; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 13 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 56s [INFO] running `Command { std: "docker" "inspect" "3fe118ead461b0cd65c6b0bc5e9d4783e3f1a4c616355a915cdd05f06b58eec4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3fe118ead461b0cd65c6b0bc5e9d4783e3f1a4c616355a915cdd05f06b58eec4", kill_on_drop: false }` [INFO] [stdout] 3fe118ead461b0cd65c6b0bc5e9d4783e3f1a4c616355a915cdd05f06b58eec4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:96c0aa5895ecf336b730ef27bcdde6e21027415df19888aad3cf1448e5d65d90" "/opt/rustwide/cargo-home/bin/cargo" "+8c0ec05f7dc9ef185eea9f36c5638e74e43935bf" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f46411508483ff6c299f08fc048bfe48bae062812184025936330c85910c438d [INFO] running `Command { std: "docker" "start" "-a" "f46411508483ff6c299f08fc048bfe48bae062812184025936330c85910c438d", kill_on_drop: false }` [INFO] [stderr] Compiling rust_verifier v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `file_structure::VerificationDirectory` [INFO] [stdout] --> src/application_runner/extract.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | file_structure::VerificationDirectory, verification::VerificationPeriod, Config, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `XMLError` [INFO] [stdout] --> src/data_structures/xml/schema.rs:12:26 [INFO] [stdout] | [INFO] [stdout] 12 | use super::{SchemaError, XMLError}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:462:45 [INFO] [stdout] | [INFO] [stdout] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 462 | fn schema_node_type(&'a self) -> Option { [INFO] [stdout] | ^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(elided_named_lifetimes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/direct_trust.rs:205:42 [INFO] [stdout] | [INFO] [stdout] 188 | pub trait VerifiySignatureTrait<'a> [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 205 | fn get_context_hashable(&'a self) -> HashableMessage { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/verification/suite.rs:56:43 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> VerificationSuite<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn verifications(&'a self) -> &'a VerificationList { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/verification/suite.rs:64:55 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> VerificationSuite<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 64 | pub fn verifications_mut(&'a mut self) -> &'a mut VerificationList { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `hashable_from_option` is never used [INFO] [stdout] --> src/data_structures/xml/mod.rs:145:8 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn hashable_from_option<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `contains_schema`, and `contains_schema_with_namespace_name` are never used [INFO] [stdout] --> src/data_structures/xml/schema.rs:229:12 [INFO] [stdout] | [INFO] [stdout] 154 | impl<'a> Schema<'a> { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 229 | pub fn new(schema_kind: Option, xsd_str: &'static str) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 285 | pub fn contains_schema(&self, namespace: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 291 | pub fn contains_schema_with_namespace_name(&self, namespace_name: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `schema` is never read [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct ElementNode { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 13 | schema: &'static Schema<'static>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_native`, `unwrap_complex_type`, and `unwrap_native` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 48 | impl ElementNodeKind { [INFO] [stdout] | -------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn is_native(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 83 | pub fn unwrap_complex_type(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 94 | pub fn unwrap_native(&self) -> &str { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_choice`, `try_unwrap_choice`, and `unwrap_choice` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:235:12 [INFO] [stdout] | [INFO] [stdout] 223 | impl ComplexTypeChildKind { [INFO] [stdout] | ------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 235 | pub fn is_choice(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 262 | fn try_unwrap_choice(&self) -> Result<&Vec, SchemaError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 294 | fn unwrap_choice(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_schema_type`, `min_occurs`, `max_occurs`, `children_of_sequence_or_choice`, and `children_complex_type` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:438:8 [INFO] [stdout] | [INFO] [stdout] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -------------------------- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 438 | fn is_schema_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 448 | fn min_occurs(&'a self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 454 | fn max_occurs(&'a self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 470 | fn children_of_sequence_or_choice(&'a self) -> Result, SchemaError>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 478 | fn children_complex_type(&'a self) -> Result, SchemaError>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `tally_component_votes_payload_file` is never used [INFO] [stdout] --> src/file_structure/tally_directory.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 69 | pub trait BBDirectoryTrait: CompletnessTestTrait { [INFO] [stdout] | ---------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 78 | fn tally_component_votes_payload_file(&self) -> &File; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 13 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `file_structure::VerificationDirectory` [INFO] [stdout] --> src/application_runner/extract.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | file_structure::VerificationDirectory, verification::VerificationPeriod, Config, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `XMLError` [INFO] [stdout] --> src/data_structures/xml/schema.rs:12:26 [INFO] [stdout] | [INFO] [stdout] 12 | use super::{SchemaError, XMLError}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:462:45 [INFO] [stdout] | [INFO] [stdout] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 462 | fn schema_node_type(&'a self) -> Option { [INFO] [stdout] | ^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(elided_named_lifetimes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/direct_trust.rs:205:42 [INFO] [stdout] | [INFO] [stdout] 188 | pub trait VerifiySignatureTrait<'a> [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 205 | fn get_context_hashable(&'a self) -> HashableMessage { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/verification/suite.rs:56:43 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> VerificationSuite<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn verifications(&'a self) -> &'a VerificationList { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/verification/suite.rs:64:55 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> VerificationSuite<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 64 | pub fn verifications_mut(&'a mut self) -> &'a mut VerificationList { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `hashable_from_option` is never used [INFO] [stdout] --> src/data_structures/xml/mod.rs:145:8 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn hashable_from_option<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `contains_schema` and `contains_schema_with_namespace_name` are never used [INFO] [stdout] --> src/data_structures/xml/schema.rs:285:12 [INFO] [stdout] | [INFO] [stdout] 154 | impl<'a> Schema<'a> { [INFO] [stdout] | ------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 285 | pub fn contains_schema(&self, namespace: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 291 | pub fn contains_schema_with_namespace_name(&self, namespace_name: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `schema` is never read [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct ElementNode { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 13 | schema: &'static Schema<'static>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `unwrap_complex_type` and `unwrap_native` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:83:12 [INFO] [stdout] | [INFO] [stdout] 48 | impl ElementNodeKind { [INFO] [stdout] | -------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 83 | pub fn unwrap_complex_type(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 94 | pub fn unwrap_native(&self) -> &str { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `unwrap_choice` is never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:294:8 [INFO] [stdout] | [INFO] [stdout] 223 | impl ComplexTypeChildKind { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 294 | fn unwrap_choice(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_schema_type` is never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:438:8 [INFO] [stdout] | [INFO] [stdout] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -------------------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 438 | fn is_schema_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `location` and `dir` are never read [INFO] [stdout] --> src/file_structure/setup_directory.rs:334:9 [INFO] [stdout] | [INFO] [stdout] 333 | pub struct MockSetupDirectory { [INFO] [stdout] | ------------------ fields in this struct [INFO] [stdout] 334 | location: PathBuf, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 335 | dir: SetupDirectory, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `location` is never read [INFO] [stdout] --> src/file_structure/tally_directory.rs:374:9 [INFO] [stdout] | [INFO] [stdout] 373 | pub struct MockTallyDirectory { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 374 | location: PathBuf, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 14 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 7.54s [INFO] running `Command { std: "docker" "inspect" "f46411508483ff6c299f08fc048bfe48bae062812184025936330c85910c438d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f46411508483ff6c299f08fc048bfe48bae062812184025936330c85910c438d", kill_on_drop: false }` [INFO] [stdout] f46411508483ff6c299f08fc048bfe48bae062812184025936330c85910c438d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:96c0aa5895ecf336b730ef27bcdde6e21027415df19888aad3cf1448e5d65d90" "/opt/rustwide/cargo-home/bin/cargo" "+8c0ec05f7dc9ef185eea9f36c5638e74e43935bf" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] b9f7634c301661d4a9ce65c27885461f5dd610bc2870a4e3168c664d825423fd [INFO] running `Command { std: "docker" "start" "-a" "b9f7634c301661d4a9ce65c27885461f5dd610bc2870a4e3168c664d825423fd", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `file_structure::VerificationDirectory` [INFO] [stderr] --> src/application_runner/extract.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | file_structure::VerificationDirectory, verification::VerificationPeriod, Config, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `XMLError` [INFO] [stderr] --> src/data_structures/xml/schema.rs:12:26 [INFO] [stderr] | [INFO] [stderr] 12 | use super::{SchemaError, XMLError}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: elided lifetime has a name [INFO] [stderr] --> src/data_structures/xml/schema_tree.rs:462:45 [INFO] [stderr] | [INFO] [stderr] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stderr] | -- lifetime `'a` declared here [INFO] [stderr] ... [INFO] [stderr] 462 | fn schema_node_type(&'a self) -> Option { [INFO] [stderr] | ^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(elided_named_lifetimes)]` on by default [INFO] [stderr] [INFO] [stderr] warning: elided lifetime has a name [INFO] [stderr] --> src/direct_trust.rs:205:42 [INFO] [stderr] | [INFO] [stderr] 188 | pub trait VerifiySignatureTrait<'a> [INFO] [stderr] | -- lifetime `'a` declared here [INFO] [stderr] ... [INFO] [stderr] 205 | fn get_context_hashable(&'a self) -> HashableMessage { [INFO] [stderr] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stderr] [INFO] [stderr] warning: elided lifetime has a name [INFO] [stderr] --> src/verification/suite.rs:56:43 [INFO] [stderr] | [INFO] [stderr] 20 | impl<'a> VerificationSuite<'a> { [INFO] [stderr] | -- lifetime `'a` declared here [INFO] [stderr] ... [INFO] [stderr] 56 | pub fn verifications(&'a self) -> &'a VerificationList { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stderr] [INFO] [stderr] warning: elided lifetime has a name [INFO] [stderr] --> src/verification/suite.rs:64:55 [INFO] [stderr] | [INFO] [stderr] 20 | impl<'a> VerificationSuite<'a> { [INFO] [stderr] | -- lifetime `'a` declared here [INFO] [stderr] ... [INFO] [stderr] 64 | pub fn verifications_mut(&'a mut self) -> &'a mut VerificationList { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stderr] [INFO] [stderr] warning: function `hashable_from_option` is never used [INFO] [stderr] --> src/data_structures/xml/mod.rs:145:8 [INFO] [stderr] | [INFO] [stderr] 145 | pub fn hashable_from_option<'a>( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: associated items `new`, `contains_schema`, and `contains_schema_with_namespace_name` are never used [INFO] [stderr] --> src/data_structures/xml/schema.rs:229:12 [INFO] [stderr] | [INFO] [stderr] 154 | impl<'a> Schema<'a> { [INFO] [stderr] | ------------------- associated items in this implementation [INFO] [stderr] ... [INFO] [stderr] 229 | pub fn new(schema_kind: Option, xsd_str: &'static str) -> Self { [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 285 | pub fn contains_schema(&self, namespace: &str) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 291 | pub fn contains_schema_with_namespace_name(&self, namespace_name: &str) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `schema` is never read [INFO] [stderr] --> src/data_structures/xml/schema_tree.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 12 | pub struct ElementNode { [INFO] [stderr] | ----------- field in this struct [INFO] [stderr] 13 | schema: &'static Schema<'static>, [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `is_native`, `unwrap_complex_type`, and `unwrap_native` are never used [INFO] [stderr] --> src/data_structures/xml/schema_tree.rs:56:12 [INFO] [stderr] | [INFO] [stderr] 48 | impl ElementNodeKind { [INFO] [stderr] | -------------------- methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 56 | pub fn is_native(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 83 | pub fn unwrap_complex_type(&self) -> &Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 94 | pub fn unwrap_native(&self) -> &str { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `is_choice`, `try_unwrap_choice`, and `unwrap_choice` are never used [INFO] [stderr] --> src/data_structures/xml/schema_tree.rs:235:12 [INFO] [stderr] | [INFO] [stderr] 223 | impl ComplexTypeChildKind { [INFO] [stderr] | ------------------------- methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 235 | pub fn is_choice(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 262 | fn try_unwrap_choice(&self) -> Result<&Vec, SchemaError> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 294 | fn unwrap_choice(&self) -> &Vec { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `is_schema_type`, `min_occurs`, `max_occurs`, `children_of_sequence_or_choice`, and `children_complex_type` are never used [INFO] [stderr] --> src/data_structures/xml/schema_tree.rs:438:8 [INFO] [stderr] | [INFO] [stderr] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stderr] | -------------------------- methods in this trait [INFO] [stderr] ... [INFO] [stderr] 438 | fn is_schema_type(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 448 | fn min_occurs(&'a self) -> usize { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 454 | fn max_occurs(&'a self) -> usize { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 470 | fn children_of_sequence_or_choice(&'a self) -> Result, SchemaError>; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 478 | fn children_complex_type(&'a self) -> Result, SchemaError>; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `tally_component_votes_payload_file` is never used [INFO] [stderr] --> src/file_structure/tally_directory.rs:78:8 [INFO] [stderr] | [INFO] [stderr] 69 | pub trait BBDirectoryTrait: CompletnessTestTrait { [INFO] [stderr] | ---------------- method in this trait [INFO] [stderr] ... [INFO] [stderr] 78 | fn tally_component_votes_payload_file(&self) -> &File; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `contains_schema` and `contains_schema_with_namespace_name` are never used [INFO] [stderr] --> src/data_structures/xml/schema.rs:285:12 [INFO] [stderr] | [INFO] [stderr] 154 | impl<'a> Schema<'a> { [INFO] [stderr] | ------------------- methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 285 | pub fn contains_schema(&self, namespace: &str) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 291 | pub fn contains_schema_with_namespace_name(&self, namespace_name: &str) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `unwrap_complex_type` and `unwrap_native` are never used [INFO] [stderr] --> src/data_structures/xml/schema_tree.rs:83:12 [INFO] [stderr] | [INFO] [stderr] 48 | impl ElementNodeKind { [INFO] [stderr] | -------------------- methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 83 | pub fn unwrap_complex_type(&self) -> &Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 94 | pub fn unwrap_native(&self) -> &str { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `unwrap_choice` is never used [INFO] [stderr] --> src/data_structures/xml/schema_tree.rs:294:8 [INFO] [stderr] | [INFO] [stderr] 223 | impl ComplexTypeChildKind { [INFO] [stderr] | ------------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 294 | fn unwrap_choice(&self) -> &Vec { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `is_schema_type` is never used [INFO] [stderr] --> src/data_structures/xml/schema_tree.rs:438:8 [INFO] [stderr] | [INFO] [stderr] 394 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stderr] | -------------------------- method in this trait [INFO] [stderr] ... [INFO] [stderr] 438 | fn is_schema_type(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: fields `location` and `dir` are never read [INFO] [stderr] --> src/file_structure/setup_directory.rs:334:9 [INFO] [stderr] | [INFO] [stderr] 333 | pub struct MockSetupDirectory { [INFO] [stderr] | ------------------ fields in this struct [INFO] [stderr] 334 | location: PathBuf, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] 335 | dir: SetupDirectory, [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: field `location` is never read [INFO] [stderr] --> src/file_structure/tally_directory.rs:374:9 [INFO] [stderr] | [INFO] [stderr] 373 | pub struct MockTallyDirectory { [INFO] [stderr] | ------------------ field in this struct [INFO] [stderr] 374 | location: PathBuf, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `rust_verifier` (lib) generated 13 warnings (run `cargo fix --lib -p rust_verifier` to apply 2 suggestions) [INFO] [stderr] warning: `rust_verifier` (lib test) generated 14 warnings (8 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.17s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rust_verifier-bbf450e5d44cfd37) [INFO] [stdout] [INFO] [stdout] running 167 tests [INFO] [stdout] test config::test::test_config ... ok [INFO] [stdout] test data_structures::context::control_component_public_keys_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::context::control_component_public_keys_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::context::election_event_configuration::test::verify_signature ... ok [INFO] [stdout] test data_structures::context::election_event_configuration::test::read_data_set ... ok [INFO] [stdout] test data_structures::context::election_event_context_payload::test::test_hash_election_event_context ... ignored, test data are not aligned to the productive data of the verifier [INFO] [stdout] test application_runner::checks::test::test_check_verification_dir ... ok [INFO] [stdout] test data_structures::context::election_event_context_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::context::setup_component_public_keys_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::context::election_event_context_payload::test::error_election_event_id ... ok [INFO] [stdout] test data_structures::context::election_event_context_payload::test::test_validate_seed ... ok [INFO] [stdout] test data_structures::context::election_event_context_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::context::setup_component_tally_data_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::context::setup_component_tally_data_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::context::setup_component_public_keys_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::context::election_event_context_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::context::election_event_context_payload::test::error_number_of_voting_options ... ok [INFO] [stdout] test data_structures::context::control_component_public_keys_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::context::setup_component_public_keys_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::context::setup_component_tally_data_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::setup::setup_component_verification_data_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::setup::setup_component_verification_data_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::tally::control_component_ballot_box_payload::test::test_signature_empty_votes ... FAILED [INFO] [stdout] test data_structures::tally::control_component_ballot_box_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::tally::control_component_ballot_box_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::tally::control_component_ballot_box_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::tally::control_component_shuffle_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::tally::control_component_shuffle_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::setup::setup_component_verification_data_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::tally::e_voting_decrypt::test::read_data_set ... ok [INFO] [stdout] test data_structures::tally::control_component_shuffle_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::tally::ech_0110::test::read_data_set ... ok [INFO] [stdout] test data_structures::tally::tally_component_shuffle_payload::test::verify_signature ... ignored, signature not workting [INFO] [stdout] test data_structures::tally::ech_0222::test::read_data_set ... ok [INFO] [stdout] test data_structures::tally::tally_component_votes_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::tally::tally_component_votes_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::tally::tally_component_votes_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::xml::hashable::test::test_0110 ... ignored, error with XML [INFO] [stdout] test data_structures::xml::hashable::test::test_0222 ... ignored, error with XML [INFO] [stdout] test data_structures::xml::hashable::test::test_1_schema_1 ... ok [INFO] [stdout] test data_structures::xml::hashable::test::test_1_schema_1_qualified ... ok [INFO] [stdout] test data_structures::xml::hashable::test::test_1_schema_1_qualified_with_exclusion ... ok [INFO] [stdout] test data_structures::xml::hashable::test::test_1_schema_1_with_exclusion ... ok [INFO] [stdout] test data_structures::xml::hashable::test::test_1_schema_2 ... ok [INFO] [stdout] test data_structures::xml::hashable::test::test_1_schema_3 ... ok [INFO] [stdout] test data_structures::xml::hashable::test::test_2_schema_1 ... ok [INFO] [stdout] test data_structures::tally::tally_component_shuffle_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::xml::hashable::test::test_2_schema_2 ... ok [INFO] [stdout] test data_structures::tally::tally_component_votes_payload::test::test_signature_empty_votes ... FAILED [INFO] [stdout] test data_structures::xml::hashable::test::test_2_schema_3 ... ok [INFO] [stdout] test data_structures::setup::control_component_code_shares_payload::test::verify_domain ... ok [INFO] [stdout] test data_structures::setup::control_component_code_shares_payload::test::verify_signature ... FAILED [INFO] [stdout] test data_structures::xml::hashable::test::test_3_schema_3 ... ignored, error with XML [INFO] [stdout] test data_structures::xml::hashable::test::test_4_schema_3 ... ignored, error with XML [INFO] [stdout] test data_structures::xml::hashable::test::test_5_schema_3 ... ignored, error with XML [INFO] [stdout] test data_structures::xml::hashable::test::test_config ... ignored, error with XML [INFO] [stdout] test data_structures::xml::hashable::test::test_decrypt ... ignored, error with XML [INFO] [stdout] test data_structures::xml::schema::test::test_schema_config ... ignored, error [INFO] [stdout] test data_structures::context::setup_component_public_keys_payload::test::test_sign ... FAILED [INFO] [stdout] test data_structures::xml::hashable::test_converter::test_new ... ok [INFO] [stdout] test data_structures::xml::hashable::test::test_3_schema_1 ... ok [INFO] [stdout] test data_structures::setup::control_component_code_shares_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::xml::hashable::test_converter::test_to_hashable_boolean ... ok [INFO] [stdout] test data_structures::xml::schema::test::test_schema_decrypt ... ok [INFO] [stdout] test data_structures::tally::tally_component_shuffle_payload::test::read_data_set ... ok [INFO] [stdout] test data_structures::xml::schema::test::test_sub_schema ... ok [INFO] [stdout] test data_structures::xml::schema::test::test_schema_ech_0222 ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_find_node_with_name ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_is_complex_type ... ok [INFO] [stdout] test data_structures::xml::schema::test::test_target_namespace_name ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_find_attribute ... ok [INFO] [stdout] test data_structures::xml::schema::test::test_schema_ech_0110 ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_children_complex_type_sequence_choice ... ok [INFO] [stdout] test data_structures::xml::schema::test::test_xmlschema_namespace_name ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_is_choice ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_is_element ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_is_sequence ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_native_type_from_simple_type_2 ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_0010 ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_is_simple_type ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_schema_node_type ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_tag_name ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_max_occurs ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_native_type_from_simple_type ... ok [INFO] [stdout] test data_structures::xml::schema_tree::test_additional_method_node::test_min_occurs ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_0222 ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_decrypt ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_config ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_schema_1 ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_has_name ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_sub_schema_3 ... ignored, error [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_try_find_child_with_tag_name ... ok [INFO] [stdout] test dataset::test::test_temp_zip_path ... ok [INFO] [stdout] test file_structure::context_directory::test::test_completness ... ok [INFO] [stdout] test direct_trust::test::test_create ... FAILED [INFO] [stdout] test file_structure::context_directory::test::test_context_vcs_dir ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_sub_schema_2 ... ok [INFO] [stdout] test file_structure::file::test::test_file_with_astrerix ... ok [INFO] [stdout] test file_structure::file::test::test_file_not_exist ... ok [INFO] [stdout] test data_structures::xml::schema_tree::tests::test_0110 ... ok [INFO] [stdout] test file_structure::file::test::test_file ... ok [INFO] [stdout] test file_structure::file::test::test_file_with_nb_macro ... ok [INFO] [stdout] test file_structure::file::test::test_file_with_nb_not_exist ... ok [INFO] [stdout] test file_structure::file_group::test::test_file_group ... ok [INFO] [stdout] test file_structure::file::test::test_file_macro ... ok [INFO] [stdout] test file_structure::file::test::test_file_with_nb ... ok [INFO] [stdout] test file_structure::file_group::test::test_file_group_not_exist ... ok [INFO] [stdout] test file_structure::setup_directory::test::test_setup_dir ... ok [INFO] [stdout] test file_structure::file_group::test::test_get_file_with_number ... ok [INFO] [stdout] test file_structure::tally_directory::test::test_completness ... ok [INFO] [stdout] test file_structure::setup_directory::test::test_completness ... ok [INFO] [stdout] test file_structure::test::test_context_groups_exist ... ok [INFO] [stdout] test file_structure::test::test_context_files_exist ... ok [INFO] [stdout] test file_structure::test::test_setup_groups_exist ... FAILED [INFO] [stdout] test verification::result::test::test_verif_event ... ok [INFO] [stdout] test verification::setup::authenticity::test::test_0201 ... ignored, error with XML [INFO] [stdout] test file_structure::test::test_tally_files_exist ... ok [INFO] [stdout] test verification::result::test::test_create_result ... ok [INFO] [stdout] test verification::meta_data::test::test_load ... ok [INFO] [stdout] test file_structure::context_directory::test::test_context_dir ... ok [INFO] [stdout] test verification::setup::authenticity::test::test_0204 ... FAILED [INFO] [stdout] test verification::setup::authenticity::test::test_0205 ... FAILED [INFO] [stdout] test verification::setup::completness::test::test_ok ... ok [INFO] [stdout] test verification::setup::authenticity::test::test_0203 ... FAILED [INFO] [stdout] test verification::setup::authenticity::test::test_0202 ... FAILED [INFO] [stdout] test file_structure::setup_directory::test::test_vcs_dir ... ok [INFO] [stdout] test verification::setup::consistency::v0301_encryption_group_consistency::test::test_verify_encryption_group ... ok [INFO] [stdout] test verification::setup::consistency::v0302_setup_file_names_consistency::test::test_ok ... ok [INFO] [stdout] test verification::setup::consistency::v0304_ccm_election_pk_consistency::test::test_ok ... ok [INFO] [stdout] test verification::setup::consistency::v0306_choice_return_codes_public_key_consistency::test::test_ok ... ok [INFO] [stdout] test verification::setup::consistency::v0303_ccr_choice_return_codes_pk_consistency::test::test_ok ... ok [INFO] [stdout] test verification::setup::consistency::v0308_primes_mapping_table_consistency::test::test_ok ... ignored, Implementation to be changed [INFO] [stdout] test verification::setup::consistency::v0307_election_pk_consistency::test::test_ok ... ok [INFO] [stdout] test verification::setup::consistency::v0305_ccm_and_ccr_schnorr_proofs_consistency::test::test_ok ... ok [INFO] [stdout] test verification::setup::consistency::v0311_file_name_verification_card_set_ids_consistency::test::test_nok_add_vcs ... ok [INFO] [stdout] test verification::setup::consistency::v0311_file_name_verification_card_set_ids_consistency::test::test_nok_change_remove_vcs ... ok [INFO] [stdout] test verification::setup::consistency::v0311_file_name_verification_card_set_ids_consistency::test::test_nok_change_vcs_id ... ok [INFO] [stdout] test verification::setup::consistency::v0311_file_name_verification_card_set_ids_consistency::test::test_ok ... ok [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/deps/rust_verifier-bbf450e5d44cfd37` (signal: 9, SIGKILL: kill) [INFO] running `Command { std: "docker" "inspect" "b9f7634c301661d4a9ce65c27885461f5dd610bc2870a4e3168c664d825423fd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b9f7634c301661d4a9ce65c27885461f5dd610bc2870a4e3168c664d825423fd", kill_on_drop: false }` [INFO] [stdout] b9f7634c301661d4a9ce65c27885461f5dd610bc2870a4e3168c664d825423fd