[INFO] cloning repository https://github.com/d702e20/OnTheFlyATL [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/d702e20/OnTheFlyATL" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] d9cc708a811fa69e25f6b7104e5e7b201e4cac8b [INFO] checking d702e20/OnTheFlyATL against master#936f2600b6c903b04387f74ed5cbce88bb06d243 for pr-91141 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL" "/workspace/builds/worker-31/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-31/source'... [INFO] [stderr] done. [INFO] [stderr] Updating files: 87% (744/853) Updating files: 88% (751/853) Updating files: 89% (760/853) Updating files: 90% (768/853) Updating files: 91% (777/853) Updating files: 92% (785/853) Updating files: 93% (794/853) Updating files: 94% (802/853) Updating files: 95% (811/853) Updating files: 96% (819/853) Updating files: 97% (828/853) Updating files: 98% (836/853) Updating files: 99% (845/853) Updating files: 100% (853/853) Updating files: 100% (853/853), done. [INFO] validating manifest of git repo https://github.com/d702e20/OnTheFlyATL on toolchain 936f2600b6c903b04387f74ed5cbce88bb06d243 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+936f2600b6c903b04387f74ed5cbce88bb06d243" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/d702e20/OnTheFlyATL [INFO] finished tweaking git repo https://github.com/d702e20/OnTheFlyATL [INFO] tweaked toml for git repo https://github.com/d702e20/OnTheFlyATL written to /workspace/builds/worker-31/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+936f2600b6c903b04387f74ed5cbce88bb06d243" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+936f2600b6c903b04387f74ed5cbce88bb06d243" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-31/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-31/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+936f2600b6c903b04387f74ed5cbce88bb06d243" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b08dff5f52c95b697557d9caa3dcb4675119e10f368893c50ae8af320d450ffa [INFO] running `Command { std: "docker" "start" "-a" "b08dff5f52c95b697557d9caa3dcb4675119e10f368893c50ae8af320d450ffa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b08dff5f52c95b697557d9caa3dcb4675119e10f368893c50ae8af320d450ffa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b08dff5f52c95b697557d9caa3dcb4675119e10f368893c50ae8af320d450ffa", kill_on_drop: false }` [INFO] [stdout] b08dff5f52c95b697557d9caa3dcb4675119e10f368893c50ae8af320d450ffa [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-31/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-31/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+936f2600b6c903b04387f74ed5cbce88bb06d243" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 74da8cf2f322a5a8d2ee2353b49d117568794bb302ca469fd226d15f34f0da29 [INFO] running `Command { std: "docker" "start" "-a" "74da8cf2f322a5a8d2ee2353b49d117568794bb302ca469fd226d15f34f0da29", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.82 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Compiling serde_derive v1.0.130 [INFO] [stderr] Compiling serde v1.0.130 [INFO] [stderr] Compiling crossbeam-utils v0.8.5 [INFO] [stderr] Compiling ryu v1.0.6 [INFO] [stderr] Checking regex-syntax v0.6.25 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling semver v1.0.4 [INFO] [stderr] Checking itoa v0.4.8 [INFO] [stderr] Compiling ndarray v0.13.1 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Compiling serde_json v1.0.72 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling crossbeam-epoch v0.9.5 [INFO] [stderr] Checking unicode-width v0.1.9 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking pin-project-lite v0.2.7 [INFO] [stderr] Compiling rayon-core v1.9.1 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking either v1.6.1 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Checking once_cell v1.8.0 [INFO] [stderr] Checking joinery v2.1.0 [INFO] [stderr] Checking pom v3.2.0 [INFO] [stderr] Checking plotters-backend v0.3.2 [INFO] [stderr] Checking float-ord v0.3.2 [INFO] [stderr] Checking smallvec v1.7.0 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking half v1.8.2 [INFO] [stderr] Checking oorandom v11.1.3 [INFO] [stderr] Checking num_cpus v1.13.0 [INFO] [stderr] Checking matrixmultiply v0.2.4 [INFO] [stderr] Compiling proc-macro2 v1.0.32 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking thread_local v1.1.3 [INFO] [stderr] Checking walkdir v2.3.2 [INFO] [stderr] Checking tracing-core v0.1.21 [INFO] [stderr] Checking sharded-slab v0.1.4 [INFO] [stderr] Checking itertools v0.10.1 [INFO] [stderr] Checking plotters-svg v0.3.1 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Compiling quote v1.0.10 [INFO] [stderr] Checking crossbeam-channel v0.5.1 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-complex v0.2.4 [INFO] [stderr] Compiling memoffset v0.6.4 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling priority-queue v1.2.1 [INFO] [stderr] Compiling rayon v1.5.1 [INFO] [stderr] Compiling rustc_version v0.4.0 [INFO] [stderr] Checking tracing-log v0.1.2 [INFO] [stderr] Checking csv-core v0.1.10 [INFO] [stderr] Compiling cast v0.2.7 [INFO] [stderr] Checking crossbeam-deque v0.8.1 [INFO] [stderr] Checking criterion-plot v0.4.4 [INFO] [stderr] Checking num-traits v0.1.43 [INFO] [stderr] Checking plotters v0.3.1 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking regex v1.5.4 [INFO] [stderr] Checking chrono v0.4.19 [INFO] [stderr] Checking matchers v0.0.1 [INFO] [stderr] Checking sprs v0.7.1 [INFO] [stderr] Checking minilp v0.2.2 [INFO] [stderr] Compiling tracing-attributes v0.1.18 [INFO] [stderr] Compiling git-version-macro v0.3.5 [INFO] [stderr] Compiling test-env-log v0.2.8 [INFO] [stderr] Checking git-version v0.3.5 [INFO] [stderr] Checking tracing v0.1.29 [INFO] [stderr] Checking tracing-serde v0.1.2 [INFO] [stderr] Checking bstr v0.2.17 [INFO] [stderr] Checking serde_cbor v0.11.2 [INFO] [stderr] Checking atl-checker v0.1.0 (/opt/rustwide/workdir/atl-checker) [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> atl-checker/src/emit_count.rs:5:49 [INFO] [stdout] | [INFO] [stdout] 5 | eprintln!(concat!("[stats] ", $($msg)*)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: atl-checker/src/algorithms/certain_zero/mod.rs:344:21 [INFO] [stdout] | [INFO] [stdout] 344 | emit_count!("worker received_dirty_token") [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `emit_count` [INFO] [stdout] = note: this warning originates in the macro `emit_count` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::algorithms::game_strategy::format::PartialStrategyWithFormatting` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::algorithms::game_strategy::format::PartialStrategyWithFormatting; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::edg::atledg::pmoves::PartialMove` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::edg::atledg::pmoves::PartialMove; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Player`, `State` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:10:44 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::game_structure::{GameStructure, Player, State}; [INFO] [stdout] | ^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking csv v1.1.6 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.3.5 [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking atl-checker-cli v0.1.0 (/opt/rustwide/workdir/cli) [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> cli/src/solver.rs:208:5 [INFO] [stdout] | [INFO] [stdout] 203 | std::process::exit(42); [INFO] [stdout] | ---------------------- any code following this expression is unreachable [INFO] [stdout] ... [INFO] [stdout] 208 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> cli/src/solver.rs:208:5 [INFO] [stdout] | [INFO] [stdout] 203 | std::process::exit(42); [INFO] [stdout] | ---------------------- any code following this expression is unreachable [INFO] [stdout] ... [INFO] [stdout] 208 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> atl-checker/src/emit_count.rs:5:49 [INFO] [stdout] | [INFO] [stdout] 5 | eprintln!(concat!("[stats] ", $($msg)*)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: atl-checker/src/algorithms/certain_zero/mod.rs:344:21 [INFO] [stdout] | [INFO] [stdout] 344 | emit_count!("worker received_dirty_token") [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `emit_count` [INFO] [stdout] = note: this warning originates in the macro `emit_count` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:884:7 [INFO] [stdout] | [INFO] [stdout] 884 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:892:7 [INFO] [stdout] | [INFO] [stdout] 892 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:900:7 [INFO] [stdout] | [INFO] [stdout] 900 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:914:7 [INFO] [stdout] | [INFO] [stdout] 914 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:930:7 [INFO] [stdout] | [INFO] [stdout] 930 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:954:7 [INFO] [stdout] | [INFO] [stdout] 954 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:968:7 [INFO] [stdout] | [INFO] [stdout] 968 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:980:7 [INFO] [stdout] | [INFO] [stdout] 980 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:992:7 [INFO] [stdout] | [INFO] [stdout] 992 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:1006:7 [INFO] [stdout] | [INFO] [stdout] 1006 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:1020:7 [INFO] [stdout] | [INFO] [stdout] 1020 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:1030:7 [INFO] [stdout] | [INFO] [stdout] 1030 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:1046:7 [INFO] [stdout] | [INFO] [stdout] 1046 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:1060:7 [INFO] [stdout] | [INFO] [stdout] 1060 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:1070:7 [INFO] [stdout] | [INFO] [stdout] 1070 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/certain_zero/mod.rs:1088:7 [INFO] [stdout] | [INFO] [stdout] 1088 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::algorithms::game_strategy::format::PartialStrategyWithFormatting` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::algorithms::game_strategy::format::PartialStrategyWithFormatting; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::edg::atledg::pmoves::PartialMove` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::edg::atledg::pmoves::PartialMove; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Player`, `State` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:10:44 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::game_structure::{GameStructure, Player, State}; [INFO] [stdout] | ^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:192:7 [INFO] [stdout] | [INFO] [stdout] 192 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:200:7 [INFO] [stdout] | [INFO] [stdout] 200 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:208:7 [INFO] [stdout] | [INFO] [stdout] 208 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:222:7 [INFO] [stdout] | [INFO] [stdout] 222 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:238:7 [INFO] [stdout] | [INFO] [stdout] 238 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:262:7 [INFO] [stdout] | [INFO] [stdout] 262 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:276:7 [INFO] [stdout] | [INFO] [stdout] 276 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:288:7 [INFO] [stdout] | [INFO] [stdout] 288 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:300:7 [INFO] [stdout] | [INFO] [stdout] 300 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:314:7 [INFO] [stdout] | [INFO] [stdout] 314 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:328:7 [INFO] [stdout] | [INFO] [stdout] 328 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:338:7 [INFO] [stdout] | [INFO] [stdout] 338 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:354:7 [INFO] [stdout] | [INFO] [stdout] 354 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:368:7 [INFO] [stdout] | [INFO] [stdout] 368 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:378:7 [INFO] [stdout] | [INFO] [stdout] 378 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `test`: test-env-log has been renamed to test-log; use it instead [INFO] [stdout] --> atl-checker/src/algorithms/global/mod.rs:396:7 [INFO] [stdout] | [INFO] [stdout] 396 | #[test] [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pa1_9proc` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:66:9 [INFO] [stdout] | [INFO] [stdout] 66 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 287 | / bench_lcgs!( [INFO] [stdout] 288 | | //takes ~15s for one run [INFO] [stdout] 289 | | pa1_9proc, [INFO] [stdout] 290 | | "peterson/9/peterson_09.lcgs", [INFO] [stdout] 291 | | "peterson/p0_eventually_get_access_if_requested_TRUE.json" [INFO] [stdout] 292 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `rc1_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1977 | / bench_lcgs_threads!( [INFO] [stdout] 1978 | | rc1_threads, [INFO] [stdout] 1979 | | "robot_grid/robot_grid_N3.lcgs", [INFO] [stdout] 1980 | | "robot_grid/can_r1_and_r2_swap_with_help_from_r3_FALSE.json" [INFO] [stdout] 1981 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `rc2_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1983 | / bench_lcgs_threads!( [INFO] [stdout] 1984 | | rc2_threads, [INFO] [stdout] 1985 | | "robot_grid/robot_grid_N3.lcgs", [INFO] [stdout] 1986 | | "robot_grid/everyone_starts_home_TRUE.json" [INFO] [stdout] 1987 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `rc3_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1989 | / bench_lcgs_threads!( [INFO] [stdout] 1990 | | rc3_threads, [INFO] [stdout] 1991 | | "robot_grid/robot_grid_N3.lcgs", [INFO] [stdout] 1992 | | "robot_grid/exist_path_to_targets_with_no_crashes_TRUE.json" [INFO] [stdout] 1993 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pa1_9proc_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 2056 | / bench_lcgs_threads!( [INFO] [stdout] 2057 | | //takes ~15s for one run [INFO] [stdout] 2058 | | pa1_9proc_threads, [INFO] [stdout] 2059 | | "peterson/9/peterson_09.lcgs", [INFO] [stdout] 2060 | | "peterson/p0_eventually_get_access_if_requested_TRUE.json" [INFO] [stdout] 2061 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `gg1_total_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 2106 | / bench_lcgs_threads!( [INFO] [stdout] 2107 | | gg1_total_threads, [INFO] [stdout] 2108 | | "gossipping_girls/gossipping_girls_total_network.lcgs", [INFO] [stdout] 2109 | | "gossipping_girls/all_girls_ensure_that_all_girls_gets_omicient_before_10_steps_TRUE.json" [INFO] [stdout] 2110 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `gg2_total_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 2112 | / bench_lcgs_threads!( [INFO] [stdout] 2113 | | gg2_total_threads, [INFO] [stdout] 2114 | | "gossipping_girls/gossipping_girls_total_network.lcgs", [INFO] [stdout] 2115 | | "gossipping_girls/all_girls_ensure_that_only_player_one_gets_omicient_before_10_steps_TRUE.json" [INFO] [stdout] 2116 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `gg3_total_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 2118 | / bench_lcgs_threads!( [INFO] [stdout] 2119 | | gg3_total_threads, [INFO] [stdout] 2120 | | "gossipping_girls/gossipping_girls_total_network.lcgs", [INFO] [stdout] 2121 | | "gossipping_girls/all_girls_ensure_that_player_one_gets_omicient_before_10_steps_TRUE.json" [INFO] [stdout] 2122 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `gg4_total_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 2124 | / bench_lcgs_threads!( [INFO] [stdout] 2125 | | gg4_total_threads, [INFO] [stdout] 2126 | | "gossipping_girls/gossipping_girls_total_network.lcgs", [INFO] [stdout] 2127 | | "gossipping_girls/all_omniscient_but_first_after_10_steps_TRUE.json" [INFO] [stdout] 2128 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `gg5_total_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 2130 | / bench_lcgs_threads!( [INFO] [stdout] 2131 | | gg5_total_threads, [INFO] [stdout] 2132 | | "gossipping_girls/gossipping_girls_total_network.lcgs", [INFO] [stdout] 2133 | | "gossipping_girls/eventually_10_steps_are_passed_TRUE.json" [INFO] [stdout] 2134 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `gg6_total_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 2136 | / bench_lcgs_threads!( [INFO] [stdout] 2137 | | gg6_total_threads, [INFO] [stdout] 2138 | | "gossipping_girls/gossipping_girls_total_network.lcgs", [INFO] [stdout] 2139 | | "gossipping_girls/girl_one_gurantee_to_become_omicient_before_10_steps_FALSE.json" [INFO] [stdout] 2140 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `gg7_total_threads` [INFO] [stdout] --> atl-checker/../benches/benchmark_solver.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | fn $name(c: &mut Criterion) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 2142 | / bench_lcgs_threads!( [INFO] [stdout] 2143 | | gg7_total_threads, [INFO] [stdout] 2144 | | "gossipping_girls/gossipping_girls_total_network.lcgs", [INFO] [stdout] 2145 | | "gossipping_girls/guarantee_all_girls_eventually_become_omniscient_but_not_girl_one_TRUE.json" [INFO] [stdout] 2146 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `bench_lcgs_threads` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 12 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 36 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 33.31s [INFO] running `Command { std: "docker" "inspect" "74da8cf2f322a5a8d2ee2353b49d117568794bb302ca469fd226d15f34f0da29", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "74da8cf2f322a5a8d2ee2353b49d117568794bb302ca469fd226d15f34f0da29", kill_on_drop: false }` [INFO] [stdout] 74da8cf2f322a5a8d2ee2353b49d117568794bb302ca469fd226d15f34f0da29