[INFO] fetching crate splr 0.17.2...
[INFO] testing splr-0.17.2 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate splr 0.17.2 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate splr 0.17.2
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate splr 0.17.2
[INFO] tweaked toml for crates.io crate splr 0.17.2 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate splr 0.17.2 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e0ec065d31827fa9e6d34e974e5351196f3aa78120fa2fb3ae2b4c07807fe7dd
[INFO] running `Command { std: "docker" "start" "-a" "e0ec065d31827fa9e6d34e974e5351196f3aa78120fa2fb3ae2b4c07807fe7dd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e0ec065d31827fa9e6d34e974e5351196f3aa78120fa2fb3ae2b4c07807fe7dd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e0ec065d31827fa9e6d34e974e5351196f3aa78120fa2fb3ae2b4c07807fe7dd", kill_on_drop: false }`
[INFO] [stdout] e0ec065d31827fa9e6d34e974e5351196f3aa78120fa2fb3ae2b4c07807fe7dd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 08ea4dc1d3eb9ed33896285994b57ba54dc4a7e8c2039279c43317a53e8adc85
[INFO] running `Command { std: "docker" "start" "-a" "08ea4dc1d3eb9ed33896285994b57ba54dc4a7e8c2039279c43317a53e8adc85", 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 4.03s
[INFO] running `Command { std: "docker" "inspect" "08ea4dc1d3eb9ed33896285994b57ba54dc4a7e8c2039279c43317a53e8adc85", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "08ea4dc1d3eb9ed33896285994b57ba54dc4a7e8c2039279c43317a53e8adc85", kill_on_drop: false }`
[INFO] [stdout] 08ea4dc1d3eb9ed33896285994b57ba54dc4a7e8c2039279c43317a53e8adc85
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 101b5a82dcc9bdbf0471c936721e22d3638df51d1343a1ed1971f28e472d8c53
[INFO] running `Command { std: "docker" "start" "-a" "101b5a82dcc9bdbf0471c936721e22d3638df51d1343a1ed1971f28e472d8c53", kill_on_drop: false }`
[INFO] [stderr]    Compiling splr v0.17.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition value: `clause_rewading`
[INFO] [stdout]    --> src/cdb/db.rs:938:19
[INFO] [stdout]     |
[INFO] [stdout] 938 |             #[cfg(feature = "clause_rewading")]
[INFO] [stdout]     |                   ^^^^^^^^^^-----------------
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: there is a expected value with a similar name: `"clause_rewarding"`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `EMA_calibration`, `EVSIDS`, `LRB_rewarding`, `assign_rate`, `best_phases_tracking`, `bi_clause_completion`, `boundary_check`, `chrono_BT`, `clause_rewarding`, `clause_vivification`, `debug_propagation`, `default`, `dynamic_restart_threshold`, `incremental_solver`, `instant`, `just_used`, `maintain_watch_cache`, `no_IO`, `no_clause_elimination`, `platform_wasm`, `reason_side_rewarding`, `rephase`, `reward_annealing`, `stochastic_local_search`, `support_user_assumption`, `suppress_reason_chain`, `trace_analysis`, `trace_elimination`, `trace_equivalency`, `trail_saving`, `two_mode_reduction`, and `unsafe_access`
[INFO] [stdout]     = help: consider adding `clause_rewading` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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.62s
[INFO] running `Command { std: "docker" "inspect" "101b5a82dcc9bdbf0471c936721e22d3638df51d1343a1ed1971f28e472d8c53", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "101b5a82dcc9bdbf0471c936721e22d3638df51d1343a1ed1971f28e472d8c53", kill_on_drop: false }`
[INFO] [stdout] 101b5a82dcc9bdbf0471c936721e22d3638df51d1343a1ed1971f28e472d8c53
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] e7aa39e6ba6cb22be70216f510301540ba85270724aa25ff024fa95bc93c73f6
[INFO] running `Command { std: "docker" "start" "-a" "e7aa39e6ba6cb22be70216f510301540ba85270724aa25ff024fa95bc93c73f6", kill_on_drop: false }`
[INFO] [stderr] warning: unexpected `cfg` condition value: `clause_rewading`
[INFO] [stderr]    --> src/cdb/db.rs:938:19
[INFO] [stderr]     |
[INFO] [stderr] 938 |             #[cfg(feature = "clause_rewading")]
[INFO] [stderr]     |                   ^^^^^^^^^^-----------------
[INFO] [stderr]     |                             |
[INFO] [stderr]     |                             help: there is a expected value with a similar name: `"clause_rewarding"`
[INFO] [stderr]     |
[INFO] [stderr]     = 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] [stderr]     = help: consider adding `clause_rewading` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `clase_rewarding`
[INFO] [stderr]    --> src/config.rs:435:15
[INFO] [stderr]     |
[INFO] [stderr] 435 |     #[cfg(not(feature = "clase_rewarding"))]
[INFO] [stderr]     |               ^^^^^^^^^^-----------------
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: there is a expected value with a similar name: `"clause_rewarding"`
[INFO] [stderr]     |
[INFO] [stderr]     = 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] [stderr]     = help: consider adding `clase_rewarding` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `clase_rewarding`
[INFO] [stderr]    --> src/config.rs:437:11
[INFO] [stderr]     |
[INFO] [stderr] 437 |     #[cfg(feature = "clase_rewarding")]
[INFO] [stderr]     |           ^^^^^^^^^^-----------------
[INFO] [stderr]     |                     |
[INFO] [stderr]     |                     help: there is a expected value with a similar name: `"clause_rewarding"`
[INFO] [stderr]     |
[INFO] [stderr]     = 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] [stderr]     = help: consider adding `clase_rewarding` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `clase_rewarding`
[INFO] [stderr]    --> src/config.rs:430:15
[INFO] [stderr]     |
[INFO] [stderr] 430 |         #[cfg(feature = "clase_rewarding")]
[INFO] [stderr]     |               ^^^^^^^^^^-----------------
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: there is a expected value with a similar name: `"clause_rewarding"`
[INFO] [stderr]     |
[INFO] [stderr]     = 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] [stderr]     = help: consider adding `clase_rewarding` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `clase_rewarding`
[INFO] [stderr]    --> src/config.rs:444:23
[INFO] [stderr]     |
[INFO] [stderr] 444 |                 #[cfg(feature = "clase_rewarding")]
[INFO] [stderr]     |                       ^^^^^^^^^^-----------------
[INFO] [stderr]     |                                 |
[INFO] [stderr]     |                                 help: there is a expected value with a similar name: `"clause_rewarding"`
[INFO] [stderr]     |
[INFO] [stderr]     = 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] [stderr]     = help: consider adding `clase_rewarding` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `debug`
[INFO] [stderr]   --> src/solver/conflict.rs:86:15
[INFO] [stderr]    |
[INFO] [stderr] 86 |         #[cfg(debug)]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `chronoBT`
[INFO] [stderr]    --> src/state.rs:123:11
[INFO] [stderr]     |
[INFO] [stderr] 123 |     #[cfg(feature = "chronoBT")]
[INFO] [stderr]     |           ^^^^^^^^^^----------
[INFO] [stderr]     |                     |
[INFO] [stderr]     |                     help: there is a expected value with a similar name: `"chrono_BT"`
[INFO] [stderr]     |
[INFO] [stderr]     = 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] [stderr]     = help: consider adding `chronoBT` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `chronoBT`
[INFO] [stderr]    --> src/state.rs:167:19
[INFO] [stderr]     |
[INFO] [stderr] 167 |             #[cfg(feature = "chronoBT")]
[INFO] [stderr]     |                   ^^^^^^^^^^----------
[INFO] [stderr]     |                             |
[INFO] [stderr]     |                             help: there is a expected value with a similar name: `"chrono_BT"`
[INFO] [stderr]     |
[INFO] [stderr]     = 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] [stderr]     = help: consider adding `chronoBT` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `debug`
[INFO] [stderr]   --> src/types.rs:49:15
[INFO] [stderr]    |
[INFO] [stderr] 49 |         #[cfg(debug)]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `debug`
[INFO] [stderr]   --> src/types.rs:54:15
[INFO] [stderr]    |
[INFO] [stderr] 54 |         #[cfg(debug)]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `debug`
[INFO] [stderr]   --> src/types.rs:59:15
[INFO] [stderr]    |
[INFO] [stderr] 59 |         #[cfg(debug)]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `debug`
[INFO] [stderr]   --> src/types.rs:64:15
[INFO] [stderr]    |
[INFO] [stderr] 64 |         #[cfg(debug)]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(debug)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(debug)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: method `rebuild` is never used
[INFO] [stderr]   --> src/processor/heap.rs:13:8
[INFO] [stderr]    |
[INFO] [stderr]  7 | pub trait VarOrderIF {
[INFO] [stderr]    |           ---------- method in this trait
[INFO] [stderr] ...
[INFO] [stderr] 13 |     fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]);
[INFO] [stderr]    |        ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stderr]    --> src/cdb/db.rs:948:9
[INFO] [stderr]     |
[INFO] [stderr] 947 |     fn reduce(&mut self, asg: &mut impl AssignIF, setting: ReductionType) {
[INFO] [stderr]     |     --------------------------------------------------------------------- move the `impl` block outside of this method `reduce`
[INFO] [stderr] 948 |         impl Clause {
[INFO] [stderr]     |         ^^^^^------
[INFO] [stderr]     |              |
[INFO] [stderr]     |              `Clause` is not local
[INFO] [stderr]     |
[INFO] [stderr]     = 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] [stderr]     = note: `#[warn(non_local_definitions)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `splr` (lib) generated 14 warnings
[INFO] [stderr] warning: `splr` (lib test) generated 14 warnings (14 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/splr-1b22478f326b930f)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test assign::stack::tests::test_propagation ... ok
[INFO] [stdout] test cdb::tests::test_clause_instantiation ... ok
[INFO] [stdout] test cdb::tests::test_clause_equality ... ok
[INFO] [stdout] test cnf::tests::it_works ... ok
[INFO] [stdout] test cdb::tests::test_clause_iterator ... ok
[INFO] [stdout] test processor::eliminate::tests::test_eliminate_var ... ok
[INFO] [stdout] test cnf::tests::test_load_uf8 ... ok
[INFO] [stdout] test solver::build::tests::test_add_var ... ok
[INFO] [stdout] test solver::tests::test_solver ... ok
[INFO] [stdout] test processor::tests::check_elimination ... ok
[INFO] [stdout] test types::tests::test_cnf ... ok
[INFO] [stdout] test cnf::tests::test_load_sample ... ok
[INFO] [stdout] test primitive::luby::tests::test_luby_series ... ok
[INFO] [stdout] test solver::tests::test_on_memory_solving ... ok
[INFO] [stderr]      Running unittests src/bin/dmcr.rs (/opt/rustwide/target/debug/deps/dmcr-a2038bb8de84aed3)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/splr.rs (/opt/rustwide/target/debug/deps/splr-cd7b3faa56946fb8)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isat.rs (/opt/rustwide/target/debug/deps/isat-94d6371d8256d8dd)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isat2.rs (/opt/rustwide/target/debug/deps/isat2-28748c86cc785e27)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/verify-certificates.rs (/opt/rustwide/target/debug/deps/verify_certificates-7cc380f671822287)
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests splr
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test src/assign/select.rs - assign::select::var_assign (line 12) ... ignored
[INFO] [stdout] test src/cdb/db.rs - cdb::db::ClauseDB::link_to_cid (line 1256) ... ignored
[INFO] [stdout] test src/cdb/db.rs - cdb::db::ClauseDB::link_to_cid (line 1279) ... ignored
[INFO] [stdout] test src/solver/build.rs - solver::build::Solver (line 131) ... ok
[INFO] [stdout] test src/solver/build.rs - solver::build::Solver::try_from (line 165) ... ok
[INFO] [stdout] test src/solver/build.rs - solver::build::SatSolverIF::add_var (line 78) ... ok
[INFO] [stdout] test src/lib.rs - (line 37) ... ok
[INFO] [stdout] test src/solver/validate.rs - solver::validate::Solver::inject_assignment (line 27) ... ok
[INFO] [stdout] test src/lib.rs - processor (line 71) ... ok
[INFO] [stdout] test src/solver/build.rs - solver::build::SatSolverIF::add_assignment (line 29) ... ok
[INFO] [stdout] test src/solver/build.rs - solver::build::Solver::instantiate (line 116) ... ok
[INFO] [stdout] test src/cdb/mod.rs - cdb::ClauseDB (line 224) ... ok
[INFO] [stdout] test src/solver/build.rs - solver::build::SatSolverIF::add_clause (line 56) ... ok
[INFO] [stdout] test src/types.rs - types::Lit (line 114) ... ok
[INFO] [stdout] test src/solver/validate.rs - solver::validate::Solver::validate (line 53) ... ok
[INFO] [stdout] test src/types.rs - types::Lit (line 306) ... ok
[INFO] [stdout] test src/processor/mod.rs - processor::EliminateIF (line 40) ... ok
[INFO] [stdout] test src/solver/mod.rs - solver::Certificate (line 95) ... ok
[INFO] [stdout] test src/solver/build.rs - solver::build::Solver::build (line 230) ... ok
[INFO] [stdout] test src/types.rs - types::Instantiate (line 78) ... ok
[INFO] [stdout] test src/solver/search.rs - solver::search::Solver::solve (line 37) ... ok
[INFO] [stdout] test src/solver/mod.rs - solver::Solver (line 67) ... ok
[INFO] [stdout] test src/lib.rs - (line 23) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 16.15s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "e7aa39e6ba6cb22be70216f510301540ba85270724aa25ff024fa95bc93c73f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e7aa39e6ba6cb22be70216f510301540ba85270724aa25ff024fa95bc93c73f6", kill_on_drop: false }`
[INFO] [stdout] e7aa39e6ba6cb22be70216f510301540ba85270724aa25ff024fa95bc93c73f6
