[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 try#07fecb9cf34c4979a772ba38c99d6d9144768413 for pr-87710 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL" "/workspace/builds/worker-3/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/d702e20/OnTheFlyATL on toolchain 07fecb9cf34c4979a772ba38c99d6d9144768413 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+07fecb9cf34c4979a772ba38c99d6d9144768413" "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-3/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+07fecb9cf34c4979a772ba38c99d6d9144768413" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+07fecb9cf34c4979a772ba38c99d6d9144768413" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded float-ord v0.3.2 [INFO] [stderr] Downloaded criterion-plot v0.4.4 [INFO] [stderr] Downloaded joinery v2.1.0 [INFO] [stderr] Downloaded criterion v0.3.5 [INFO] [stderr] Downloaded minilp v0.2.2 [INFO] [stderr] Downloaded plotters-svg v0.3.1 [INFO] [stderr] Downloaded cast v0.2.7 [INFO] [stderr] Downloaded sprs v0.7.1 [INFO] [stderr] Downloaded ndarray v0.13.1 [INFO] [stderr] Downloaded priority-queue v1.1.1 [INFO] [stderr] Downloaded test-env-log v0.2.7 [INFO] [stderr] Downloaded git-version v0.3.5 [INFO] [stderr] Downloaded plotters-backend v0.3.2 [INFO] [stderr] Downloaded git-version-macro v0.3.5 [INFO] [stderr] Downloaded pom v3.2.0 [INFO] [stderr] Downloaded plotters v0.3.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+07fecb9cf34c4979a772ba38c99d6d9144768413" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 34455c3f9c2b6925aaaf8b17c9b5fb8880fb5884e9754aa6992945e24b65fc60 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "34455c3f9c2b6925aaaf8b17c9b5fb8880fb5884e9754aa6992945e24b65fc60", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "34455c3f9c2b6925aaaf8b17c9b5fb8880fb5884e9754aa6992945e24b65fc60", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "34455c3f9c2b6925aaaf8b17c9b5fb8880fb5884e9754aa6992945e24b65fc60", kill_on_drop: false }` [INFO] [stdout] 34455c3f9c2b6925aaaf8b17c9b5fb8880fb5884e9754aa6992945e24b65fc60 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+07fecb9cf34c4979a772ba38c99d6d9144768413" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d78308945a03095a73d4e38ea235ab9fa58bd631bc894ab5c76ce9deb75437a2 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "d78308945a03095a73d4e38ea235ab9fa58bd631bc894ab5c76ce9deb75437a2", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.28 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.75 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling serde v1.0.129 [INFO] [stderr] Compiling libc v0.2.101 [INFO] [stderr] Compiling crossbeam-utils v0.8.5 [INFO] [stderr] Checking regex-syntax v0.6.25 [INFO] [stderr] Compiling semver v1.0.4 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Compiling crossbeam-epoch v0.9.5 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Compiling rayon-core v1.9.1 [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Checking either v1.6.1 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Checking smallvec v1.6.1 [INFO] [stderr] Checking float-ord v0.3.2 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking pom v3.2.0 [INFO] [stderr] Checking joinery v2.1.0 [INFO] [stderr] Checking plotters-backend v0.3.2 [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.1.1 [INFO] [stderr] Compiling rayon v1.5.1 [INFO] [stderr] Checking matrixmultiply v0.2.4 [INFO] [stderr] Checking tracing-core v0.1.19 [INFO] [stderr] Checking sharded-slab v0.1.3 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking thread_local v1.1.3 [INFO] [stderr] Checking itertools v0.10.1 [INFO] [stderr] Checking walkdir v2.3.2 [INFO] [stderr] Checking log v0.4.14 [INFO] [stderr] Checking plotters-svg v0.3.1 [INFO] [stderr] Checking crossbeam-channel v0.5.1 [INFO] [stderr] Checking tracing-log v0.1.2 [INFO] [stderr] Checking csv-core v0.1.10 [INFO] [stderr] Compiling rustc_version v0.4.0 [INFO] [stderr] Checking crossbeam-deque v0.8.1 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Checking num_cpus v1.13.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Compiling cast v0.2.7 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking regex v1.5.4 [INFO] [stderr] Checking num-traits v0.1.43 [INFO] [stderr] Checking plotters v0.3.1 [INFO] [stderr] Checking chrono v0.4.19 [INFO] [stderr] Checking criterion-plot v0.4.4 [INFO] [stderr] Checking ndarray v0.13.1 [INFO] [stderr] Checking matchers v0.0.1 [INFO] [stderr] Checking sprs v0.7.1 [INFO] [stderr] Checking minilp v0.2.2 [INFO] [stderr] Compiling serde_derive v1.0.129 [INFO] [stderr] Compiling tracing-attributes v0.1.15 [INFO] [stderr] Compiling git-version-macro v0.3.5 [INFO] [stderr] Compiling test-env-log v0.2.7 [INFO] [stderr] Checking git-version v0.3.5 [INFO] [stderr] Checking tracing v0.1.26 [INFO] [stderr] Checking serde_json v1.0.66 [INFO] [stderr] Checking tracing-serde v0.1.2 [INFO] [stderr] Checking bstr v0.2.16 [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.20 [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: 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: 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: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 39.12s [INFO] running `Command { std: "docker" "inspect" "d78308945a03095a73d4e38ea235ab9fa58bd631bc894ab5c76ce9deb75437a2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d78308945a03095a73d4e38ea235ab9fa58bd631bc894ab5c76ce9deb75437a2", kill_on_drop: false }` [INFO] [stdout] d78308945a03095a73d4e38ea235ab9fa58bd631bc894ab5c76ce9deb75437a2