[INFO] fetching crate splr 0.17.2... [INFO] building splr-0.17.2 against master#11663cd3bfefef7d34e8f0892c250bf698049392+rustflags=-Dtail-expr-drop-order for pr-134523 [INFO] extracting crate splr 0.17.2 into /workspace/builds/worker-6-tc1/source [INFO] validating manifest of crates.io crate splr 0.17.2 on toolchain 11663cd3bfefef7d34e8f0892c250bf698049392 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [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-6-tc1/source/Cargo.toml [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" "+11663cd3bfefef7d34e8f0892c250bf698049392" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d4fc0e055f7fe2e78d3a9ec2e407e4047841c60ef40d5e1650ddd260032330e3 [INFO] running `Command { std: "docker" "start" "-a" "d4fc0e055f7fe2e78d3a9ec2e407e4047841c60ef40d5e1650ddd260032330e3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d4fc0e055f7fe2e78d3a9ec2e407e4047841c60ef40d5e1650ddd260032330e3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d4fc0e055f7fe2e78d3a9ec2e407e4047841c60ef40d5e1650ddd260032330e3", kill_on_drop: false }` [INFO] [stdout] d4fc0e055f7fe2e78d3a9ec2e407e4047841c60ef40d5e1650ddd260032330e3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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 -Dtail-expr-drop-order" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c2c565a8866ecc3670b9ae7d1b2f12d7bc350ea02120f0fbe80106bf9303f4d9 [INFO] running `Command { std: "docker" "start" "-a" "c2c565a8866ecc3670b9ae7d1b2f12d7bc350ea02120f0fbe80106bf9303f4d9", 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: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `ub_checks`, `unix`, and `windows` [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)]` 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 1.55s [INFO] running `Command { std: "docker" "inspect" "c2c565a8866ecc3670b9ae7d1b2f12d7bc350ea02120f0fbe80106bf9303f4d9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c2c565a8866ecc3670b9ae7d1b2f12d7bc350ea02120f0fbe80106bf9303f4d9", kill_on_drop: false }` [INFO] [stdout] c2c565a8866ecc3670b9ae7d1b2f12d7bc350ea02120f0fbe80106bf9303f4d9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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 -Dtail-expr-drop-order" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ca047035612b717b18d6718746ca84afadca4630bbb20bdf4bfc8f083a508ca9 [INFO] running `Command { std: "docker" "start" "-a" "ca047035612b717b18d6718746ca84afadca4630bbb20bdf4bfc8f083a508ca9", 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] [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: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `ub_checks`, `unix`, and `windows` [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)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling splr v0.17.2 (/opt/rustwide/workdir) [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: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `ub_checks`, `unix`, and `windows` [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)]` 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 1.40s [INFO] running `Command { std: "docker" "inspect" "ca047035612b717b18d6718746ca84afadca4630bbb20bdf4bfc8f083a508ca9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ca047035612b717b18d6718746ca84afadca4630bbb20bdf4bfc8f083a508ca9", kill_on_drop: false }` [INFO] [stdout] ca047035612b717b18d6718746ca84afadca4630bbb20bdf4bfc8f083a508ca9