[INFO] fetching crate rustsat 0.6.1... [INFO] checking rustsat-0.6.1 against try#da25749bf5e6ba5ed862ff361c19afff2a986b2d for pr-132712 [INFO] extracting crate rustsat 0.6.1 into /workspace/builds/worker-7-tc2/source [INFO] validating manifest of crates.io crate rustsat 0.6.1 on toolchain da25749bf5e6ba5ed862ff361c19afff2a986b2d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+da25749bf5e6ba5ed862ff361c19afff2a986b2d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-7-tc2/source/rust-toolchain.toml [INFO] started tweaking crates.io crate rustsat 0.6.1 [INFO] removed 0 missing examples [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate rustsat 0.6.1 [INFO] tweaked toml for crates.io crate rustsat 0.6.1 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] crate crates.io crate rustsat 0.6.1 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" "+da25749bf5e6ba5ed862ff361c19afff2a986b2d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+da25749bf5e6ba5ed862ff361c19afff2a986b2d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0201360a0aa689abfffd4a92421797bc743d0942a1655a65f0ea5878ffeabd63 [INFO] running `Command { std: "docker" "start" "-a" "0201360a0aa689abfffd4a92421797bc743d0942a1655a65f0ea5878ffeabd63", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0201360a0aa689abfffd4a92421797bc743d0942a1655a65f0ea5878ffeabd63", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0201360a0aa689abfffd4a92421797bc743d0942a1655a65f0ea5878ffeabd63", kill_on_drop: false }` [INFO] [stdout] 0201360a0aa689abfffd4a92421797bc743d0942a1655a65f0ea5878ffeabd63 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+da25749bf5e6ba5ed862ff361c19afff2a986b2d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] af73093b74e62c555506e3e3ba4a22ab0c29e17d8ac37b2c5d50aea55cc12970 [INFO] running `Command { std: "docker" "start" "-a" "af73093b74e62c555506e3e3ba4a22ab0c29e17d8ac37b2c5d50aea55cc12970", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Migrating Cargo.toml from 2021 edition to 2024 [INFO] [stderr] Compiling proc-macro2 v1.0.87 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling rustix v0.38.37 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Compiling anyhow v1.0.89 [INFO] [stderr] Compiling thiserror v1.0.64 [INFO] [stderr] Checking bitflags v2.6.0 [INFO] [stderr] Checking linux-raw-sys v0.4.14 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking fastrand v2.1.1 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking rustc-hash v2.0.0 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.79 [INFO] [stderr] Checking cpu-time v1.0.0 [INFO] [stderr] Checking tempfile v3.13.0 [INFO] [stderr] Compiling thiserror-impl v1.0.64 [INFO] [stderr] Compiling visibility v0.1.1 [INFO] [stderr] Checking rustsat v0.6.1 (/tmp/fixit) [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] Fixed src/instances/sat.rs (1 fix) [INFO] [stderr] Fixed src/instances.rs (1 fix) [INFO] [stderr] Fixed src/solvers/external.rs (1 fix) [INFO] [stderr] Fixed src/types/constraints.rs (6 fixes) [INFO] [stderr] Fixed src/utils.rs (2 fixes) [INFO] [stderr] Fixed src/types.rs (5 fixes) [INFO] [stderr] Fixed src/solvers.rs (1 fix) [INFO] [stderr] Fixed src/instances/opt.rs (4 fixes) [INFO] [stderr] Fixed src/instances/fio/dimacs.rs (3 fixes) [INFO] [stderr] Fixed src/instances/fio/opb.rs (1 fix) [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/utils.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | if let Ok(val) = $res { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encodings/card.rs:430:42 [INFO] [stdout] | [INFO] [stdout] 430 | Err(err) => Err(unreachable_err!(err.downcast::())), [INFO] [stdout] | ------------------------------------------------------ [INFO] [stdout] | | | [INFO] [stdout] | | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/utils.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 87 | } else { [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/encodings/card.rs:430:25 [INFO] [stdout] | [INFO] [stdout] 430 | Err(err) => Err(unreachable_err!(err.downcast::())), [INFO] [stdout] | ------------------------------------------------------ in this macro invocation [INFO] [stdout] = note: `--force-warn if-let-rescope` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] = note: this warning originates in the macro `unreachable_err` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/utils.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | if let Ok(val) = $res { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encodings/pb.rs:482:42 [INFO] [stdout] | [INFO] [stdout] 482 | Err(err) => Err(unreachable_err!(err.downcast::())), [INFO] [stdout] | ------------------------------------------------------ [INFO] [stdout] | | | [INFO] [stdout] | | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/utils.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 87 | } else { [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/encodings/pb.rs:482:25 [INFO] [stdout] | [INFO] [stdout] 482 | Err(err) => Err(unreachable_err!(err.downcast::())), [INFO] [stdout] | ------------------------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `unreachable_err` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/utils.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | if let Ok(val) = $res { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encodings/card.rs:430:42 [INFO] [stdout] | [INFO] [stdout] 430 | Err(err) => Err(unreachable_err!(err.downcast::())), [INFO] [stdout] | ------------------------------------------------------ [INFO] [stdout] | | | [INFO] [stdout] | | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/utils.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 87 | } else { [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/encodings/card.rs:430:25 [INFO] [stdout] | [INFO] [stdout] 430 | Err(err) => Err(unreachable_err!(err.downcast::())), [INFO] [stdout] | ------------------------------------------------------ in this macro invocation [INFO] [stdout] = note: `--force-warn if-let-rescope` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] = note: this warning originates in the macro `unreachable_err` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/utils.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | if let Ok(val) = $res { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encodings/pb.rs:482:42 [INFO] [stdout] | [INFO] [stdout] 482 | Err(err) => Err(unreachable_err!(err.downcast::())), [INFO] [stdout] | ------------------------------------------------------ [INFO] [stdout] | | | [INFO] [stdout] | | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/utils.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 87 | } else { [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/encodings/pb.rs:482:25 [INFO] [stdout] | [INFO] [stdout] 482 | Err(err) => Err(unreachable_err!(err.downcast::())), [INFO] [stdout] | ------------------------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `unreachable_err` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Migrating tests/am1_encodings.rs from 2021 edition to 2024 [INFO] [stdout] error[E0432]: unresolved import `rustsat_tools` [INFO] [stdout] --> tests/am1_encodings.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use rustsat_tools::{test_all, test_assignment}; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Migrating tests/card_encodings.rs from 2021 edition to 2024 [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/am1_encodings.rs:16:22 [INFO] [stdout] | [INFO] [stdout] 16 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/am1_encodings.rs:39:22 [INFO] [stdout] | [INFO] [stdout] 39 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `rustsat` (test "am1_encodings") due to 3 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0432]: unresolved import `rustsat_tools` [INFO] [stdout] --> tests/card_encodings.rs:282:5 [INFO] [stdout] | [INFO] [stdout] 282 | use rustsat_tools::{test_all, test_assignment}; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Migrating examples/profiling.rs from 2021 edition to 2024 [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/card_encodings.rs:19:22 [INFO] [stdout] | [INFO] [stdout] 19 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/card_encodings.rs:89:22 [INFO] [stdout] | [INFO] [stdout] 89 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/card_encodings.rs:154:22 [INFO] [stdout] | [INFO] [stdout] 154 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/card_encodings.rs:188:22 [INFO] [stdout] | [INFO] [stdout] 188 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/card_encodings.rs:285:22 [INFO] [stdout] | [INFO] [stdout] 285 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/card_encodings.rs:411:22 [INFO] [stdout] | [INFO] [stdout] 411 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] help: if you import `Solver`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 411 - let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] 411 + let mut solver = Solver::default(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `rustsat` (test "card_encodings") due to 7 previous errors [INFO] [stderr] Migrating tests/constraints.rs from 2021 edition to 2024 [INFO] [stderr] Migrating tests/cnf.rs from 2021 edition to 2024 [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 52 | / test_card!( [INFO] [stdout] 53 | | CardConstraint::new_ub(lits.clone(), 1), [INFO] [stdout] 54 | | &[!lit![0], lit![1], !lit![2]], [INFO] [stdout] 55 | | &[lit![0], lit![1], !lit![2]] [INFO] [stdout] 56 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 57 | / test_card!( [INFO] [stdout] 58 | | CardConstraint::new_ub(lits.clone(), 2), [INFO] [stdout] 59 | | &[lit![0], lit![1], !lit![2]], [INFO] [stdout] 60 | | &[lit![0], lit![1], lit![2]] [INFO] [stdout] 61 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 67 | / test_card!( [INFO] [stdout] 68 | | CardConstraint::new_lb(lits.clone(), 1), [INFO] [stdout] 69 | | &[lit![0], lit![1], !lit![2]], [INFO] [stdout] 70 | | &[!lit![0], !lit![1], !lit![2]] [INFO] [stdout] 71 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 72 | / test_card!( [INFO] [stdout] 73 | | CardConstraint::new_lb(lits.clone(), 2), [INFO] [stdout] 74 | | &[lit![0], lit![1], !lit![2]], [INFO] [stdout] 75 | | &[!lit![0], !lit![1], !lit![2]] [INFO] [stdout] 76 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 77 | / test_card!( [INFO] [stdout] 78 | | CardConstraint::new_lb(lits.clone(), 3), [INFO] [stdout] 79 | | &[lit![0], lit![1], lit![2]], [INFO] [stdout] 80 | | &[!lit![0], lit![1], !lit![2]] [INFO] [stdout] 81 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 87 | / test_card!( [INFO] [stdout] 88 | | CardConstraint::new_eq(lits.clone(), 1), [INFO] [stdout] 89 | | &[lit![0], !lit![1], !lit![2]], [INFO] [stdout] 90 | | &[!lit![0], lit![1], lit![2]] [INFO] [stdout] 91 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 92 | / test_card!( [INFO] [stdout] 93 | | CardConstraint::new_eq(lits.clone(), 2), [INFO] [stdout] 94 | | &[lit![0], lit![1], !lit![2]], [INFO] [stdout] 95 | | &[!lit![0], !lit![1], !lit![2]] [INFO] [stdout] 96 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 97 | / test_card!( [INFO] [stdout] 98 | | CardConstraint::new_eq(lits.clone(), 3), [INFO] [stdout] 99 | | &[lit![0], lit![1], lit![2]], [INFO] [stdout] 100 | | &[!lit![0], lit![1], !lit![2]] [INFO] [stdout] 101 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 110 | / test_pb!( [INFO] [stdout] 111 | | PbConstraint::new_eq(lits.clone(), 1), [INFO] [stdout] 112 | | &[lit![0], !lit![1], !lit![2]], [INFO] [stdout] 113 | | &[!lit![0], lit![1], !lit![2]] [INFO] [stdout] 114 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 115 | / test_pb!( [INFO] [stdout] 116 | | PbConstraint::new_eq(lits.clone(), 2), [INFO] [stdout] 117 | | &[!lit![0], lit![1], !lit![2]], [INFO] [stdout] 118 | | &[!lit![0], !lit![1], lit![2]] [INFO] [stdout] 119 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 120 | / test_pb!( [INFO] [stdout] 121 | | PbConstraint::new_eq(lits.clone(), 3), [INFO] [stdout] 122 | | &[!lit![0], !lit![1], lit![2]], [INFO] [stdout] 123 | | &[lit![0], !lit![1], lit![2]] [INFO] [stdout] 124 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 133 | / test_pb!( [INFO] [stdout] 134 | | PbConstraint::new_lb(lits.clone(), 1), [INFO] [stdout] 135 | | &[lit![0], lit![1], !lit![2]], [INFO] [stdout] 136 | | &[!lit![0], !lit![1], !lit![2]] [INFO] [stdout] 137 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 138 | / test_pb!( [INFO] [stdout] 139 | | PbConstraint::new_lb(lits.clone(), 2), [INFO] [stdout] 140 | | &[lit![0], lit![1], !lit![2]], [INFO] [stdout] 141 | | &[lit![0], !lit![1], !lit![2]] [INFO] [stdout] 142 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 143 | / test_pb!( [INFO] [stdout] 144 | | PbConstraint::new_lb(lits.clone(), 3), [INFO] [stdout] 145 | | &[!lit![0], !lit![1], lit![2]], [INFO] [stdout] 146 | | &[!lit![0], lit![1], !lit![2]] [INFO] [stdout] 147 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 156 | / test_pb!( [INFO] [stdout] 157 | | PbConstraint::new_eq(lits.clone(), 1), [INFO] [stdout] 158 | | &[lit![0], !lit![1], !lit![2]], [INFO] [stdout] 159 | | &[!lit![0], lit![1], lit![2]] [INFO] [stdout] 160 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 161 | / test_pb!( [INFO] [stdout] 162 | | PbConstraint::new_eq(lits.clone(), 2), [INFO] [stdout] 163 | | &[!lit![0], lit![1], !lit![2]], [INFO] [stdout] 164 | | &[!lit![0], !lit![1], !lit![2]] [INFO] [stdout] 165 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 166 | / test_pb!( [INFO] [stdout] 167 | | PbConstraint::new_eq(lits.clone(), 3), [INFO] [stdout] 168 | | &[!lit![0], !lit![1], lit![2]], [INFO] [stdout] 169 | | &[!lit![0], lit![1], !lit![2]] [INFO] [stdout] 170 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 176 | / test_card!( [INFO] [stdout] 177 | | CardConstraint::new_lb(lits.clone(), 1), [INFO] [stdout] 178 | | &[lit![0], lit![1], !lit![2]], [INFO] [stdout] 179 | | &[!lit![0], !lit![1], !lit![2]] [INFO] [stdout] 180 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 181 | / test_card!( [INFO] [stdout] 182 | | CardConstraint::new_ub(lits.clone(), 2), [INFO] [stdout] 183 | | &[!lit![0], lit![1], lit![2]], [INFO] [stdout] 184 | | &[lit![0], lit![1], lit![2]] [INFO] [stdout] 185 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_card` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 194 | / test_pb!( [INFO] [stdout] 195 | | PbConstraint::new_ub(lits.clone(), 6), [INFO] [stdout] 196 | | &[lit![0], !lit![1], !lit![2]], [INFO] [stdout] 197 | | &[lit![0], lit![1], lit![2]] [INFO] [stdout] 198 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_tools` [INFO] [stdout] --> tests/constraints.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | let mut solver = rustsat_tools::Solver::default(); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] ... [INFO] [stdout] 199 | / test_pb!( [INFO] [stdout] 200 | | PbConstraint::new_lb(lits.clone(), 2), [INFO] [stdout] 201 | | &[lit![0], lit![1], !lit![2]], [INFO] [stdout] 202 | | &[!lit![0], !lit![1], !lit![2]] [INFO] [stdout] 203 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_pb` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use rustsat::solvers::external::Solver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> tests/constraints.rs:12:15 [INFO] [stdout] | [INFO] [stdout] 12 | ( $constr:expr, $sat_assump:expr, $unsat_assump:expr ) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] = note: `--force-warn edition-2024-expr-fragment-specifier` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 12 | ( $constr:expr_2021, $sat_assump:expr, $unsat_assump:expr ) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> tests/constraints.rs:12:33 [INFO] [stdout] | [INFO] [stdout] 12 | ( $constr:expr, $sat_assump:expr, $unsat_assump:expr ) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 12 | ( $constr:expr, $sat_assump:expr_2021, $unsat_assump:expr ) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> tests/constraints.rs:12:53 [INFO] [stdout] | [INFO] [stdout] 12 | ( $constr:expr, $sat_assump:expr, $unsat_assump:expr ) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 12 | ( $constr:expr, $sat_assump:expr, $unsat_assump:expr_2021 ) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> tests/constraints.rs:31:15 [INFO] [stdout] | [INFO] [stdout] 31 | ( $constr:expr, $sat_assump:expr, $unsat_assump:expr ) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 31 | ( $constr:expr_2021, $sat_assump:expr, $unsat_assump:expr ) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> tests/constraints.rs:31:33 [INFO] [stdout] | [INFO] [stdout] 31 | ( $constr:expr, $sat_assump:expr, $unsat_assump:expr ) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 31 | ( $constr:expr, $sat_assump:expr_2021, $unsat_assump:expr ) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `rustsat` (test "constraints") due to 21 previous errors; 6 warnings emitted [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> tests/constraints.rs:31:53 [INFO] [stdout] | [INFO] [stdout] 31 | ( $constr:expr, $sat_assump:expr, $unsat_assump:expr ) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 31 | ( $constr:expr, $sat_assump:expr, $unsat_assump:expr_2021 ) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] [INFO] [stderr] Migrating tests/pb_encodings.rs from 2021 edition to 2024 [INFO] [stdout] error[E0432]: unresolved import `rustsat_tools` [INFO] [stdout] --> tests/cnf.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use rustsat_tools::{test_all, test_assignment}; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:16:22 [INFO] [stdout] | [INFO] [stdout] 16 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:22:22 [INFO] [stdout] | [INFO] [stdout] 22 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:39:22 [INFO] [stdout] | [INFO] [stdout] 39 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:56:22 [INFO] [stdout] | [INFO] [stdout] 56 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:73:22 [INFO] [stdout] | [INFO] [stdout] 73 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:90:22 [INFO] [stdout] | [INFO] [stdout] 90 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:115:22 [INFO] [stdout] | [INFO] [stdout] 115 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:140:22 [INFO] [stdout] | [INFO] [stdout] 140 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/cnf.rs:165:22 [INFO] [stdout] | [INFO] [stdout] 165 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `rustsat` (test "cnf") due to 10 previous errors [INFO] [stdout] error[E0432]: unresolved import `rustsat_tools` [INFO] [stdout] --> tests/pb_encodings.rs:285:5 [INFO] [stdout] | [INFO] [stdout] 285 | use rustsat_tools::{test_all, test_assignment}; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Migrating tests/compression.rs from 2021 edition to 2024 [INFO] [stdout] error[E0432]: unresolved import `rustsat_tools` [INFO] [stdout] --> tests/pb_encodings.rs:440:9 [INFO] [stdout] | [INFO] [stdout] 440 | use rustsat_tools::{test_all, test_assignment}; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_tools` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/pb_encodings.rs:23:22 [INFO] [stdout] | [INFO] [stdout] 23 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/pb_encodings.rs:108:22 [INFO] [stdout] | [INFO] [stdout] 108 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/pb_encodings.rs:164:22 [INFO] [stdout] | [INFO] [stdout] 164 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/pb_encodings.rs:193:22 [INFO] [stdout] | [INFO] [stdout] 193 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/pb_encodings.rs:291:22 [INFO] [stdout] | [INFO] [stdout] 291 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/pb_encodings.rs:452:30 [INFO] [stdout] | [INFO] [stdout] 452 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `rustsat` (test "pb_encodings") due to 10 previous errors [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/pb_encodings.rs:519:26 [INFO] [stdout] | [INFO] [stdout] 519 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/pb_encodings.rs:562:26 [INFO] [stdout] | [INFO] [stdout] 562 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] Migrating tests/opb.rs from 2021 edition to 2024 [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/compression.rs:11:22 [INFO] [stdout] | [INFO] [stdout] 11 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/compression.rs:24:22 [INFO] [stdout] | [INFO] [stdout] 24 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/compression.rs:34:22 [INFO] [stdout] | [INFO] [stdout] 34 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/compression.rs:47:22 [INFO] [stdout] | [INFO] [stdout] 47 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] [INFO] [stderr] error: could not compile `rustsat` (test "compression") due to 4 previous errors [INFO] [stdout] error[E0432]: unresolved import `rustsat::instances::MultiOptInstance` [INFO] [stdout] --> tests/opb.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use rustsat::instances::MultiOptInstance; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^---------------- [INFO] [stdout] | | | [INFO] [stdout] | | help: a similar name exists in the module: `OptInstance` [INFO] [stdout] | no `MultiOptInstance` in `instances` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /tmp/fixit/src/instances.rs:27:19 [INFO] [stdout] | [INFO] [stdout] 27 | pub use multiopt::MultiOptInstance; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] note: the item is gated behind the `multiopt` feature [INFO] [stdout] --> /tmp/fixit/src/instances.rs:26:7 [INFO] [stdout] | [INFO] [stdout] 26 | #[cfg(feature = "multiopt")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/opb.rs:19:26 [INFO] [stdout] | [INFO] [stdout] 19 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] ... [INFO] [stdout] 27 | opb_test!("./data/tiny-sat.opb", SolverResult::Sat); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `opb_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] --> tests/opb.rs:19:26 [INFO] [stdout] | [INFO] [stdout] 19 | let mut solver = rustsat_minisat::core::Minisat::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared crate or module `rustsat_minisat` [INFO] [stdout] ... [INFO] [stdout] 32 | opb_test!("./data/tiny-unsat.opb", SolverResult::Unsat); [INFO] [stdout] | ------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `opb_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> tests/opb.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | ($path:expr, $expect:expr) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] = note: `--force-warn edition-2024-expr-fragment-specifier` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 15 | ($path:expr_2021, $expect:expr) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> tests/opb.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | ($path:expr, $expect:expr) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 15 | ($path:expr, $expect:expr_2021) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `rustsat` (test "opb") due to 3 previous errors; 2 warnings emitted [INFO] [stderr] error: failed to migrate to next edition [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "af73093b74e62c555506e3e3ba4a22ab0c29e17d8ac37b2c5d50aea55cc12970", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "af73093b74e62c555506e3e3ba4a22ab0c29e17d8ac37b2c5d50aea55cc12970", kill_on_drop: false }` [INFO] [stdout] af73093b74e62c555506e3e3ba4a22ab0c29e17d8ac37b2c5d50aea55cc12970