Skip to content

test(mbt): MBT for round state machine #437

test(mbt): MBT for round state machine

test(mbt): MBT for round state machine #437

Triggered via pull request December 13, 2023 13:02
@hvanzhvanz
synchronize #120
mbt-consensus
Status Failure
Total duration 2m 19s
Artifacts

rust.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 3 warnings
Formatting
Process completed with exit code 1.
Clippy: itf/tests/consensus/runner.rs#L31
error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:31:29 | 31 | 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)]`
Clippy: itf/tests/consensus/runner.rs#L54
error: casting integer literal to `i64` is unnecessary --> itf/tests/consensus/runner.rs:54:23 | 54 | let height = &(1 as i64); // FIXME | ^^^^^^^^^^ help: try: `1_i64` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast
Clippy: itf/tests/consensus/runner.rs#L55
error: casting integer literal to `i64` is unnecessary --> itf/tests/consensus/runner.rs:55:22 | 55 | let round = &(0 as i64); // FIXME | ^^^^^^^^^^ help: try: `0_i64` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_cast
Clippy: itf/tests/consensus/runner.rs#L60
error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:60:46 | 60 | 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
Clippy: itf/tests/consensus/runner.rs#L69
error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:69:46 | 69 | 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
Clippy: itf/tests/consensus/runner.rs#L79
error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:79:46 | 79 | 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
Clippy: itf/tests/consensus/runner.rs#L84
error: this expression creates a reference which is immediately dereferenced by the compiler --> itf/tests/consensus/runner.rs:84:38 | 84 | 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)]`
Clippy: itf/tests/consensus/runner.rs#L95
error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:95:46 | 95 | 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
Clippy: itf/tests/consensus/runner.rs#L100
error: this expression creates a reference which is immediately dereferenced by the compiler --> itf/tests/consensus/runner.rs:100:38 | 100 | 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
Clippy: itf/tests/consensus/runner.rs#L111
error: casting to the same type is unnecessary (`i64` -> `i64`) --> itf/tests/consensus/runner.rs:111:46 | 111 | 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
Formatting: Code/itf/src/consensus.rs#L2
Diff in /home/runner/work/malachite/malachite/Code/itf/src/consensus.rs
Formatting: Code/itf/tests/consensus.rs#L7
Diff in /home/runner/work/malachite/malachite/Code/itf/tests/consensus.rs
Clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/clippy@master. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/