Process completed with exit code 1.

error: unneeded unit expression --> itf/tests/consensus/runner.rs:227:21 | 227 | () | ^^ help: remove the final `()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unused_unit = note: `-D clippy::unused-unit` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::unused_unit)]`

error: unused variable: `value` --> itf/tests/consensus/runner.rs:69:49 | 69 | ModelInput::NewRoundProposer(round, value) => { | ^^^^^ help: if this is intentional, prefix it with an underscore: `_value` | = note: `-D unused-variables` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(unused_variables)]`

error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:32:29 | 32 | let round = state.round as i64; | ^^^^^^^^^^^^^^^^^^ help: try: `state.round` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast = note: `-D clippy::unnecessary-cast` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::unnecessary_cast)]`

error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:63:46 | 63 | let input_round = Round::new(*round as i64); | ^^^^^^^^^^^^^ help: try: `*round` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:71:46 | 71 | let input_round = Round::new(*round as i64); | ^^^^^^^^^^^^^ help: try: `*round` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:78:46 | 78 | let input_round = Round::new(*round as i64); | ^^^^^^^^^^^^^ help: try: `*round` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

error: this expression creates a reference which is immediately dereferenced by the compiler --> itf/tests/consensus/runner.rs:83:38 | 83 | value_from_model(&value).unwrap(), | ^^^^^^ help: change this to: `value` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow = note: `-D clippy::needless-borrow` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::needless_borrow)]`

error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:91:46 | 91 | let input_round = Round::new(*valid_round as i64); | ^^^^^^^^^^^^^^^^^^^ help: try: `*valid_round` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast

error: this expression creates a reference which is immediately dereferenced by the compiler --> itf/tests/consensus/runner.rs:96:38 | 96 | value_from_model(&value).unwrap(), | ^^^^^^ help: change this to: `value` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow

error: this expression creates a reference which is immediately dereferenced by the compiler --> itf/tests/consensus/runner.rs:108:38 | 108 | value_from_model(&value).unwrap(), | ^^^^^^ help: change this to: `value` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow

unused variable: `value`

Process completed with exit code 101.

Diff in /home/runner/work/malachite/malachite/Code/itf/tests/consensus/runner.rs