[INFO] fetching crate splr 0.17.2... [INFO] building splr-0.17.2 against master#c7f6aa2869acdbf014d094c6e427e554e160b6db for pr-146237-2 [INFO] extracting crate splr 0.17.2 into /workspace/builds/worker-2-tc1/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-2-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate splr 0.17.2 on toolchain c7f6aa2869acdbf014d094c6e427e554e160b6db [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "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" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded wasm-bindgen-macro-support v0.2.90 [INFO] [stderr] Downloaded wasm-bindgen-macro v0.2.90 [INFO] [stderr] Downloaded wasm-bindgen-shared v0.2.90 [INFO] [stderr] Downloaded wasm-bindgen-backend v0.2.90 [INFO] [stderr] Downloaded wasm-bindgen v0.2.90 [INFO] [stderr] Downloaded js-sys v0.3.67 [INFO] [stderr] Downloaded bumpalo v3.14.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f585c9ea4e90b3df473bc4efc5bbe5c3a6786396bc5df0b422c4413cac9c2fdb [INFO] running `Command { std: "docker" "start" "-a" "f585c9ea4e90b3df473bc4efc5bbe5c3a6786396bc5df0b422c4413cac9c2fdb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f585c9ea4e90b3df473bc4efc5bbe5c3a6786396bc5df0b422c4413cac9c2fdb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f585c9ea4e90b3df473bc4efc5bbe5c3a6786396bc5df0b422c4413cac9c2fdb", kill_on_drop: false }` [INFO] [stdout] f585c9ea4e90b3df473bc4efc5bbe5c3a6786396bc5df0b422c4413cac9c2fdb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3c229d48d946e8b6b925b791aa4fee9b9d109b7a2e6854c371d7dac67074cc17 [INFO] running `Command { std: "docker" "start" "-a" "3c229d48d946e8b6b925b791aa4fee9b9d109b7a2e6854c371d7dac67074cc17", 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: 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: 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] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.80s [INFO] running `Command { std: "docker" "inspect" "3c229d48d946e8b6b925b791aa4fee9b9d109b7a2e6854c371d7dac67074cc17", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3c229d48d946e8b6b925b791aa4fee9b9d109b7a2e6854c371d7dac67074cc17", kill_on_drop: false }` [INFO] [stdout] 3c229d48d946e8b6b925b791aa4fee9b9d109b7a2e6854c371d7dac67074cc17 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 52c052f5723258a32db703d7fc05194db8f172a6f127c6be458c7cf97f284bac [INFO] running `Command { std: "docker" "start" "-a" "52c052f5723258a32db703d7fc05194db8f172a6f127c6be458c7cf97f284bac", kill_on_drop: false }` [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] [stderr] Compiling splr v0.17.2 (/opt/rustwide/workdir) [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: 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: 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: 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: 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: 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] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 3.40s [INFO] running `Command { std: "docker" "inspect" "52c052f5723258a32db703d7fc05194db8f172a6f127c6be458c7cf97f284bac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "52c052f5723258a32db703d7fc05194db8f172a6f127c6be458c7cf97f284bac", kill_on_drop: false }` [INFO] [stdout] 52c052f5723258a32db703d7fc05194db8f172a6f127c6be458c7cf97f284bac