[INFO] cloning repository https://github.com/saikiranreddy2710/Verus-IronRSL [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/saikiranreddy2710/Verus-IronRSL" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsaikiranreddy2710%2FVerus-IronRSL", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsaikiranreddy2710%2FVerus-IronRSL'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 18cb79dcb0030383badff2c4fc83d0c4cccdff18 [INFO] checking saikiranreddy2710/Verus-IronRSL against try#3857be5045fe74bd0f296f6f4c23db10f8857f73 for pr-156807 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsaikiranreddy2710%2FVerus-IronRSL" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/saikiranreddy2710/Verus-IronRSL [INFO] finished tweaking git repo https://github.com/saikiranreddy2710/Verus-IronRSL [INFO] tweaked toml for git repo https://github.com/saikiranreddy2710/Verus-IronRSL written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/saikiranreddy2710/Verus-IronRSL on toolchain 3857be5045fe74bd0f296f6f4c23db10f8857f73 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/saikiranreddy2710/Verus-IronRSL 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" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 690feae4c393f52f728b029df4f030df992c1ca65260051dd137ed072c3d7b60 [INFO] running `Command { std: "docker" "start" "-a" "690feae4c393f52f728b029df4f030df992c1ca65260051dd137ed072c3d7b60", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "690feae4c393f52f728b029df4f030df992c1ca65260051dd137ed072c3d7b60", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "690feae4c393f52f728b029df4f030df992c1ca65260051dd137ed072c3d7b60", kill_on_drop: false }` [INFO] [stdout] 690feae4c393f52f728b029df4f030df992c1ca65260051dd137ed072c3d7b60 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c191213a2b7db49831a56ff1d3b83d1d6fab0c7f918754858a912d9f9e031e42 [INFO] running `Command { std: "docker" "start" "-a" "c191213a2b7db49831a56ff1d3b83d1d6fab0c7f918754858a912d9f9e031e42", kill_on_drop: false }` [INFO] [stderr] Compiling quote v1.0.44 [INFO] [stderr] Compiling syn_verus v2.0.96 (https://github.com/verus-lang/verus.git?rev=fe04886#fe04886c) [INFO] [stderr] Compiling prettyplease_verus v0.2.29 (https://github.com/verus-lang/verus.git?rev=fe04886#fe04886c) [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Checking builtin v0.1.0 (https://github.com/verus-lang/verus.git?rev=fe04886#fe04886c) [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling synstructure v0.13.0 (https://github.com/mystor/synstructure.git?rev=1079497eb2bea252433dac53afe41291d8779641#1079497e) [INFO] [stderr] Compiling state_machines_macros v0.1.0 (https://github.com/verus-lang/verus.git?rev=fe04886#fe04886c) [INFO] [stderr] Compiling builtin_macros v0.1.0 (https://github.com/verus-lang/verus.git?rev=fe04886#fe04886c) [INFO] [stderr] Checking vstd v0.1.0 (https://github.com/verus-lang/verus.git?rev=fe04886#fe04886c) [INFO] [stderr] Checking verus-test v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost` [INFO] [stdout] --> src/common/framework/args_t.rs:1:13 [INFO] [stdout] | [INFO] [stdout] 1 | #![cfg_attr(verus_keep_ghost, verus::trusted)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 32 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/implementation/RSL/appinterface.rs:108:16 [INFO] [stdout] | [INFO] [stdout] 108 | if (v == 0xffff_ffff_ffff_ffff) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 108 - if (v == 0xffff_ffff_ffff_ffff) { [INFO] [stdout] 108 + if v == 0xffff_ffff_ffff_ffff { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `remote_verus_vec` is never read [INFO] [stdout] --> src/common/native/io_s.rs:375:57 [INFO] [stdout] | [INFO] [stdout] 375 | let mut remote_verus_vec: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 376 | remote_verus_vec = remote_vec; [INFO] [stdout] | ---------------- `remote_verus_vec` is overwritten here before the previous value is read [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `buffer_verus_vec` is never read [INFO] [stdout] --> src/common/native/io_s.rs:377:57 [INFO] [stdout] | [INFO] [stdout] 377 | let mut buffer_verus_vec: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 378 | buffer_verus_vec = buffer_vec; [INFO] [stdout] | ---------------- `buffer_verus_vec` is overwritten here before the previous value is read [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sender` [INFO] [stdout] --> src/common/native/io_s.rs:417:45 [INFO] [stdout] | [INFO] [stdout] 417 | NetcReceiveResult::Received{ref sender, ref message} => { [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `sender: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `message` [INFO] [stdout] --> src/common/native/io_s.rs:417:57 [INFO] [stdout] | [INFO] [stdout] 417 | NetcReceiveResult::Received{ref sender, ref message} => { [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `message: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/implementation/common/marshalling.rs:257:9 [INFO] [stdout] | [INFO] [stdout] 257 | let mut i: usize = 0; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/implementation/common/marshalling.rs:256:9 [INFO] [stdout] | [INFO] [stdout] 256 | let s = vec![*self as u8]; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/implementation/common/marshalling.rs:257:9 [INFO] [stdout] | [INFO] [stdout] 257 | let mut i: usize = 0; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `init` [INFO] [stdout] --> src/implementation/common/marshalling.rs:446:9 [INFO] [stdout] | [INFO] [stdout] 446 | let init: Ghost = Ghost(self_len.ghost_serialize().len() as int); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `init` [INFO] [stdout] --> src/implementation/common/marshalling.rs:624:9 [INFO] [stdout] | [INFO] [stdout] 624 | let init: Ghost = Ghost(self_len.ghost_serialize().len() as int); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid_data_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:847:13 [INFO] [stdout] | [INFO] [stdout] 847 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mid_data_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid_data_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:855:13 [INFO] [stdout] | [INFO] [stdout] 855 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mid_data_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `old_total_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:987:13 [INFO] [stdout] | [INFO] [stdout] 987 | let old_total_len = total_len; [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_old_total_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `old_res` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1067:11 [INFO] [stdout] | [INFO] [stdout] 1067 | let old_res: Ghost = Ghost(res); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_old_res` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `init` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1095:9 [INFO] [stdout] | [INFO] [stdout] 1095 | let init: Ghost = Ghost(self_len.ghost_serialize().len() as int); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `emp` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1163:9 [INFO] [stdout] | [INFO] [stdout] 1163 | let emp: Ghost> = Ghost(Seq::::empty()); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_emp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `accf` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1164:9 [INFO] [stdout] | [INFO] [stdout] 1164 | let accf: Ghost, T) -> Seq> = Ghost(|acc: Seq, x: T| acc + x.ghost_serialize()); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_accf` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `old_end` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1188:11 [INFO] [stdout] | [INFO] [stdout] 1188 | let old_end: Ghost = Ghost(end as int); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_old_end` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `old_res` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1189:11 [INFO] [stdout] | [INFO] [stdout] 1189 | let old_res: Ghost> = Ghost(res@); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_old_res` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid_data_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1413:9 [INFO] [stdout] | [INFO] [stdout] 1413 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mid_data_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost` [INFO] [stdout] --> src/common/framework/args_t.rs:1:13 [INFO] [stdout] | [INFO] [stdout] 1 | #![cfg_attr(verus_keep_ghost, verus::trusted)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 32 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/implementation/RSL/appinterface.rs:108:16 [INFO] [stdout] | [INFO] [stdout] 108 | if (v == 0xffff_ffff_ffff_ffff) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 108 - if (v == 0xffff_ffff_ffff_ffff) { [INFO] [stdout] 108 + if v == 0xffff_ffff_ffff_ffff { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `opn` [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:146:58 [INFO] [stdout] | [INFO] [stdout] 146 | pub fn CExecutorGetDecision(&mut self, bal: CBallot, opn: COperationNumber, v: CRequestBatch) [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_opn` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:256:9 [INFO] [stdout] | [INFO] [stdout] 256 | let mut r = HashMap::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reply_cache` [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:402:5 [INFO] [stdout] | [INFO] [stdout] 402 | reply_cache: HashMap:: [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reply_cache` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `log_truncation_point` [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1244:70 [INFO] [stdout] | [INFO] [stdout] 1244 | ...lock: u64, log_truncation_point: COperationNumber) -> (result_CProposerNominateNewValueAndSend2a:OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_log_truncation_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `log_truncation_point` [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1292:58 [INFO] [stdout] | [INFO] [stdout] 1292 | pub fn CProposerNominateOldValueAndSend2a(&mut self, log_truncation_point: COperationNumber) -> (result: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_log_truncation_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `received_packet` [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:98:50 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn CReplicaNextProcessInvalid(&mut self, received_packet: CPacket) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_received_packet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `received_packet` [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:347:48 [INFO] [stdout] | [INFO] [stdout] 347 | pub fn CReplicaNextProcessReply(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_received_packet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid_data_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1800:21 [INFO] [stdout] | [INFO] [stdout] 1800 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/implementation/RSL/appinterface.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | / define_enum_and_derive_marshalable! { [INFO] [stdout] 43 | | #[derive(Clone, PartialEq)] [INFO] [stdout] 44 | | pub enum CAppMessage { [INFO] [stdout] 45 | | #[tag = 0] [INFO] [stdout] ... | [INFO] [stdout] 52 | | [rlimit attr = verifier::rlimit(25)] [INFO] [stdout] 53 | | } [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `mid_data_len` is captured in macro and introduced a unused variable [INFO] [stdout] --> src/implementation/common/marshalling.rs:1800:21 [INFO] [stdout] | [INFO] [stdout] 1800 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/implementation/RSL/appinterface.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | / define_enum_and_derive_marshalable! { [INFO] [stdout] 43 | | #[derive(Clone, PartialEq)] [INFO] [stdout] 44 | | pub enum CAppMessage { [INFO] [stdout] 45 | | #[tag = 0] [INFO] [stdout] ... | [INFO] [stdout] 52 | | [rlimit attr = verifier::rlimit(25)] [INFO] [stdout] 53 | | } [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `derive_marshalable_for_enum` which comes from the expansion of the macro `define_enum_and_derive_marshalable` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `found` [INFO] [stdout] --> src/implementation/RSL/cconstants.rs:97:14 [INFO] [stdout] | [INFO] [stdout] 97 | let (found, index) = config.CGetReplicaIndex(end); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_found` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/implementation/RSL/types_i.rs:256:13 [INFO] [stdout] | [INFO] [stdout] 256 | let mut i = 0; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/implementation/RSL/types_i.rs:256:13 [INFO] [stdout] | [INFO] [stdout] 256 | let mut i = 0; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `arg` is never read [INFO] [stdout] --> src/lib.rs:42:32 [INFO] [stdout] | [INFO] [stdout] 42 | let mut arg: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 43 | arg = arg_vec; [INFO] [stdout] | --- `arg` is overwritten here before the previous value is read [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sender` [INFO] [stdout] --> src/lib.rs:71:37 [INFO] [stdout] | [INFO] [stdout] 71 | NetcReceiveResult::Received{sender, message} => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `sender: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sender` [INFO] [stdout] --> src/lib.rs:85:37 [INFO] [stdout] | [INFO] [stdout] 85 | NetcReceiveResult::Received{sender, message} => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `sender: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `message` is never read [INFO] [stdout] --> src/lib.rs:66:32 [INFO] [stdout] | [INFO] [stdout] 66 | let mut message: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 67 | message = "Hello, world!".as_bytes().to_vec(); [INFO] [stdout] | ------- `message` is overwritten here before the previous value is read [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lib.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 173 | let mut nc = crate::common::native::io_s::NetClient::new(EndPoint{id: my_end_point}, get_time_func, receive_func, send_func); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/lib.rs:163:9 [INFO] [stdout] | [INFO] [stdout] 163 | let args: Vec> = unflatten_args(num_args, arg_lengths, total_arg_length, flattened_args); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_args` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nc` [INFO] [stdout] --> src/lib.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 173 | let mut nc = crate::common::native::io_s::NetClient::new(EndPoint{id: my_end_point}, get_time_func, receive_func, send_func); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_nc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `my_end_point` is never read [INFO] [stdout] --> src/lib.rs:170:37 [INFO] [stdout] | [INFO] [stdout] 170 | let mut my_end_point: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 171 | my_end_point = my_end_point_vec; [INFO] [stdout] | ------------ `my_end_point` is overwritten here before the previous value is read [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `sentPackets` should have a snake case name [INFO] [stdout] --> src/common/framework/environment_s.rs:36:13 [INFO] [stdout] | [INFO] [stdout] 36 | pub sentPackets:Set>, [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `sent_packets` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `hostInfo` should have a snake case name [INFO] [stdout] --> src/common/framework/environment_s.rs:37:13 [INFO] [stdout] | [INFO] [stdout] 37 | pub hostInfo:Map>, [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `host_info` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `nextStep` should have a snake case name [INFO] [stdout] --> src/common/framework/environment_s.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | pub nextStep:LEnvStep [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `next_step` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `RSL` should have a snake case name [INFO] [stdout] --> src/implementation/mod.rs:3:9 [INFO] [stdout] | [INFO] [stdout] 3 | pub mod RSL; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rsl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CUpperBoundedAddition` should have a snake case name [INFO] [stdout] --> src/implementation/common/upper_bound.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn CUpperBoundedAddition(x:u64, y:u64, u:u64) -> (sum:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cupper_bounded_addition` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `CStateMachine` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:1:9 [INFO] [stdout] | [INFO] [stdout] 1 | pub mod CStateMachine; [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `cstate_machine` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `ElectionImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:2:9 [INFO] [stdout] | [INFO] [stdout] 2 | pub mod ElectionImpl; [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `election_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `ExecutorImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:3:9 [INFO] [stdout] | [INFO] [stdout] 3 | pub mod ExecutorImpl; [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `executor_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `ProposerImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub mod ProposerImpl; [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `proposer_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `ReplicaImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:5:9 [INFO] [stdout] | [INFO] [stdout] 5 | pub mod ReplicaImpl; [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `replica_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CHandleRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/CStateMachine.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn CHandleRequest(state: CAppState, request: CRequest) -> ( result:(CAppState, CReply)) [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `chandle_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CHandleRequestBatchHidden` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/CStateMachine.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn CHandleRequestBatchHidden(state: CAppState, batch: CRequestBatch) -> (result:(Vec, Vec)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `chandle_request_batch_hidden` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CHandleRequestBatch` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/CStateMachine.rs:155:8 [INFO] [stdout] | [INFO] [stdout] 155 | pub fn CHandleRequestBatch(state:CAppState, batch:CRequestBatch) -> (rc:(Vec, Vec)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `chandle_request_batch` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CComputeSuccessorView` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:449:12 [INFO] [stdout] | [INFO] [stdout] 449 | pub fn CComputeSuccessorView(b:CBallot, c:CConstants) -> (rc:CBallot) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ccompute_successor_view` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CBoundRequestSequence` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:465:12 [INFO] [stdout] | [INFO] [stdout] 465 | pub fn CBoundRequestSequence(s: Vec, lengthBound: u64) -> (rc: Vec) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cbound_request_sequence` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lengthBound` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:465:52 [INFO] [stdout] | [INFO] [stdout] 465 | pub fn CBoundRequestSequence(s: Vec, lengthBound: u64) -> (rc: Vec) [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `length_bound` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: comparison is useless due to type limits [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:475:12 [INFO] [stdout] | [INFO] [stdout] 475 | if 0 <= lengthBound && lengthBound < s_len { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_comparisons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRequestsMatch` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:486:12 [INFO] [stdout] | [INFO] [stdout] 486 | pub fn CRequestsMatch(r1:CRequest, r2:CRequest) -> (r:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `crequests_match` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRequestSatisfiedBy` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:496:12 [INFO] [stdout] | [INFO] [stdout] 496 | pub fn CRequestSatisfiedBy(r1:CRequest, r2:CRequest) -> (r:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `crequest_satisfied_by` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRemoveAllSatisfiedRequestsInSequence` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:507:12 [INFO] [stdout] | [INFO] [stdout] 507 | pub fn CRemoveAllSatisfiedRequestsInSequence(s:&Vec, r:&CRequest) -> (rc: Vec) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cremove_all_satisfied_requests_in_sequence` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:526:12 [INFO] [stdout] | [INFO] [stdout] 526 | pub fn CElectionStateInit(c:CReplicaConstants) -> (rc:Self) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateProcessHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:549:12 [INFO] [stdout] | [INFO] [stdout] 549 | pub fn CElectionStateProcessHeartbeat( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_process_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `bal_heartbeat:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:568:41 [INFO] [stdout] | [INFO] [stdout] 568 | let CMessage::CMessageHeartbeat{bal_heartbeat, suspicious, .. } = p.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^^^^^^^^ help: use shorthand field pattern: `bal_heartbeat` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_shorthand_field_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `suspicious:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:568:56 [INFO] [stdout] | [INFO] [stdout] 568 | let CMessage::CMessageHeartbeat{bal_heartbeat, suspicious, .. } = p.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^^^^^ help: use shorthand field pattern: `suspicious` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateCheckForViewTimeout` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:602:12 [INFO] [stdout] | [INFO] [stdout] 602 | pub fn CElectionStateCheckForViewTimeout( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_check_for_view_timeout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateCheckForQuorumOfViewSuspicions` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:643:12 [INFO] [stdout] | [INFO] [stdout] 643 | pub fn CElectionStateCheckForQuorumOfViewSuspicions( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_check_for_quorum_of_view_suspicions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateReflectReceivedRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:683:12 [INFO] [stdout] | [INFO] [stdout] 683 | pub fn CElectionStateReflectReceivedRequest( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_reflect_received_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRemoveExecutedRequestBatch` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:721:12 [INFO] [stdout] | [INFO] [stdout] 721 | pub fn CRemoveExecutedRequestBatch(reqs: Vec, batch: CRequestBatch) -> (r: Vec) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cremove_executed_request_batch` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `ElectionStateReflectExecutedRequestBatch` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:737:12 [INFO] [stdout] | [INFO] [stdout] 737 | pub fn ElectionStateReflectExecutedRequestBatch( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `election_state_reflect_executed_request_batch` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:129:12 [INFO] [stdout] | [INFO] [stdout] 129 | pub fn CExecutorInit(c: CReplicaConstants) -> (s:Self) [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorGetDecision` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:146:12 [INFO] [stdout] | [INFO] [stdout] 146 | pub fn CExecutorGetDecision(&mut self, bal: CBallot, opn: COperationNumber, v: CRequestBatch) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_get_decision` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CGetPacketsFromReplies` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:197:8 [INFO] [stdout] | [INFO] [stdout] 197 | pub fn CGetPacketsFromReplies(me: EndPoint, requests: Vec, replies: Vec) -> (cr:Vec) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cget_packets_from_replies` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CClientsInReplies` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:238:8 [INFO] [stdout] | [INFO] [stdout] 238 | pub fn CClientsInReplies(replies: Vec) -> (m:CReplyCache) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cclients_in_replies` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CUpdateNewCache` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:266:8 [INFO] [stdout] | [INFO] [stdout] 266 | pub fn CUpdateNewCache(c: CReplyCache, replies: Vec) -> (c_prime:CReplyCache) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cupdate_new_cache` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorExecute` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:293:8 [INFO] [stdout] | [INFO] [stdout] 293 | pub fn CExecutorExecute(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_execute` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorProcessAppStateSupply` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:345:8 [INFO] [stdout] | [INFO] [stdout] 345 | pub fn CExecutorProcessAppStateSupply( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_process_app_state_supply` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorProcessAppStateRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:399:8 [INFO] [stdout] | [INFO] [stdout] 399 | pub fn CExecutorProcessAppStateRequest( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_process_app_state_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorProcessStartingPhase2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:480:8 [INFO] [stdout] | [INFO] [stdout] 480 | pub fn CExecutorProcessStartingPhase2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_process_starting_phase2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorProcessRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:553:12 [INFO] [stdout] | [INFO] [stdout] 553 | pub fn CExecutorProcessRequest(self,inp: CPacket) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_process_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CIsAfterLogTruncationPoint` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:811:12 [INFO] [stdout] | [INFO] [stdout] 811 | pub fn CIsAfterLogTruncationPoint(opn:COperationNumber, received_1b_packets:HashSet) -> bool [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cis_after_log_truncation_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CSetOfMessage1b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:824:12 [INFO] [stdout] | [INFO] [stdout] 824 | pub fn CSetOfMessage1b(S : HashSet) -> bool [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cset_of_message1b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:824:28 [INFO] [stdout] | [INFO] [stdout] 824 | pub fn CSetOfMessage1b(S : HashSet) -> bool [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CSetOfMessage1bAboutBallot` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:837:12 [INFO] [stdout] | [INFO] [stdout] 837 | pub fn CSetOfMessage1bAboutBallot(S:HashSet, b:CBallot) -> bool [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cset_of_message1b_about_ballot` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:837:39 [INFO] [stdout] | [INFO] [stdout] 837 | pub fn CSetOfMessage1bAboutBallot(S:HashSet, b:CBallot) -> bool [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAllAcceptorsHadNoProposal` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:854:12 [INFO] [stdout] | [INFO] [stdout] 854 | pub fn CAllAcceptorsHadNoProposal(S:HashSet, opn:COperationNumber) -> (result_CAllAcceptorsHadNoProposal:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `call_acceptors_had_no_proposal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:854:39 [INFO] [stdout] | [INFO] [stdout] 854 | pub fn CAllAcceptorsHadNoProposal(S:HashSet, opn:COperationNumber) -> (result_CAllAcceptorsHadNoProposal:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:868:40 [INFO] [stdout] | [INFO] [stdout] 868 | let CMessage::CMessage1b { votes, ..} = &p.msg else { unreachable!()}; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExistVotesHasProposalLargeThanOpn` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:877:12 [INFO] [stdout] | [INFO] [stdout] 877 | pub fn CExistVotesHasProposalLargeThanOpn(p: CPacket, op: COperationNumber) -> (result_CExistVotesHasProposalLargeThanOpn:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexist_votes_has_proposal_large_than_opn` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:888:37 [INFO] [stdout] | [INFO] [stdout] 888 | let CMessage:: CMessage1b { votes, ..} = &p.msg else { unreachable!()}; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExistsAcceptorHasProposalLargeThanOpn` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:898:12 [INFO] [stdout] | [INFO] [stdout] 898 | pub fn CExistsAcceptorHasProposalLargeThanOpn(S:HashSet, op:COperationNumber) -> (result_CExistsAcceptorHasProposalLar... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexists_acceptor_has_proposal_large_than_opn` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:898:51 [INFO] [stdout] | [INFO] [stdout] 898 | pub fn CExistsAcceptorHasProposalLargeThanOpn(S:HashSet, op:COperationNumber) -> (result_CExistsAcceptorHasProposalLar... [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `Cmax_balInS` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:922:12 [INFO] [stdout] | [INFO] [stdout] 922 | pub fn Cmax_balInS(c:CBallot, S:HashSet, opn:COperationNumber) -> (result_Cmax_balInS:bool) [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `cmax_bal_in_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:922:35 [INFO] [stdout] | [INFO] [stdout] 922 | pub fn Cmax_balInS(c:CBallot, S:HashSet, opn:COperationNumber) -> (result_Cmax_balInS:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:937:40 [INFO] [stdout] | [INFO] [stdout] 937 | let CMessage::CMessage1b { votes, ..} = &pkt.msg else { unreachable!()}; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExistsBallotInS` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:948:12 [INFO] [stdout] | [INFO] [stdout] 948 | pub fn CExistsBallotInS(v: CRequestBatch, c: CBallot, S: HashSet, opn:COperationNumber) -> (result_CExistsBallotInS:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexists_ballot_in_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:948:59 [INFO] [stdout] | [INFO] [stdout] 948 | pub fn CExistsBallotInS(v: CRequestBatch, c: CBallot, S: HashSet, opn:COperationNumber) -> (result_CExistsBallotInS:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:964:40 [INFO] [stdout] | [INFO] [stdout] 964 | let CMessage::CMessage1b { votes, ..} = &pkt.msg else { unreachable!()}; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CValIsHighestNumberedProposalAtBallot` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:976:12 [INFO] [stdout] | [INFO] [stdout] 976 | pub fn CValIsHighestNumberedProposalAtBallot(v:CRequestBatch, c:CBallot, S:HashSet, opn:COperationNumber) -> (result_C... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cval_is_highest_numbered_proposal_at_ballot` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:976:78 [INFO] [stdout] | [INFO] [stdout] 976 | ...RequestBatch, c:CBallot, S:HashSet, opn:COperationNumber) -> (result_CValIsHighestNumberedProposalAtBallot:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CValIsHighestNumberedProposal` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:997:12 [INFO] [stdout] | [INFO] [stdout] 997 | pub fn CValIsHighestNumberedProposal(v: CRequestBatch, S: HashSet, opn:COperationNumber ) -> (result_CValIsHighestNumb... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cval_is_highest_numbered_proposal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:997:60 [INFO] [stdout] | [INFO] [stdout] 997 | ...oposal(v: CRequestBatch, S: HashSet, opn:COperationNumber ) -> (result_CValIsHighestNumberedProposal:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1013:40 [INFO] [stdout] | [INFO] [stdout] 1013 | let CMessage::CMessage1b { votes, .. } = &pkt.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerCanNominateUsingOperationNumber` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1028:12 [INFO] [stdout] | [INFO] [stdout] 1028 | pub fn CProposerCanNominateUsingOperationNumber(&self, log_truncation_point: COperationNumber, opn:COperationNumber) -> (resul... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_can_nominate_using_operation_number` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1076:12 [INFO] [stdout] | [INFO] [stdout] 1076 | pub fn CProposerInit(c : CReplicaConstants)->(result_CProposerInit:CProposer) [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerProcessRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1137:12 [INFO] [stdout] | [INFO] [stdout] 1137 | pub fn CProposerProcessRequest(&mut self, packet:CPacket) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_process_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `seqno_req:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1146:41 [INFO] [stdout] | [INFO] [stdout] 1146 | let CMessage::CMessageRequest { seqno_req, val } = packet.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^^^^ help: use shorthand field pattern: `seqno_req` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `val:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1146:52 [INFO] [stdout] | [INFO] [stdout] 1146 | let CMessage::CMessageRequest { seqno_req, val } = packet.msg else { unreachable!() }; [INFO] [stdout] | ^^^ help: use shorthand field pattern: `val` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerMaybeEnterNewViewAndSend1a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1164:12 [INFO] [stdout] | [INFO] [stdout] 1164 | pub fn CProposerMaybeEnterNewViewAndSend1a(&mut self) -> (result_CProposerMaybeEnterNewViewAndSend1a:OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_maybe_enter_new_view_and_send1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerProcess1b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1199:12 [INFO] [stdout] | [INFO] [stdout] 1199 | pub fn CProposerProcess1b(&mut self, p: CPacket) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_process1b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerMaybeEnterPhase2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1212:12 [INFO] [stdout] | [INFO] [stdout] 1212 | pub fn CProposerMaybeEnterPhase2(&mut self, log_truncation_point: COperationNumber) -> (result: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_maybe_enter_phase2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerNominateNewValueAndSend2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1244:12 [INFO] [stdout] | [INFO] [stdout] 1244 | ...fn CProposerNominateNewValueAndSend2a(&mut self, clock: u64, log_truncation_point: COperationNumber) -> (result_CProposerNomina... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_nominate_new_value_and_send2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerNominateOldValueAndSend2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1292:12 [INFO] [stdout] | [INFO] [stdout] 1292 | pub fn CProposerNominateOldValueAndSend2a(&mut self, log_truncation_point: COperationNumber) -> (result: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_nominate_old_value_and_send2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1308:40 [INFO] [stdout] | [INFO] [stdout] 1308 | let CMessage::CMessage1b { votes, .. } = &pkt.msg else { continue }; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerMaybeNominateValueAndSend2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1337:12 [INFO] [stdout] | [INFO] [stdout] 1337 | pub fn CProposerMaybeNominateValueAndSend2a(&mut self, clock: u64, log_truncation_point: COperationNumber) -> (result: Outboun... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_maybe_nominate_value_and_send2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerProcessHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1395:12 [INFO] [stdout] | [INFO] [stdout] 1395 | pub fn CProposerProcessHeartbeat(&mut self, p:CPacket, clock:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_process_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerCheckForViewTimeout` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1413:12 [INFO] [stdout] | [INFO] [stdout] 1413 | pub fn CProposerCheckForViewTimeout(& mut self, clock:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_check_for_view_timeout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerCheckForQuorumOfViewSuspicions` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1425:12 [INFO] [stdout] | [INFO] [stdout] 1425 | pub fn CProposerCheckForQuorumOfViewSuspicions(&mut self, clock:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_check_for_quorum_of_view_suspicions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerResetViewTimerDueToExecution` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1442:12 [INFO] [stdout] | [INFO] [stdout] 1442 | pub fn CProposerResetViewTimerDueToExecution(&mut self, val: CRequestBatch) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_reset_view_timer_due_to_execution` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `nextHeartbeatTime` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | pub nextHeartbeatTime: u64, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `next_heartbeat_time` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:80:12 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn CReplicaInit(c: CReplicaConstants) -> (result: Self) [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessInvalid` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn CReplicaNextProcessInvalid(&mut self, received_packet: CPacket) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_invalid` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:116:12 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn CReplicaNextProcessRequest(&mut self, received_packet: CPacket) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcess1a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:156:8 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn CReplicaNextProcess1a(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcess1b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:179:8 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn CReplicaNextProcess1b(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process1b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessStartingPhase2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:237:8 [INFO] [stdout] | [INFO] [stdout] 237 | pub fn CReplicaNextProcessStartingPhase2(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_starting_phase2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcess2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:260:12 [INFO] [stdout] | [INFO] [stdout] 260 | pub fn CReplicaNextProcess2a(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcess2b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:304:12 [INFO] [stdout] | [INFO] [stdout] 304 | pub fn CReplicaNextProcess2b(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process2b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessReply` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:347:12 [INFO] [stdout] | [INFO] [stdout] 347 | pub fn CReplicaNextProcessReply(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_reply` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessAppStateSupply` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:368:12 [INFO] [stdout] | [INFO] [stdout] 368 | pub fn CReplicaNextProcessAppStateSupply(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_app_state_supply` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessAppStateRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:409:12 [INFO] [stdout] | [INFO] [stdout] 409 | pub fn CReplicaNextProcessAppStateRequest(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_app_state_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:431:12 [INFO] [stdout] | [INFO] [stdout] 431 | pub fn CReplicaNextProcessHeartbeat(&mut self, received_packet: CPacket ,clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousMaybeEnterNewViewAndSend1a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:455:12 [INFO] [stdout] | [INFO] [stdout] 455 | pub fn CReplicaNextSpontaneousMaybeEnterNewViewAndSend1a(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_maybe_enter_new_view_and_send1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousMaybeEnterPhase2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:473:12 [INFO] [stdout] | [INFO] [stdout] 473 | pub fn CReplicaNextSpontaneousMaybeEnterPhase2(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_maybe_enter_phase2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousMaybeMakeDecision` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:490:12 [INFO] [stdout] | [INFO] [stdout] 490 | pub fn CReplicaNextSpontaneousMaybeMakeDecision(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_maybe_make_decision` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousMaybeExecute` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:516:12 [INFO] [stdout] | [INFO] [stdout] 516 | pub fn CReplicaNextSpontaneousMaybeExecute(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_maybe_execute` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextReadClockMaybeSendHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:558:8 [INFO] [stdout] | [INFO] [stdout] 558 | pub fn CReplicaNextReadClockMaybeSendHeartbeat(&mut self, clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_read_clock_maybe_send_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextReadClockCheckForViewTimeout` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:582:8 [INFO] [stdout] | [INFO] [stdout] 582 | pub fn CReplicaNextReadClockCheckForViewTimeout(&mut self, clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_read_clock_check_for_view_timeout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextReadClockCheckForQuorumOfViewSuspicions` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:601:8 [INFO] [stdout] | [INFO] [stdout] 601 | pub fn CReplicaNextReadClockCheckForQuorumOfViewSuspicions(&mut self, clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_read_clock_check_for_quorum_of_view_suspicions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousTruncateLogBasedOnCheckpoints` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:620:8 [INFO] [stdout] | [INFO] [stdout] 620 | pub fn CReplicaNextSpontaneousTruncateLogBasedOnCheckpoints(&mut self) -> (res:OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_truncate_log_based_on_checkpoints` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextReadClockMaybeNominateValueAndSend2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:664:8 [INFO] [stdout] | [INFO] [stdout] 664 | pub fn CReplicaNextReadClockMaybeNominateValueAndSend2a(&mut self, clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_read_clock_maybe_nominate_value_and_send2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CIsLogTruncationPointValid` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:98:16 [INFO] [stdout] | [INFO] [stdout] 98 | ... pub fn CIsLogTruncationPointValid(log_truncation_point: COperationNumber, last_checkpointed_operation: Vec, ... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cis_log_truncation_point_valid` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRemoveVotesBeforeLogTruncationPoint` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:113:16 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn CRemoveVotesBeforeLogTruncationPoint(votes: CVotes, log_truncation_point: COperationNumber) -> (cvotes:CVotes) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cremove_votes_before_log_truncation_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAddVoteAndRemoveOldOnes` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:134:16 [INFO] [stdout] | [INFO] [stdout] 134 | ... pub fn CAddVoteAndRemoveOldOnes(votes: CVotes, new_opn: COperationNumber, new_vote: CVote, log_truncation_point: COperationNu... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cadd_vote_and_remove_old_ones` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:152:16 [INFO] [stdout] | [INFO] [stdout] 152 | pub fn CAcceptorInit(c: CReplicaConstants) -> (rc:Self) [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorProcess1a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:242:16 [INFO] [stdout] | [INFO] [stdout] 242 | pub fn CAcceptorProcess1a(&mut self, inp: CPacket) -> (sent: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_process1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `bal_1a:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:273:40 [INFO] [stdout] | [INFO] [stdout] 273 | let CMessage::CMessage1a { bal_1a } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^ help: use shorthand field pattern: `bal_1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorProcess2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:298:16 [INFO] [stdout] | [INFO] [stdout] 298 | pub fn CAcceptorProcess2a(&mut self, inp:CPacket) -> (sent:OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_process2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `bal_2a:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:346:36 [INFO] [stdout] | [INFO] [stdout] 346 | let CMessage::CMessage2a { bal_2a, opn_2a, val_2a } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^ help: use shorthand field pattern: `bal_2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `opn_2a:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:346:44 [INFO] [stdout] | [INFO] [stdout] 346 | let CMessage::CMessage2a { bal_2a, opn_2a, val_2a } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^ help: use shorthand field pattern: `opn_2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `val_2a:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:346:52 [INFO] [stdout] | [INFO] [stdout] 346 | let CMessage::CMessage2a { bal_2a, opn_2a, val_2a } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^ help: use shorthand field pattern: `val_2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorProcessHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:399:16 [INFO] [stdout] | [INFO] [stdout] 399 | pub fn CAcceptorProcessHeartbeat(&mut self, inp: CPacket) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_process_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `opn_ckpt:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:426:47 [INFO] [stdout] | [INFO] [stdout] 426 | let CMessage::CMessageHeartbeat { opn_ckpt,.. } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^^^ help: use shorthand field pattern: `opn_ckpt` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorTruncateLog` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:445:16 [INFO] [stdout] | [INFO] [stdout] 445 | pub fn CAcceptorTruncateLog(&mut self, opn: COperationNumber) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_truncate_log` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CappendIncrImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/appinterface.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn CappendIncrImpl(v:u64) -> (rc:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cappend_incr_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `HandleAppRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/appinterface.rs:117:12 [INFO] [stdout] | [INFO] [stdout] 117 | pub fn HandleAppRequest(appState:CAppState, request:CAppMessage) -> (rc:(CAppState, CAppMessage)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `handle_app_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `appState` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/appinterface.rs:117:29 [INFO] [stdout] | [INFO] [stdout] 117 | pub fn HandleAppRequest(appState:CAppState, request:CAppMessage) -> (rc:(CAppState, CAppMessage)) [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `app_state` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `BuildBroadcastToEveryone` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cbroadcast.rs:78:16 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn BuildBroadcastToEveryone(config:CConfiguration, my_index: u64, msg: CMessage) -> (res:Self) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `build_broadcast_to_everyone` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CMinQuorumSize` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cconfiguration.rs:44:16 [INFO] [stdout] | [INFO] [stdout] 44 | pub fn CMinQuorumSize(&self) -> (q:usize) [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cmin_quorum_size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CGetReplicaIndex` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cconfiguration.rs:87:16 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn CGetReplicaIndex( &self, id:EndPoint) -> (rc:(bool, usize)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cget_replica_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CFindIndexInSeq` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cconfiguration.rs:205:12 [INFO] [stdout] | [INFO] [stdout] 205 | pub fn CFindIndexInSeq(s:Vec, v:EndPoint, start:usize) -> (rc:(bool, usize)) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cfind_index_in_seq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `InitReplicaConstants` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cconstants.rs:83:12 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn InitReplicaConstants(end:EndPoint, config:CConfiguration) -> (rc:CReplicaConstants) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `init_replica_constants` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `logTruncationPoint_2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cmessage.rs:66:13 [INFO] [stdout] | [INFO] [stdout] 66 | logTruncationPoint_2:COperationNumber, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `log_truncation_point_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `StaticParams` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cparameters.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 68 | pub fn StaticParams() -> (p:CParameters) [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `static_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CLearnerInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/learnerimpl.rs:62:16 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn CLearnerInit(c:CReplicaConstants) -> (clearner_init_result:Self) [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `clearner_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CLearnerProcess2b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/learnerimpl.rs:88:16 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn CLearnerProcess2b(&mut self, packet: CPacket) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `clearner_process2b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CLearnerForgetDecision` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/learnerimpl.rs:188:16 [INFO] [stdout] | [INFO] [stdout] 188 | pub fn CLearnerForgetDecision(&mut self, opn:COperationNumber) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `clearner_forget_decision` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CLearnerForgetOperationsBefore` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/learnerimpl.rs:205:16 [INFO] [stdout] | [INFO] [stdout] 205 | pub fn CLearnerForgetOperationsBefore(&mut self, ops_complete:COperationNumber) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `clearner_forget_operations_before` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CBalLt` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/types_i.rs:50:12 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn CBalLt(ba:&CBallot, bb:&CBallot) -> (r:bool) [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `cbal_lt` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CBalLeq` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/types_i.rs:60:12 [INFO] [stdout] | [INFO] [stdout] 60 | pub fn CBalLeq(ba:&CBallot, bb:&CBallot) -> (r:bool) [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `cbal_leq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `RSL` should have a snake case name [INFO] [stdout] --> src/protocol/mod.rs:2:9 [INFO] [stdout] | [INFO] [stdout] 2 | pub mod RSL; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rsl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `clientIds` should have a snake case name [INFO] [stdout] --> src/protocol/RSL/configuration.rs:10:13 [INFO] [stdout] | [INFO] [stdout] 10 | pub clientIds:Set, [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `client_ids` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `logTruncationPoint_2` should have a snake case name [INFO] [stdout] --> src/protocol/RSL/message.rs:53:13 [INFO] [stdout] | [INFO] [stdout] 53 | logTruncationPoint_2:OperationNumber, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `log_truncation_point_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `nextHeartbeatTime` should have a snake case name [INFO] [stdout] --> src/protocol/RSL/replica.rs:28:13 [INFO] [stdout] | [INFO] [stdout] 28 | pub nextHeartbeatTime:int, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `next_heartbeat_time` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `nextActionIndex` should have a snake case name [INFO] [stdout] --> src/protocol/RSL/replica.rs:682:13 [INFO] [stdout] | [INFO] [stdout] 682 | pub nextActionIndex:int, [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `next_action_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `RSL` should have a snake case name [INFO] [stdout] --> src/services/mod.rs:2:9 [INFO] [stdout] | [INFO] [stdout] 2 | pub mod RSL; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rsl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `remote_verus_vec` is never read [INFO] [stdout] --> src/common/native/io_s.rs:375:57 [INFO] [stdout] | [INFO] [stdout] 375 | let mut remote_verus_vec: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 376 | remote_verus_vec = remote_vec; [INFO] [stdout] | ---------------- `remote_verus_vec` is overwritten here before the previous value is read [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `buffer_verus_vec` is never read [INFO] [stdout] --> src/common/native/io_s.rs:377:57 [INFO] [stdout] | [INFO] [stdout] 377 | let mut buffer_verus_vec: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 378 | buffer_verus_vec = buffer_vec; [INFO] [stdout] | ---------------- `buffer_verus_vec` is overwritten here before the previous value is read [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sender` [INFO] [stdout] --> src/common/native/io_s.rs:417:45 [INFO] [stdout] | [INFO] [stdout] 417 | NetcReceiveResult::Received{ref sender, ref message} => { [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `sender: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `message` [INFO] [stdout] --> src/common/native/io_s.rs:417:57 [INFO] [stdout] | [INFO] [stdout] 417 | NetcReceiveResult::Received{ref sender, ref message} => { [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `message: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/implementation/common/marshalling.rs:257:9 [INFO] [stdout] | [INFO] [stdout] 257 | let mut i: usize = 0; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/implementation/common/marshalling.rs:256:9 [INFO] [stdout] | [INFO] [stdout] 256 | let s = vec![*self as u8]; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/implementation/common/marshalling.rs:257:9 [INFO] [stdout] | [INFO] [stdout] 257 | let mut i: usize = 0; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `init` [INFO] [stdout] --> src/implementation/common/marshalling.rs:446:9 [INFO] [stdout] | [INFO] [stdout] 446 | let init: Ghost = Ghost(self_len.ghost_serialize().len() as int); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `init` [INFO] [stdout] --> src/implementation/common/marshalling.rs:624:9 [INFO] [stdout] | [INFO] [stdout] 624 | let init: Ghost = Ghost(self_len.ghost_serialize().len() as int); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid_data_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:847:13 [INFO] [stdout] | [INFO] [stdout] 847 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mid_data_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid_data_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:855:13 [INFO] [stdout] | [INFO] [stdout] 855 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mid_data_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `old_total_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:987:13 [INFO] [stdout] | [INFO] [stdout] 987 | let old_total_len = total_len; [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_old_total_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `old_res` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1067:11 [INFO] [stdout] | [INFO] [stdout] 1067 | let old_res: Ghost = Ghost(res); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_old_res` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `init` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1095:9 [INFO] [stdout] | [INFO] [stdout] 1095 | let init: Ghost = Ghost(self_len.ghost_serialize().len() as int); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `emp` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1163:9 [INFO] [stdout] | [INFO] [stdout] 1163 | let emp: Ghost> = Ghost(Seq::::empty()); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_emp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `accf` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1164:9 [INFO] [stdout] | [INFO] [stdout] 1164 | let accf: Ghost, T) -> Seq> = Ghost(|acc: Seq, x: T| acc + x.ghost_serialize()); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_accf` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `old_end` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1188:11 [INFO] [stdout] | [INFO] [stdout] 1188 | let old_end: Ghost = Ghost(end as int); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_old_end` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `old_res` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1189:11 [INFO] [stdout] | [INFO] [stdout] 1189 | let old_res: Ghost> = Ghost(res@); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_old_res` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid_data_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1413:9 [INFO] [stdout] | [INFO] [stdout] 1413 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mid_data_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `opn` [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:146:58 [INFO] [stdout] | [INFO] [stdout] 146 | pub fn CExecutorGetDecision(&mut self, bal: CBallot, opn: COperationNumber, v: CRequestBatch) [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_opn` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:256:9 [INFO] [stdout] | [INFO] [stdout] 256 | let mut r = HashMap::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reply_cache` [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:402:5 [INFO] [stdout] | [INFO] [stdout] 402 | reply_cache: HashMap:: [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reply_cache` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `log_truncation_point` [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1244:70 [INFO] [stdout] | [INFO] [stdout] 1244 | ...lock: u64, log_truncation_point: COperationNumber) -> (result_CProposerNominateNewValueAndSend2a:OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_log_truncation_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `log_truncation_point` [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1292:58 [INFO] [stdout] | [INFO] [stdout] 1292 | pub fn CProposerNominateOldValueAndSend2a(&mut self, log_truncation_point: COperationNumber) -> (result: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_log_truncation_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `received_packet` [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:98:50 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn CReplicaNextProcessInvalid(&mut self, received_packet: CPacket) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_received_packet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `received_packet` [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:347:48 [INFO] [stdout] | [INFO] [stdout] 347 | pub fn CReplicaNextProcessReply(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_received_packet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid_data_len` [INFO] [stdout] --> src/implementation/common/marshalling.rs:1800:21 [INFO] [stdout] | [INFO] [stdout] 1800 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/implementation/RSL/appinterface.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | / define_enum_and_derive_marshalable! { [INFO] [stdout] 43 | | #[derive(Clone, PartialEq)] [INFO] [stdout] 44 | | pub enum CAppMessage { [INFO] [stdout] 45 | | #[tag = 0] [INFO] [stdout] ... | [INFO] [stdout] 52 | | [rlimit attr = verifier::rlimit(25)] [INFO] [stdout] 53 | | } [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `mid_data_len` is captured in macro and introduced a unused variable [INFO] [stdout] --> src/implementation/common/marshalling.rs:1800:21 [INFO] [stdout] | [INFO] [stdout] 1800 | let mid_data_len: Ghost = Ghost(data@.len() as int); [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/implementation/RSL/appinterface.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | / define_enum_and_derive_marshalable! { [INFO] [stdout] 43 | | #[derive(Clone, PartialEq)] [INFO] [stdout] 44 | | pub enum CAppMessage { [INFO] [stdout] 45 | | #[tag = 0] [INFO] [stdout] ... | [INFO] [stdout] 52 | | [rlimit attr = verifier::rlimit(25)] [INFO] [stdout] 53 | | } [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `derive_marshalable_for_enum` which comes from the expansion of the macro `define_enum_and_derive_marshalable` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `found` [INFO] [stdout] --> src/implementation/RSL/cconstants.rs:97:14 [INFO] [stdout] | [INFO] [stdout] 97 | let (found, index) = config.CGetReplicaIndex(end); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_found` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/implementation/RSL/types_i.rs:256:13 [INFO] [stdout] | [INFO] [stdout] 256 | let mut i = 0; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/implementation/RSL/types_i.rs:256:13 [INFO] [stdout] | [INFO] [stdout] 256 | let mut i = 0; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `arg` is never read [INFO] [stdout] --> src/lib.rs:42:32 [INFO] [stdout] | [INFO] [stdout] 42 | let mut arg: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 43 | arg = arg_vec; [INFO] [stdout] | --- `arg` is overwritten here before the previous value is read [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sender` [INFO] [stdout] --> src/lib.rs:71:37 [INFO] [stdout] | [INFO] [stdout] 71 | NetcReceiveResult::Received{sender, message} => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `sender: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sender` [INFO] [stdout] --> src/lib.rs:85:37 [INFO] [stdout] | [INFO] [stdout] 85 | NetcReceiveResult::Received{sender, message} => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `sender: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `message` is never read [INFO] [stdout] --> src/lib.rs:66:32 [INFO] [stdout] | [INFO] [stdout] 66 | let mut message: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 67 | message = "Hello, world!".as_bytes().to_vec(); [INFO] [stdout] | ------- `message` is overwritten here before the previous value is read [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lib.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 173 | let mut nc = crate::common::native::io_s::NetClient::new(EndPoint{id: my_end_point}, get_time_func, receive_func, send_func); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/lib.rs:163:9 [INFO] [stdout] | [INFO] [stdout] 163 | let args: Vec> = unflatten_args(num_args, arg_lengths, total_arg_length, flattened_args); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_args` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nc` [INFO] [stdout] --> src/lib.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 173 | let mut nc = crate::common::native::io_s::NetClient::new(EndPoint{id: my_end_point}, get_time_func, receive_func, send_func); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_nc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `my_end_point` is never read [INFO] [stdout] --> src/lib.rs:170:37 [INFO] [stdout] | [INFO] [stdout] 170 | let mut my_end_point: Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ this value is reassigned later and never used [INFO] [stdout] 171 | my_end_point = my_end_point_vec; [INFO] [stdout] | ------------ `my_end_point` is overwritten here before the previous value is read [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `sentPackets` should have a snake case name [INFO] [stdout] --> src/common/framework/environment_s.rs:36:13 [INFO] [stdout] | [INFO] [stdout] 36 | pub sentPackets:Set>, [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `sent_packets` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `hostInfo` should have a snake case name [INFO] [stdout] --> src/common/framework/environment_s.rs:37:13 [INFO] [stdout] | [INFO] [stdout] 37 | pub hostInfo:Map>, [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `host_info` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `nextStep` should have a snake case name [INFO] [stdout] --> src/common/framework/environment_s.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | pub nextStep:LEnvStep [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `next_step` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `RSL` should have a snake case name [INFO] [stdout] --> src/implementation/mod.rs:3:9 [INFO] [stdout] | [INFO] [stdout] 3 | pub mod RSL; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rsl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CUpperBoundedAddition` should have a snake case name [INFO] [stdout] --> src/implementation/common/upper_bound.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn CUpperBoundedAddition(x:u64, y:u64, u:u64) -> (sum:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cupper_bounded_addition` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `CStateMachine` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:1:9 [INFO] [stdout] | [INFO] [stdout] 1 | pub mod CStateMachine; [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `cstate_machine` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `ElectionImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:2:9 [INFO] [stdout] | [INFO] [stdout] 2 | pub mod ElectionImpl; [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `election_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `ExecutorImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:3:9 [INFO] [stdout] | [INFO] [stdout] 3 | pub mod ExecutorImpl; [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `executor_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `ProposerImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub mod ProposerImpl; [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `proposer_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `ReplicaImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/mod.rs:5:9 [INFO] [stdout] | [INFO] [stdout] 5 | pub mod ReplicaImpl; [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `replica_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CHandleRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/CStateMachine.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn CHandleRequest(state: CAppState, request: CRequest) -> ( result:(CAppState, CReply)) [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `chandle_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CHandleRequestBatchHidden` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/CStateMachine.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn CHandleRequestBatchHidden(state: CAppState, batch: CRequestBatch) -> (result:(Vec, Vec)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `chandle_request_batch_hidden` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CHandleRequestBatch` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/CStateMachine.rs:155:8 [INFO] [stdout] | [INFO] [stdout] 155 | pub fn CHandleRequestBatch(state:CAppState, batch:CRequestBatch) -> (rc:(Vec, Vec)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `chandle_request_batch` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CComputeSuccessorView` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:449:12 [INFO] [stdout] | [INFO] [stdout] 449 | pub fn CComputeSuccessorView(b:CBallot, c:CConstants) -> (rc:CBallot) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ccompute_successor_view` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CBoundRequestSequence` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:465:12 [INFO] [stdout] | [INFO] [stdout] 465 | pub fn CBoundRequestSequence(s: Vec, lengthBound: u64) -> (rc: Vec) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cbound_request_sequence` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lengthBound` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:465:52 [INFO] [stdout] | [INFO] [stdout] 465 | pub fn CBoundRequestSequence(s: Vec, lengthBound: u64) -> (rc: Vec) [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `length_bound` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: comparison is useless due to type limits [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:475:12 [INFO] [stdout] | [INFO] [stdout] 475 | if 0 <= lengthBound && lengthBound < s_len { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_comparisons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRequestsMatch` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:486:12 [INFO] [stdout] | [INFO] [stdout] 486 | pub fn CRequestsMatch(r1:CRequest, r2:CRequest) -> (r:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `crequests_match` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRequestSatisfiedBy` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:496:12 [INFO] [stdout] | [INFO] [stdout] 496 | pub fn CRequestSatisfiedBy(r1:CRequest, r2:CRequest) -> (r:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `crequest_satisfied_by` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRemoveAllSatisfiedRequestsInSequence` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:507:12 [INFO] [stdout] | [INFO] [stdout] 507 | pub fn CRemoveAllSatisfiedRequestsInSequence(s:&Vec, r:&CRequest) -> (rc: Vec) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cremove_all_satisfied_requests_in_sequence` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:526:12 [INFO] [stdout] | [INFO] [stdout] 526 | pub fn CElectionStateInit(c:CReplicaConstants) -> (rc:Self) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateProcessHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:549:12 [INFO] [stdout] | [INFO] [stdout] 549 | pub fn CElectionStateProcessHeartbeat( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_process_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `bal_heartbeat:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:568:41 [INFO] [stdout] | [INFO] [stdout] 568 | let CMessage::CMessageHeartbeat{bal_heartbeat, suspicious, .. } = p.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^^^^^^^^ help: use shorthand field pattern: `bal_heartbeat` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_shorthand_field_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `suspicious:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:568:56 [INFO] [stdout] | [INFO] [stdout] 568 | let CMessage::CMessageHeartbeat{bal_heartbeat, suspicious, .. } = p.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^^^^^ help: use shorthand field pattern: `suspicious` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateCheckForViewTimeout` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:602:12 [INFO] [stdout] | [INFO] [stdout] 602 | pub fn CElectionStateCheckForViewTimeout( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_check_for_view_timeout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateCheckForQuorumOfViewSuspicions` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:643:12 [INFO] [stdout] | [INFO] [stdout] 643 | pub fn CElectionStateCheckForQuorumOfViewSuspicions( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_check_for_quorum_of_view_suspicions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CElectionStateReflectReceivedRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:683:12 [INFO] [stdout] | [INFO] [stdout] 683 | pub fn CElectionStateReflectReceivedRequest( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `celection_state_reflect_received_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRemoveExecutedRequestBatch` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:721:12 [INFO] [stdout] | [INFO] [stdout] 721 | pub fn CRemoveExecutedRequestBatch(reqs: Vec, batch: CRequestBatch) -> (r: Vec) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cremove_executed_request_batch` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `ElectionStateReflectExecutedRequestBatch` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ElectionImpl.rs:737:12 [INFO] [stdout] | [INFO] [stdout] 737 | pub fn ElectionStateReflectExecutedRequestBatch( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `election_state_reflect_executed_request_batch` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:129:12 [INFO] [stdout] | [INFO] [stdout] 129 | pub fn CExecutorInit(c: CReplicaConstants) -> (s:Self) [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorGetDecision` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:146:12 [INFO] [stdout] | [INFO] [stdout] 146 | pub fn CExecutorGetDecision(&mut self, bal: CBallot, opn: COperationNumber, v: CRequestBatch) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_get_decision` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CGetPacketsFromReplies` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:197:8 [INFO] [stdout] | [INFO] [stdout] 197 | pub fn CGetPacketsFromReplies(me: EndPoint, requests: Vec, replies: Vec) -> (cr:Vec) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cget_packets_from_replies` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CClientsInReplies` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:238:8 [INFO] [stdout] | [INFO] [stdout] 238 | pub fn CClientsInReplies(replies: Vec) -> (m:CReplyCache) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cclients_in_replies` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CUpdateNewCache` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:266:8 [INFO] [stdout] | [INFO] [stdout] 266 | pub fn CUpdateNewCache(c: CReplyCache, replies: Vec) -> (c_prime:CReplyCache) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cupdate_new_cache` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorExecute` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:293:8 [INFO] [stdout] | [INFO] [stdout] 293 | pub fn CExecutorExecute(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_execute` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorProcessAppStateSupply` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:345:8 [INFO] [stdout] | [INFO] [stdout] 345 | pub fn CExecutorProcessAppStateSupply( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_process_app_state_supply` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorProcessAppStateRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:399:8 [INFO] [stdout] | [INFO] [stdout] 399 | pub fn CExecutorProcessAppStateRequest( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_process_app_state_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorProcessStartingPhase2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:480:8 [INFO] [stdout] | [INFO] [stdout] 480 | pub fn CExecutorProcessStartingPhase2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_process_starting_phase2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExecutorProcessRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ExecutorImpl.rs:553:12 [INFO] [stdout] | [INFO] [stdout] 553 | pub fn CExecutorProcessRequest(self,inp: CPacket) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexecutor_process_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CIsAfterLogTruncationPoint` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:811:12 [INFO] [stdout] | [INFO] [stdout] 811 | pub fn CIsAfterLogTruncationPoint(opn:COperationNumber, received_1b_packets:HashSet) -> bool [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cis_after_log_truncation_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CSetOfMessage1b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:824:12 [INFO] [stdout] | [INFO] [stdout] 824 | pub fn CSetOfMessage1b(S : HashSet) -> bool [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cset_of_message1b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:824:28 [INFO] [stdout] | [INFO] [stdout] 824 | pub fn CSetOfMessage1b(S : HashSet) -> bool [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CSetOfMessage1bAboutBallot` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:837:12 [INFO] [stdout] | [INFO] [stdout] 837 | pub fn CSetOfMessage1bAboutBallot(S:HashSet, b:CBallot) -> bool [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cset_of_message1b_about_ballot` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:837:39 [INFO] [stdout] | [INFO] [stdout] 837 | pub fn CSetOfMessage1bAboutBallot(S:HashSet, b:CBallot) -> bool [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAllAcceptorsHadNoProposal` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:854:12 [INFO] [stdout] | [INFO] [stdout] 854 | pub fn CAllAcceptorsHadNoProposal(S:HashSet, opn:COperationNumber) -> (result_CAllAcceptorsHadNoProposal:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `call_acceptors_had_no_proposal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:854:39 [INFO] [stdout] | [INFO] [stdout] 854 | pub fn CAllAcceptorsHadNoProposal(S:HashSet, opn:COperationNumber) -> (result_CAllAcceptorsHadNoProposal:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:868:40 [INFO] [stdout] | [INFO] [stdout] 868 | let CMessage::CMessage1b { votes, ..} = &p.msg else { unreachable!()}; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExistVotesHasProposalLargeThanOpn` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:877:12 [INFO] [stdout] | [INFO] [stdout] 877 | pub fn CExistVotesHasProposalLargeThanOpn(p: CPacket, op: COperationNumber) -> (result_CExistVotesHasProposalLargeThanOpn:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexist_votes_has_proposal_large_than_opn` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:888:37 [INFO] [stdout] | [INFO] [stdout] 888 | let CMessage:: CMessage1b { votes, ..} = &p.msg else { unreachable!()}; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExistsAcceptorHasProposalLargeThanOpn` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:898:12 [INFO] [stdout] | [INFO] [stdout] 898 | pub fn CExistsAcceptorHasProposalLargeThanOpn(S:HashSet, op:COperationNumber) -> (result_CExistsAcceptorHasProposalLar... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexists_acceptor_has_proposal_large_than_opn` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:898:51 [INFO] [stdout] | [INFO] [stdout] 898 | pub fn CExistsAcceptorHasProposalLargeThanOpn(S:HashSet, op:COperationNumber) -> (result_CExistsAcceptorHasProposalLar... [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `Cmax_balInS` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:922:12 [INFO] [stdout] | [INFO] [stdout] 922 | pub fn Cmax_balInS(c:CBallot, S:HashSet, opn:COperationNumber) -> (result_Cmax_balInS:bool) [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `cmax_bal_in_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:922:35 [INFO] [stdout] | [INFO] [stdout] 922 | pub fn Cmax_balInS(c:CBallot, S:HashSet, opn:COperationNumber) -> (result_Cmax_balInS:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:937:40 [INFO] [stdout] | [INFO] [stdout] 937 | let CMessage::CMessage1b { votes, ..} = &pkt.msg else { unreachable!()}; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CExistsBallotInS` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:948:12 [INFO] [stdout] | [INFO] [stdout] 948 | pub fn CExistsBallotInS(v: CRequestBatch, c: CBallot, S: HashSet, opn:COperationNumber) -> (result_CExistsBallotInS:bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cexists_ballot_in_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:948:59 [INFO] [stdout] | [INFO] [stdout] 948 | pub fn CExistsBallotInS(v: CRequestBatch, c: CBallot, S: HashSet, opn:COperationNumber) -> (result_CExistsBallotInS:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:964:40 [INFO] [stdout] | [INFO] [stdout] 964 | let CMessage::CMessage1b { votes, ..} = &pkt.msg else { unreachable!()}; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CValIsHighestNumberedProposalAtBallot` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:976:12 [INFO] [stdout] | [INFO] [stdout] 976 | pub fn CValIsHighestNumberedProposalAtBallot(v:CRequestBatch, c:CBallot, S:HashSet, opn:COperationNumber) -> (result_C... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cval_is_highest_numbered_proposal_at_ballot` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:976:78 [INFO] [stdout] | [INFO] [stdout] 976 | ...RequestBatch, c:CBallot, S:HashSet, opn:COperationNumber) -> (result_CValIsHighestNumberedProposalAtBallot:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CValIsHighestNumberedProposal` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:997:12 [INFO] [stdout] | [INFO] [stdout] 997 | pub fn CValIsHighestNumberedProposal(v: CRequestBatch, S: HashSet, opn:COperationNumber ) -> (result_CValIsHighestNumb... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cval_is_highest_numbered_proposal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:997:60 [INFO] [stdout] | [INFO] [stdout] 997 | ...oposal(v: CRequestBatch, S: HashSet, opn:COperationNumber ) -> (result_CValIsHighestNumberedProposal:bool) [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1013:40 [INFO] [stdout] | [INFO] [stdout] 1013 | let CMessage::CMessage1b { votes, .. } = &pkt.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerCanNominateUsingOperationNumber` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1028:12 [INFO] [stdout] | [INFO] [stdout] 1028 | pub fn CProposerCanNominateUsingOperationNumber(&self, log_truncation_point: COperationNumber, opn:COperationNumber) -> (resul... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_can_nominate_using_operation_number` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1076:12 [INFO] [stdout] | [INFO] [stdout] 1076 | pub fn CProposerInit(c : CReplicaConstants)->(result_CProposerInit:CProposer) [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerProcessRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1137:12 [INFO] [stdout] | [INFO] [stdout] 1137 | pub fn CProposerProcessRequest(&mut self, packet:CPacket) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_process_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `seqno_req:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1146:41 [INFO] [stdout] | [INFO] [stdout] 1146 | let CMessage::CMessageRequest { seqno_req, val } = packet.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^^^^ help: use shorthand field pattern: `seqno_req` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `val:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1146:52 [INFO] [stdout] | [INFO] [stdout] 1146 | let CMessage::CMessageRequest { seqno_req, val } = packet.msg else { unreachable!() }; [INFO] [stdout] | ^^^ help: use shorthand field pattern: `val` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerMaybeEnterNewViewAndSend1a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1164:12 [INFO] [stdout] | [INFO] [stdout] 1164 | pub fn CProposerMaybeEnterNewViewAndSend1a(&mut self) -> (result_CProposerMaybeEnterNewViewAndSend1a:OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_maybe_enter_new_view_and_send1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerProcess1b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1199:12 [INFO] [stdout] | [INFO] [stdout] 1199 | pub fn CProposerProcess1b(&mut self, p: CPacket) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_process1b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerMaybeEnterPhase2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1212:12 [INFO] [stdout] | [INFO] [stdout] 1212 | pub fn CProposerMaybeEnterPhase2(&mut self, log_truncation_point: COperationNumber) -> (result: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_maybe_enter_phase2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerNominateNewValueAndSend2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1244:12 [INFO] [stdout] | [INFO] [stdout] 1244 | ...fn CProposerNominateNewValueAndSend2a(&mut self, clock: u64, log_truncation_point: COperationNumber) -> (result_CProposerNomina... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_nominate_new_value_and_send2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerNominateOldValueAndSend2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1292:12 [INFO] [stdout] | [INFO] [stdout] 1292 | pub fn CProposerNominateOldValueAndSend2a(&mut self, log_truncation_point: COperationNumber) -> (result: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_nominate_old_value_and_send2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `votes:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1308:40 [INFO] [stdout] | [INFO] [stdout] 1308 | let CMessage::CMessage1b { votes, .. } = &pkt.msg else { continue }; [INFO] [stdout] | ^^^^^ help: use shorthand field pattern: `votes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerMaybeNominateValueAndSend2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1337:12 [INFO] [stdout] | [INFO] [stdout] 1337 | pub fn CProposerMaybeNominateValueAndSend2a(&mut self, clock: u64, log_truncation_point: COperationNumber) -> (result: Outboun... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_maybe_nominate_value_and_send2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerProcessHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1395:12 [INFO] [stdout] | [INFO] [stdout] 1395 | pub fn CProposerProcessHeartbeat(&mut self, p:CPacket, clock:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_process_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerCheckForViewTimeout` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1413:12 [INFO] [stdout] | [INFO] [stdout] 1413 | pub fn CProposerCheckForViewTimeout(& mut self, clock:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_check_for_view_timeout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerCheckForQuorumOfViewSuspicions` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1425:12 [INFO] [stdout] | [INFO] [stdout] 1425 | pub fn CProposerCheckForQuorumOfViewSuspicions(&mut self, clock:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_check_for_quorum_of_view_suspicions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CProposerResetViewTimerDueToExecution` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ProposerImpl.rs:1442:12 [INFO] [stdout] | [INFO] [stdout] 1442 | pub fn CProposerResetViewTimerDueToExecution(&mut self, val: CRequestBatch) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cproposer_reset_view_timer_due_to_execution` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `nextHeartbeatTime` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | pub nextHeartbeatTime: u64, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `next_heartbeat_time` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:80:12 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn CReplicaInit(c: CReplicaConstants) -> (result: Self) [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessInvalid` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn CReplicaNextProcessInvalid(&mut self, received_packet: CPacket) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_invalid` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:116:12 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn CReplicaNextProcessRequest(&mut self, received_packet: CPacket) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcess1a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:156:8 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn CReplicaNextProcess1a(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcess1b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:179:8 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn CReplicaNextProcess1b(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process1b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessStartingPhase2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:237:8 [INFO] [stdout] | [INFO] [stdout] 237 | pub fn CReplicaNextProcessStartingPhase2(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_starting_phase2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcess2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:260:12 [INFO] [stdout] | [INFO] [stdout] 260 | pub fn CReplicaNextProcess2a(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcess2b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:304:12 [INFO] [stdout] | [INFO] [stdout] 304 | pub fn CReplicaNextProcess2b(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process2b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessReply` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:347:12 [INFO] [stdout] | [INFO] [stdout] 347 | pub fn CReplicaNextProcessReply(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_reply` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessAppStateSupply` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:368:12 [INFO] [stdout] | [INFO] [stdout] 368 | pub fn CReplicaNextProcessAppStateSupply(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_app_state_supply` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessAppStateRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:409:12 [INFO] [stdout] | [INFO] [stdout] 409 | pub fn CReplicaNextProcessAppStateRequest(&mut self, received_packet: CPacket ) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_app_state_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextProcessHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:431:12 [INFO] [stdout] | [INFO] [stdout] 431 | pub fn CReplicaNextProcessHeartbeat(&mut self, received_packet: CPacket ,clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_process_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousMaybeEnterNewViewAndSend1a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:455:12 [INFO] [stdout] | [INFO] [stdout] 455 | pub fn CReplicaNextSpontaneousMaybeEnterNewViewAndSend1a(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_maybe_enter_new_view_and_send1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousMaybeEnterPhase2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:473:12 [INFO] [stdout] | [INFO] [stdout] 473 | pub fn CReplicaNextSpontaneousMaybeEnterPhase2(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_maybe_enter_phase2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousMaybeMakeDecision` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:490:12 [INFO] [stdout] | [INFO] [stdout] 490 | pub fn CReplicaNextSpontaneousMaybeMakeDecision(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_maybe_make_decision` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousMaybeExecute` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:516:12 [INFO] [stdout] | [INFO] [stdout] 516 | pub fn CReplicaNextSpontaneousMaybeExecute(&mut self) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_maybe_execute` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextReadClockMaybeSendHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:558:8 [INFO] [stdout] | [INFO] [stdout] 558 | pub fn CReplicaNextReadClockMaybeSendHeartbeat(&mut self, clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_read_clock_maybe_send_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextReadClockCheckForViewTimeout` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:582:8 [INFO] [stdout] | [INFO] [stdout] 582 | pub fn CReplicaNextReadClockCheckForViewTimeout(&mut self, clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_read_clock_check_for_view_timeout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextReadClockCheckForQuorumOfViewSuspicions` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:601:8 [INFO] [stdout] | [INFO] [stdout] 601 | pub fn CReplicaNextReadClockCheckForQuorumOfViewSuspicions(&mut self, clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_read_clock_check_for_quorum_of_view_suspicions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextSpontaneousTruncateLogBasedOnCheckpoints` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:620:8 [INFO] [stdout] | [INFO] [stdout] 620 | pub fn CReplicaNextSpontaneousTruncateLogBasedOnCheckpoints(&mut self) -> (res:OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_spontaneous_truncate_log_based_on_checkpoints` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CReplicaNextReadClockMaybeNominateValueAndSend2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/ReplicaImpl.rs:664:8 [INFO] [stdout] | [INFO] [stdout] 664 | pub fn CReplicaNextReadClockMaybeNominateValueAndSend2a(&mut self, clock: u64) -> (res: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `creplica_next_read_clock_maybe_nominate_value_and_send2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CIsLogTruncationPointValid` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:98:16 [INFO] [stdout] | [INFO] [stdout] 98 | ... pub fn CIsLogTruncationPointValid(log_truncation_point: COperationNumber, last_checkpointed_operation: Vec, ... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cis_log_truncation_point_valid` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CRemoveVotesBeforeLogTruncationPoint` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:113:16 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn CRemoveVotesBeforeLogTruncationPoint(votes: CVotes, log_truncation_point: COperationNumber) -> (cvotes:CVotes) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cremove_votes_before_log_truncation_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAddVoteAndRemoveOldOnes` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:134:16 [INFO] [stdout] | [INFO] [stdout] 134 | ... pub fn CAddVoteAndRemoveOldOnes(votes: CVotes, new_opn: COperationNumber, new_vote: CVote, log_truncation_point: COperationNu... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cadd_vote_and_remove_old_ones` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:152:16 [INFO] [stdout] | [INFO] [stdout] 152 | pub fn CAcceptorInit(c: CReplicaConstants) -> (rc:Self) [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorProcess1a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:242:16 [INFO] [stdout] | [INFO] [stdout] 242 | pub fn CAcceptorProcess1a(&mut self, inp: CPacket) -> (sent: OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_process1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `bal_1a:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:273:40 [INFO] [stdout] | [INFO] [stdout] 273 | let CMessage::CMessage1a { bal_1a } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^ help: use shorthand field pattern: `bal_1a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorProcess2a` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:298:16 [INFO] [stdout] | [INFO] [stdout] 298 | pub fn CAcceptorProcess2a(&mut self, inp:CPacket) -> (sent:OutboundPackets) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_process2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `bal_2a:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:346:36 [INFO] [stdout] | [INFO] [stdout] 346 | let CMessage::CMessage2a { bal_2a, opn_2a, val_2a } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^ help: use shorthand field pattern: `bal_2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `opn_2a:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:346:44 [INFO] [stdout] | [INFO] [stdout] 346 | let CMessage::CMessage2a { bal_2a, opn_2a, val_2a } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^ help: use shorthand field pattern: `opn_2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `val_2a:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:346:52 [INFO] [stdout] | [INFO] [stdout] 346 | let CMessage::CMessage2a { bal_2a, opn_2a, val_2a } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^ help: use shorthand field pattern: `val_2a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorProcessHeartbeat` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:399:16 [INFO] [stdout] | [INFO] [stdout] 399 | pub fn CAcceptorProcessHeartbeat(&mut self, inp: CPacket) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_process_heartbeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `opn_ckpt:` in this pattern is redundant [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:426:47 [INFO] [stdout] | [INFO] [stdout] 426 | let CMessage::CMessageHeartbeat { opn_ckpt,.. } = inp.msg else { unreachable!() }; [INFO] [stdout] | ^^^^^^^^ help: use shorthand field pattern: `opn_ckpt` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CAcceptorTruncateLog` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/acceptorimpl.rs:445:16 [INFO] [stdout] | [INFO] [stdout] 445 | pub fn CAcceptorTruncateLog(&mut self, opn: COperationNumber) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cacceptor_truncate_log` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CappendIncrImpl` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/appinterface.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn CappendIncrImpl(v:u64) -> (rc:u64) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cappend_incr_impl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `HandleAppRequest` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/appinterface.rs:117:12 [INFO] [stdout] | [INFO] [stdout] 117 | pub fn HandleAppRequest(appState:CAppState, request:CAppMessage) -> (rc:(CAppState, CAppMessage)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `handle_app_request` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `appState` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/appinterface.rs:117:29 [INFO] [stdout] | [INFO] [stdout] 117 | pub fn HandleAppRequest(appState:CAppState, request:CAppMessage) -> (rc:(CAppState, CAppMessage)) [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `app_state` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `BuildBroadcastToEveryone` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cbroadcast.rs:78:16 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn BuildBroadcastToEveryone(config:CConfiguration, my_index: u64, msg: CMessage) -> (res:Self) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `build_broadcast_to_everyone` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CMinQuorumSize` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cconfiguration.rs:44:16 [INFO] [stdout] | [INFO] [stdout] 44 | pub fn CMinQuorumSize(&self) -> (q:usize) [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cmin_quorum_size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CGetReplicaIndex` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cconfiguration.rs:87:16 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn CGetReplicaIndex( &self, id:EndPoint) -> (rc:(bool, usize)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cget_replica_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CFindIndexInSeq` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cconfiguration.rs:205:12 [INFO] [stdout] | [INFO] [stdout] 205 | pub fn CFindIndexInSeq(s:Vec, v:EndPoint, start:usize) -> (rc:(bool, usize)) [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `cfind_index_in_seq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `InitReplicaConstants` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cconstants.rs:83:12 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn InitReplicaConstants(end:EndPoint, config:CConfiguration) -> (rc:CReplicaConstants) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `init_replica_constants` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `logTruncationPoint_2` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cmessage.rs:66:13 [INFO] [stdout] | [INFO] [stdout] 66 | logTruncationPoint_2:COperationNumber, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `log_truncation_point_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `StaticParams` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/cparameters.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 68 | pub fn StaticParams() -> (p:CParameters) [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `static_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CLearnerInit` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/learnerimpl.rs:62:16 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn CLearnerInit(c:CReplicaConstants) -> (clearner_init_result:Self) [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `clearner_init` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CLearnerProcess2b` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/learnerimpl.rs:88:16 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn CLearnerProcess2b(&mut self, packet: CPacket) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `clearner_process2b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CLearnerForgetDecision` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/learnerimpl.rs:188:16 [INFO] [stdout] | [INFO] [stdout] 188 | pub fn CLearnerForgetDecision(&mut self, opn:COperationNumber) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `clearner_forget_decision` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `CLearnerForgetOperationsBefore` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/learnerimpl.rs:205:16 [INFO] [stdout] | [INFO] [stdout] 205 | pub fn CLearnerForgetOperationsBefore(&mut self, ops_complete:COperationNumber) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `clearner_forget_operations_before` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CBalLt` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/types_i.rs:50:12 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn CBalLt(ba:&CBallot, bb:&CBallot) -> (r:bool) [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `cbal_lt` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `CBalLeq` should have a snake case name [INFO] [stdout] --> src/implementation/RSL/types_i.rs:60:12 [INFO] [stdout] | [INFO] [stdout] 60 | pub fn CBalLeq(ba:&CBallot, bb:&CBallot) -> (r:bool) [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `cbal_leq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `RSL` should have a snake case name [INFO] [stdout] --> src/protocol/mod.rs:2:9 [INFO] [stdout] | [INFO] [stdout] 2 | pub mod RSL; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rsl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `clientIds` should have a snake case name [INFO] [stdout] --> src/protocol/RSL/configuration.rs:10:13 [INFO] [stdout] | [INFO] [stdout] 10 | pub clientIds:Set, [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `client_ids` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `logTruncationPoint_2` should have a snake case name [INFO] [stdout] --> src/protocol/RSL/message.rs:53:13 [INFO] [stdout] | [INFO] [stdout] 53 | logTruncationPoint_2:OperationNumber, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `log_truncation_point_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `nextHeartbeatTime` should have a snake case name [INFO] [stdout] --> src/protocol/RSL/replica.rs:28:13 [INFO] [stdout] | [INFO] [stdout] 28 | pub nextHeartbeatTime:int, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `next_heartbeat_time` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `nextActionIndex` should have a snake case name [INFO] [stdout] --> src/protocol/RSL/replica.rs:682:13 [INFO] [stdout] | [INFO] [stdout] 682 | pub nextActionIndex:int, [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `next_action_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `RSL` should have a snake case name [INFO] [stdout] --> src/services/mod.rs:2:9 [INFO] [stdout] | [INFO] [stdout] 2 | pub mod RSL; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rsl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost` [INFO] [stdout] --> src/main.rs:3:13 [INFO] [stdout] | [INFO] [stdout] 3 | #![cfg_attr(verus_keep_ghost, verus::trusted)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 32 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost` [INFO] [stdout] --> src/main.rs:3:13 [INFO] [stdout] | [INFO] [stdout] 3 | #![cfg_attr(verus_keep_ghost, verus::trusted)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 32 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 29.08s [INFO] running `Command { std: "docker" "inspect" "c191213a2b7db49831a56ff1d3b83d1d6fab0c7f918754858a912d9f9e031e42", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c191213a2b7db49831a56ff1d3b83d1d6fab0c7f918754858a912d9f9e031e42", kill_on_drop: false }` [INFO] [stdout] c191213a2b7db49831a56ff1d3b83d1d6fab0c7f918754858a912d9f9e031e42