[INFO] fetching crate splr 0.17.2... [INFO] building splr-0.17.2 against try#d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6 for pr-146237-1 [INFO] extracting crate splr 0.17.2 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate splr 0.17.2 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate splr 0.17.2 [INFO] tweaked toml for crates.io crate splr 0.17.2 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate splr 0.17.2 on toolchain d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate splr 0.17.2 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" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0c98baf080c94f6937525e4ce7841510af9cf0058afdec6be72d8a3ead3dd270 [INFO] running `Command { std: "docker" "start" "-a" "0c98baf080c94f6937525e4ce7841510af9cf0058afdec6be72d8a3ead3dd270", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0c98baf080c94f6937525e4ce7841510af9cf0058afdec6be72d8a3ead3dd270", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0c98baf080c94f6937525e4ce7841510af9cf0058afdec6be72d8a3ead3dd270", kill_on_drop: false }` [INFO] [stdout] 0c98baf080c94f6937525e4ce7841510af9cf0058afdec6be72d8a3ead3dd270 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 69e99dd63e020e69639fed6d144fbd911401b4e507f038d96bc4008c934c5fd3 [INFO] running `Command { std: "docker" "start" "-a" "69e99dd63e020e69639fed6d144fbd911401b4e507f038d96bc4008c934c5fd3", kill_on_drop: false }` [INFO] [stderr] Compiling bitflags v2.4.2 [INFO] [stderr] Compiling splr v0.17.2 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition value: `clause_rewading` [INFO] [stdout] --> src/cdb/db.rs:938:19 [INFO] [stdout] | [INFO] [stdout] 938 | #[cfg(feature = "clause_rewading")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clause_rewading` as a feature in `Cargo.toml` [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 value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:435:15 [INFO] [stdout] | [INFO] [stdout] 435 | #[cfg(not(feature = "clase_rewarding"))] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:437:11 [INFO] [stdout] | [INFO] [stdout] 437 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:430:15 [INFO] [stdout] | [INFO] [stdout] 430 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:444:23 [INFO] [stdout] | [INFO] [stdout] 444 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/solver/conflict.rs:86:15 [INFO] [stdout] | [INFO] [stdout] 86 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `chronoBT` [INFO] [stdout] --> src/state.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | #[cfg(feature = "chronoBT")] [INFO] [stdout] | ^^^^^^^^^^---------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"chrono_BT"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `chronoBT` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `chronoBT` [INFO] [stdout] --> src/state.rs:167:19 [INFO] [stdout] | [INFO] [stdout] 167 | #[cfg(feature = "chronoBT")] [INFO] [stdout] | ^^^^^^^^^^---------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"chrono_BT"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `chronoBT` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:49:15 [INFO] [stdout] | [INFO] [stdout] 49 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:54:15 [INFO] [stdout] | [INFO] [stdout] 54 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:59:15 [INFO] [stdout] | [INFO] [stdout] 59 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:64:15 [INFO] [stdout] | [INFO] [stdout] 64 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/cdb/db.rs:948:9 [INFO] [stdout] | [INFO] [stdout] 947 | fn reduce(&mut self, asg: &mut impl AssignIF, setting: ReductionType) { [INFO] [stdout] | --------------------------------------------------------------------- move the `impl` block outside of this method `reduce` [INFO] [stdout] 948 | impl Clause { [INFO] [stdout] | ^^^^^------ [INFO] [stdout] | | [INFO] [stdout] | `Clause` is not local [INFO] [stdout] | [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rebuild` is never used [INFO] [stdout] --> src/processor/heap.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub trait VarOrderIF { [INFO] [stdout] | ---------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 13 | fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.38s [INFO] running `Command { std: "docker" "inspect" "69e99dd63e020e69639fed6d144fbd911401b4e507f038d96bc4008c934c5fd3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "69e99dd63e020e69639fed6d144fbd911401b4e507f038d96bc4008c934c5fd3", kill_on_drop: false }` [INFO] [stdout] 69e99dd63e020e69639fed6d144fbd911401b4e507f038d96bc4008c934c5fd3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f53c9b1a4b97bad58edda702ac8742b6ee26583f94752688e140082e2d867262 [INFO] running `Command { std: "docker" "start" "-a" "f53c9b1a4b97bad58edda702ac8742b6ee26583f94752688e140082e2d867262", kill_on_drop: false }` [INFO] [stderr] Compiling splr v0.17.2 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition value: `clause_rewading` [INFO] [stdout] --> src/cdb/db.rs:938:19 [INFO] [stdout] | [INFO] [stdout] 938 | #[cfg(feature = "clause_rewading")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clause_rewading` as a feature in `Cargo.toml` [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 value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:435:15 [INFO] [stdout] | [INFO] [stdout] 435 | #[cfg(not(feature = "clase_rewarding"))] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:437:11 [INFO] [stdout] | [INFO] [stdout] 437 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:430:15 [INFO] [stdout] | [INFO] [stdout] 430 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:444:23 [INFO] [stdout] | [INFO] [stdout] 444 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/solver/conflict.rs:86:15 [INFO] [stdout] | [INFO] [stdout] 86 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `chronoBT` [INFO] [stdout] --> src/state.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | #[cfg(feature = "chronoBT")] [INFO] [stdout] | ^^^^^^^^^^---------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"chrono_BT"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `chronoBT` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `chronoBT` [INFO] [stdout] --> src/state.rs:167:19 [INFO] [stdout] | [INFO] [stdout] 167 | #[cfg(feature = "chronoBT")] [INFO] [stdout] | ^^^^^^^^^^---------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"chrono_BT"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `chronoBT` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:49:15 [INFO] [stdout] | [INFO] [stdout] 49 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:54:15 [INFO] [stdout] | [INFO] [stdout] 54 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:59:15 [INFO] [stdout] | [INFO] [stdout] 59 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:64:15 [INFO] [stdout] | [INFO] [stdout] 64 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/cdb/db.rs:948:9 [INFO] [stdout] | [INFO] [stdout] 947 | fn reduce(&mut self, asg: &mut impl AssignIF, setting: ReductionType) { [INFO] [stdout] | --------------------------------------------------------------------- move the `impl` block outside of this method `reduce` [INFO] [stdout] 948 | impl Clause { [INFO] [stdout] | ^^^^^------ [INFO] [stdout] | | [INFO] [stdout] | `Clause` is not local [INFO] [stdout] | [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rebuild` is never used [INFO] [stdout] --> src/processor/heap.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub trait VarOrderIF { [INFO] [stdout] | ---------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 13 | fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clause_rewading` [INFO] [stdout] --> src/cdb/db.rs:938:19 [INFO] [stdout] | [INFO] [stdout] 938 | #[cfg(feature = "clause_rewading")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clause_rewading` as a feature in `Cargo.toml` [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 value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:435:15 [INFO] [stdout] | [INFO] [stdout] 435 | #[cfg(not(feature = "clase_rewarding"))] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:437:11 [INFO] [stdout] | [INFO] [stdout] 437 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:430:15 [INFO] [stdout] | [INFO] [stdout] 430 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `clase_rewarding` [INFO] [stdout] --> src/config.rs:444:23 [INFO] [stdout] | [INFO] [stdout] 444 | #[cfg(feature = "clase_rewarding")] [INFO] [stdout] | ^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"clause_rewarding"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `clase_rewarding` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/solver/conflict.rs:86:15 [INFO] [stdout] | [INFO] [stdout] 86 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `chronoBT` [INFO] [stdout] --> src/state.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | #[cfg(feature = "chronoBT")] [INFO] [stdout] | ^^^^^^^^^^---------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"chrono_BT"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `chronoBT` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `chronoBT` [INFO] [stdout] --> src/state.rs:167:19 [INFO] [stdout] | [INFO] [stdout] 167 | #[cfg(feature = "chronoBT")] [INFO] [stdout] | ^^^^^^^^^^---------- [INFO] [stdout] | | [INFO] [stdout] | help: there is a expected value with a similar name: `"chrono_BT"` [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access` [INFO] [stdout] = help: consider adding `chronoBT` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:49:15 [INFO] [stdout] | [INFO] [stdout] 49 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:54:15 [INFO] [stdout] | [INFO] [stdout] 54 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:59:15 [INFO] [stdout] | [INFO] [stdout] 59 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `debug` [INFO] [stdout] --> src/types.rs:64:15 [INFO] [stdout] | [INFO] [stdout] 64 | #[cfg(debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [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(debug)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/cdb/db.rs:948:9 [INFO] [stdout] | [INFO] [stdout] 947 | fn reduce(&mut self, asg: &mut impl AssignIF, setting: ReductionType) { [INFO] [stdout] | --------------------------------------------------------------------- move the `impl` block outside of this method `reduce` [INFO] [stdout] 948 | impl Clause { [INFO] [stdout] | ^^^^^------ [INFO] [stdout] | | [INFO] [stdout] | `Clause` is not local [INFO] [stdout] | [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rebuild` is never used [INFO] [stdout] --> src/processor/heap.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub trait VarOrderIF { [INFO] [stdout] | ---------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 13 | fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 3.52s [INFO] running `Command { std: "docker" "inspect" "f53c9b1a4b97bad58edda702ac8742b6ee26583f94752688e140082e2d867262", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f53c9b1a4b97bad58edda702ac8742b6ee26583f94752688e140082e2d867262", kill_on_drop: false }` [INFO] [stdout] f53c9b1a4b97bad58edda702ac8742b6ee26583f94752688e140082e2d867262